Modeling and analysis of Reo connectors using Alloy

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

Volumn 5052 LNCS, Issue , 2008, Pages 169-183

  Khosravi, Ramtin ^a   Sirjani, Marjan ^a,b   Asoudeh, Nesa ^a   Sahebi, Shaghayegh ^a   Iravanchi, Hamed ^a  

^a UNIVERSITY OF TEHRAN   (Iran)

^b INSTITUTE FOR STUDIES IN THEORETICAL PHYSICS AND MATHEMATICS IPM   (Iran)

Author keywords

[No Author keywords available]

Indexed keywords

ALLOYS; COORDINATION REACTIONS; LINGUISTICS; QUERY LANGUAGES;

(PL) PROPERTIES; ALLOY ANALYZERS; COMPOSITIONAL MODELLING; CONTEXT-SENSITIVE; COORDINATION LANGUAGES; COORDINATION MODELS; COUNTEREXAMPLE GENERATION; EXECUTION TRACES; FIRST ORDERS; FORMAL MODELING; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); MODELING AND ANALYSIS; MODELING LANGUAGES; NEW APPROACHES; RELATIONAL LOGIC; REUSABLE LIBRARIES; SPRINGER (CO);

CONNECTORS (STRUCTURAL);

EID: 45749128665     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68265-3_11     Document Type: Conference Paper

References (17)

1. Alloy Analyzer, http://alloy.mit.edu
2. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 1-38 (2004)
3. Arbab, F., Rutten, J.J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 34-55. Springer, Heidelberg (2003)
4. Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61, 75-113 (2006)
5. Clarke, D., Costa, D., Arbab, F.: Connector colouring I: synchronisation and context dependency. In: Proceedings of FOCLASA 2005. ENTCS, vol. 154, pp. 101-119. Elsevier, Amsterdam (2006)
6. Eclipse Coordination Tools homepage, http://homepages.cwi.nl/ ∼koehler/ect
7. Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, Reading (1994)
8. Jackson, D., Shlyakhter, I., Sridharan, M.: A micromodularity mechanism. In: Proceedings of Foundations of Software Engineering, pp. 62-73 (2001)
9. Jackson, D.: Alloy3.0 Reference manual (May 10, 2004), http://alloy.mit.edu
10. Jackson, D.: Software abstractions, logic, language, and analysis. MIT Press, Cambridge (2006)
11. Klüppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: Proceedings of FOCLASA 2006. ENTCS, vol. 175, pp. 19-37. Springer, Heidelberg (2007)
12. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1992)
13. Maude system, http://maude.cs.uiuc.edu
14. Mousavi, M.R., Sirjani, M., Arbab, F.: Formal semantics and analysis of component connectors in Reo. In: Proceedings of FOCLASA 2005. ENTCS, vol. 154, pp. 83-99. Elsevier, Amsterdam (2005)
15. Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Report SEN-R9834, CWI (December 1998)
16. Relloy Library, http://ece.ut.ac.ir/msirjani/relloy.zip
17. Talcott, C., Sirjani, M., Ren, S.: Comparing Three Coordination Models: Reo, ARC, and RRD. In: Proceedings of FOCLASA 2007 (to appear, 2007)