Abstract
Assembly of blackbox components is made difficult by the lack of precise information on the way components interact. What is needed is a behavioral model of the component, at the input and output interface levels. This paper introduces the notion of behavioral points of view and an associated graphical notation, SyncClass, to represent such a model. The underlying semantics of SyncClass makes it possible to automatically verify component assembly, either for individual components or for a whole system.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Specification and verification of component-based systems workshop at OOPSLA 2001. Workshop ISU TR 01-09a, Department of Computer Science, 2001.
Robert Allen and David Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3):213–249, July 1997.
Charles André. Representation and analysis of reactive behaviors: a synchronous approach. In CESA, pages 19–29, july 1996.
Gérard Berry. Proof, Language and Interaction: Essays in Honour of Robin Milner, chapter The foundations of Esterel. MIT Press, 2000.
Gérard Berry and Georges Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87–152, 1992.
Amard Bouali. Xeve: An esterel verification environment (version v1.3). Technical Report RT-214, INRIA, October 1997.
R. Campbell and N. Habermann. The specification of process synchronization by path expressions. In Proc. Int. Symp. on Operating Systems, LNCS 16, pages 89–102. Springer-Verlag, 1974.
Shigeru Chiba. Load-time structural reflection in Java. In ECOOP 2000, Sophia Antipolis and Cannes, France, LNCS 1850, pages 313–336. Springer-Verlag.
Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
Nicolas Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic, 1993.
David Harel. Statecharts: A visual formalism for complex system. Science of Computer Programming, 8(3):231–274, 1987.
Barbara Liskov and Jeannette M. Wing. A new definition of the subtype relation. In ECOOP’ 93, Kaiserslautern, Germany, LNCS 707, pages 118–141. Springer-Verlag.
Florence Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR’ 92, LNCS 630, pages 550–564. Springer-Verlag, 24-27 1992.
Sabine Moisan, Annie Ressouche, and Jean-Paul Rigault. Blocks, a Component Framework with Checking Facilities for Knowledge-Based Systems. Informatica, 25(4), 2001.
Oscar Nierstrasz. Regular types for active objects. In Oscar Nierstrasz and Dennis Tsichritzis, editors, Object-Oriented Software Composition, pages 99–121. Prentice Hall, 1995.
Object Management Group (OMG). OMG Unified Modeling Language Specification. URL: http://www.omg.org/, February 2001. version 1.4 (draft).
Pascal Rapicault and Frédéric Mallet. Behavioral specification of Java components using SyncCharts. In Workshop on pervasive component systems, June 2000.
Joãn Pedro Sousa and David Garlan. Formal modeling of the enterprise JavaBeans component integration framework. In FM’99, LNCS 1709, pages 1281-. Springer Verlag, September 1999.
Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York, NY, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rapicault, P., Rigault, JP., Bourlier, L. (2002). Model, Notation, and Tools for Verification of Protocol-Based Components Assembly. In: Bishop, J. (eds) Component Deployment. CD 2002. Lecture Notes in Computer Science, vol 2370. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45440-3_19
Download citation
DOI: https://doi.org/10.1007/3-540-45440-3_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43847-2
Online ISBN: 978-3-540-45440-3
eBook Packages: Springer Book Archive