Publication details
Component
-Interaction Automata Approach (CoIn)
| Basic information | |
|---|---|
| Original title: | Component-Interaction Automata Approach (CoIn) |
| Authors: | Barbora Zimmerová, Pavlína Vařeková, Nikola Beneš, Ivana Černá, Luboš Brim, Jiří Sochor |
| Further information | |
|---|---|
| Citation: | ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína - BENEŠ, Nikola - ČERNÁ, Ivana - BRIM, Luboš - SOCHOR, Jiří. Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany : Springer Verlag, 2008. LNCS 5153, ISBN 978-3-540-85288-9, pp. 146-176. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://www.springerlink.com/content/v46246216u275358/?p=93cb6d4444dc4278963b861c3df15e0e&pi=0 |
| Type: | Chapter of a book |
| Keywords: | Component models; modelling; verification; Component Interaction automata |
The aim of our approach to component modelling and verification, is to create a framework for formal analysis of behavioural aspects of large scale component-based systems. For the modelling purpose, we use the Component-interaction automata language. For the verification, we employ a parallel model-checker DiVinE, which is able to handle very large, hence more realistic, models of component-based systems. In this chapter, we present the application of our approach to the modelling and verification of the common modelling example defined at the beginning of this book.
Related projects:
- Integrated approach to education of PhD students in the area of parallel and distributed systems
- Techniques for automatic verification and validation of software nad hardware systems
- Realistic application of formal methods in component systems
- Institute for Theoretical Computer Science
- Highly Parallel and Distributed Computing Systems
- Automated software verification
