Component-interaction automata as a verification-oriented component-based system specification
作者： Luboš Brim , Ivana Černá , Pavlína Vařeková , Barbora Zimmerova , None
关键词:
摘要: In the paper, we present a new approach to component interaction specification and verification process which combines advantages of both architecture description languages (ADLs) at beginning process, general formal verification-oriented model connected tools end. After examining current models with respect their suitability for component-based systems, propose model, Component-Interaction automata, discuss its features. The is designed preserve all properties provide rich base further verification, allows system behaviour be configurable according (bindings among components) other specifics (type communication used in synchronization components).
acm.org
ucf.edu 
sci-hub.se 参考文章(17)
Frantisek Plasil, Jiri Adamek, Behavior Protocols Capturing Errors and Updates ,(2004)
Dimitra Giannakopoulou, Model Checking for Concurrent Software Architectures ,(1999)
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer, Specifying Distributed Software Architectures european software engineering conference. pp. 137- 153 ,(1995) , 10.1007/3-540-60406-5_12
N.A. Lynch, M.R. Tuttle, An introduction to input/output automata CWI quarterly. ,vol. 2, pp. 219- 246 ,(1989)
Luboš Brim, Pavel Šimeček, Ivana Černá, Jiří Barnat, DIVINE - The Distributed Verification Environment TU Munchen. pp. 89- 94 ,(2005)
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou, Behaviour Analysis of Software Architectures ieee ifip international conference on software architecture. pp. 35- 50 ,(1999) , 10.1007/978-0-387-35563-4_3
Luca Alfaro, Thomas A. Henzinger, INTERFACE-BASED DESIGN Springer, Dordrecht. pp. 83- 104 ,(2004) , 10.1007/1-4020-3532-2_3
Nancy A. Lynch, Mark R. Tuttle, Hierarchical correctness proofs for distributed algorithms Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87. pp. 137- 151 ,(1987) , 10.1145/41840.41852
Clarence Ellis, Team automata for groupware systems international conference on supporting group work. pp. 415- 424 ,(1997) , 10.1145/266838.267363
Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg, Synchronizations in Team Automata for Groupware Systems conference on computer supported cooperative work. ,vol. 12, pp. 21- 69 ,(2003) , 10.1023/A:1022407907596