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.
CITATION STYLE
Rapicault, P., Rigault, J. P., & Bourlier, L. (2002). Model, notation, and tools for verification of protocol-based components assembly. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2370, pp. 257–268). Springer Verlag. https://doi.org/10.1007/3-540-45440-3_19
Mendeley helps you to discover research relevant for your work.