0341253 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Bulej, Lubomír - Bureš, Tomáš - Coupaye, T. - Děcký, M. - Ježek, P. - Parízek, P. - Plášil, František - Poch, T. - Rivierre, N. - Šerý, O. - Tůma, P.
CoCoME in Fractal.
The Common Component Modeling Example. Berlin: Springer, 2008 - (Rausch, A.; Reussner, R.; Mirandola, R.; Plášil, F.), s. 357-387. Lecture Notes in Computer Science, 5153. ISBN 978-3-540-85288-9.
[Dagstuhl Research Seminar for Component Modelling Example. Dagstuhl (DE), 01.08.2007-03.08.2007]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * formal verification
Subject RIV: JC - Computer Hardware ; Software

This chapter presents our solution to the CoCoME assignment that is based on the Fractal component model. The solution involves (i) modeling architecture in Fractal ADL, (ii) specification of component behavior via behavior protocols, (iii) checking compatibility of components, (iv) verification of correspondence between component code and behavior specification, and (v) run-time monitoring of non-functional properties.
Permanent Link: http://hdl.handle.net/11104/0184294