Další formáty:
BibTeX
LaTeX
RIS
@inbook{744248, author = {Zimmerová, Barbora and Vařeková, Pavlína and Beneš, Nikola and Černá, Ivana and Brim, Luboš and Sochor, Jiří}, address = {Berlin / Heidelberg, Germany}, booktitle = {The Common Component Modeling Example: Comparing Software Component Models}, keywords = {Component models; modelling; verification; Component Interaction automata}, language = {eng}, location = {Berlin / Heidelberg, Germany}, isbn = {978-3-540-85288-9}, pages = {146-176}, publisher = {Springer Verlag}, title = {Component-Interaction Automata Approach (CoIn)}, url = {http://www.springerlink.com/content/v46246216u275358/?p=93cb6d4444dc4278963b861c3df15e0e&pi=0}, year = {2008} }
TY - CHAP ID - 744248 AU - Zimmerová, Barbora - Vařeková, Pavlína - Beneš, Nikola - Černá, Ivana - Brim, Luboš - Sochor, Jiří PY - 2008 TI - Component-Interaction Automata Approach (CoIn) VL - LNCS 5153 PB - Springer Verlag CY - Berlin / Heidelberg, Germany SN - 9783540852889 KW - Component models KW - modelling KW - verification KW - Component Interaction automata UR - http://www.springerlink.com/content/v46246216u275358/?p=93cb6d4444dc4278963b861c3df15e0e&pi=0 N2 - 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. ER -
ZIMMEROVÁ, Barbora, Pavlína VAŘEKOVÁ, Nikola BENEŠ, Ivana ČERNÁ, Luboš BRIM a Jiří SOCHOR. Component-Interaction Automata Approach (CoIn). In \textit{The Common Component Modeling Example: Comparing Software Component Models}. Berlin / Heidelberg, Germany: Springer Verlag, 2008, s.~146-176. LNCS 5153. ISBN~978-3-540-85288-9.
|