A uniform framework for modeling and verifying components and connectors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5521 LNCS, Issue , 2009, Pages 247-267

  Baier, Christel ^a   Blechmann, Tobias ^a   Klein, Joachim ^a   Klüppelholz, Sascha ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA MODELS; BEHAVIORAL COMPONENT; COMPONENT CONNECTORS; COMPOSITE SYSTEMS; COORDINATION MECHANISMS; DESIGN COMPONENT; GLUE-CODES; GUARDED COMMANDS; HYBRID APPROACH; MODEL CHECKING ALGORITHM; MODEL COMPONENTS; MODELING APPROACH; MODULAR VERIFICATION; SCRIPTING LANGUAGES; TOOLSETS; UNIFORM FRAMEWORK;

MODEL CHECKING; QUERY LANGUAGES; REUSABILITY; SPECIFICATION LANGUAGES;

LINGUISTICS;

EID: 68749101074     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02053-7_13     Document Type: Conference Paper

References (21)

1. Alur, R., Henzinger, T.: Reactive Modules. Formal Methods in System Design: An Intern. J. 15(1), 7-48 (1999)
2. Arbab, F.: Reo: A Channel-Based Coordination Model for Component Composition. MSCS 14(3), 329-366 (2004)
3. Arbab, F., Sun, M., Baier, C: Synthesis of Reo circuits from scenario-based specifications. In: FOCLASA 2008. ENTCS (2008) (to appear)
4. Baier, C., Blechmann, T., Klein, J., Krüppelholz, S.: Formal verification for components and connectors (submitted for publication)
5. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling Component Connectors in Reo by Constraint Automata. SCP 61, 75-113 (2006)
6. Blechmann, T., Baier, C: Checking equivalence for reo networks. In: FACS 2007. ENTCS, vol. 215, pp. 209-226 (2008)
7. Blechmann, T., Klein, J., Klüppelholz, S.: Vereofy, http://www.vereofy.de/
8. Capizzi, S., Solmi, R., Zavattaro, G.: From endogenous to exogenous coordination using aspect-oriented programming. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949. Springer, Heidelberg (2004)
9. de Alfaro, L., Dias da Silva, L., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable interfaces. In: Gramlich, B. (ed.) FroCos 2005. LNCS, vol. 3717, pp. 81-105. Springer, Heidelberg (2005)
10. de Alfaro, L., Henzinger, T.: Interface Theories for Component-Based Design. In: Henzinger, T.A., Kirsch, CM. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148-165. Springer, Heidelberg (2001)
11. Gelernter, D., Carriero, N., Chandran, S., Chang, S.: Parallel programming in linda. In: ICPP, pp. 255-263 (1985)
12. Gößler, G., Sifakis, J.: Component-based construction of deadlock-free systems: Extended abstract. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 420-433. Springer, Heidelberg (2003)
13. Guillen-Scholten, J., Arbab, F., de Boer, F., Bonsangue, M.: MoCha-pi: an exogenous coordination calculus based on mobile channels. In: Proceedings of the 2005 ACM symposium on Applied computing (SAC), pp. 436-442. ACM, New York (2005)
14. Klüppelholz, S., Baier, C: Symbolic Model Checking for Channel-based Component Connectors. In: Science of Computer Programming (2009)
15. Klüppelholz, S., Baier, C: Alternating-time stream logic for multi-agent systems. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 184-198. Springer, Heidelberg (2008)
16. Lynch, N., Tuttle, M.: An Introduction to Input/Output Automata. CWI Quarterly 2(3), 219-246 (1989)
17. Majster-Cederbaum, M., Minnameier, C: Everything is PSPACE-complete in interaction systems. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 216-227. Springer, Heidelberg (2008)
18. Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)
19. Reo website at CWI Amsterdam, http://reo.project.cwi.nl/
20. Schölten, J.-G., Arbab, F., de Boer, F., Bonsangue, M.: Modeling the exogenous coordination of mobile channel-based systems with Petri nets. In: FOCLASA 2005. ENTCS, vol. 154(1), pp. 83-99 (2006)
21. Sirjani, M., Jaghoori, M., Baier, C., Arbab, F.: Compositional semantics of an actor-based language using constraint automata. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 281-297. Springer, Heidelberg (2006)