A concept for dynamic wiring of components

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A concept for dynamic wiring of components: correctness in dynamic adaptive systems

Full text

Pdf (376 KB)

Source

Foundations of Software Engineering archive
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering table of contents

Dubrovnik, Croatia

Pages: 101 - 102

Year of Publication: 2007

ISBN:978-1-59593-721-6

Authors

Dirk Niebuhr	Clausthal University of Technology, Clausthal-Zellerfeld, Germany
Andreas Rausch	Clausthal University of Technology, Clausthal-Zellerfeld, Germany

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 18, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1292316.1292330 What is a DOI?

ABSTRACT

Component-based Systems in our days tend to be more and more dynamic. Due to the increased mobility of devices hosting components, components have to be attached or detached to respectively from a system at runtime. This dynamic adaptation of the system configuration imposes several correctness issues. In general it is not possible to determine a correct system configuration without wiring and executing the system in advance. We will discuss approaches how to improve this situation. Finally we will focus on our favorite approach based on runtime testing.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Klaus Bergner , Andreas Rausch , Marc Sihling , Alexander Vilbig, Putting the Parts Together Concepts, Description Techniques, and Development Process for Componentware, Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8, p.8050, January 04-07, 2000
	2	A. Church. An unsolvable problem of elementary number theory. American Journal of Mathematics, 58:345--363, 1936.
	3	E. Estévez and P. R. Fillottrani. Bisimulation for component-based development. Journal of Computer Science & Technology, 1(6), May 2002.
	4	C. Szyperski. Component Software. Addison Wesley Publishing Company, 2002.
	5	A. M. Turing. On computable numbers, with an application to the entscheidungsproblem. In Proceedings of the London Mathematical Society, pages 230--265, 1936.