Number of the records: 1
CoCoME in Fractal
- 1.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
Number of the records: 1