This one-day, post-conference workshop will focus on issues surrounding the validation of component-based systems, in terms of their composition as well as their execution behavior. Composition validation implies comparison of the component structure of the deployed/ installed/executing system with a composition model; execution validation implies comparison of the component structure and behavior of the executing system with an execution model.

The workshop topics include, but are not limited to, approaches/techniques for the following:

	Specification of correct composition of systems in terms of components and relationships
	Validation of the composition at different epochs: compile/assembly, deployment, instantiation, and execution
	Changing the composition during runtime without bringing down the system
	Testing of component-based systems during development

Attendance is limited and based on acceptance of a position paper and attendance at the conference technical program. Potential workshop attendees are invited to submit a position paper of at most three (3) pages via electronic mail to Joe Sventek joe_sventek@hp.com no later than March 1st, 1999. Acceptance notices to all participants will be issued by March 20th, 1999. Position papers should briefly describe experiences, work in progress, and/or ongoing research and development in the topic area. A representative subset of authors of position papers may be invited to make informal presentations at the workshop. The workshop submissions will also be circulated in advance to permit the majority of the workshop time to be spent on discussion of relevant issues.

If you have any questions regarding the topic, especially if you are concerned whether your focus is relevant to the chosen topic, do not hesitate to send electronic mail to Joe Sventek joe_sventek@hp.com.