Encoding context-sensitivity in Reo into non-context-sensitive semantic models

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

Volumn 6721 LNCS, Issue , 2011, Pages 31-48

  Jongmans, Sung Shik T Q ^a   Krause, Christian ^b   Arbab, Farhad ^a  

^a CWI   (Netherlands)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT AUTOMATA; CONTEXT SENSITIVITY; COORDINATION LANGUAGE; DATA MANIPULATIONS; MODEL CHECKER; MUTUAL EXCLUSIONS; NONDETERMINISTIC BEHAVIOR; SEMANTIC MODEL; TWO-COLOR;

AUTOMATA THEORY; MODEL CHECKING; SEMANTICS;

CONTEXT SENSITIVE LANGUAGES;

EID: 79959746798     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21464-6_3     Document Type: Conference Paper

References (13)

1. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14, 329-366 (2004)
2. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61(2), 75-113 (2006)
3. Clarke, D., Costa, D., Arbab, F.: Connector colouring I: Synchronisation and context dependency. Science of Computer Programming 66(3), 205-225 (2007)
4. Pourvatan, B., Sirjani, M., Arbab, F., Bonsangue, M.: Decomposition of constraint automata. In: Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010). LNCS. Springer, Heidelberg (to appear, 2011)
5. Costa, D.: Formal Models for Component Connectors. PhD thesis, Vrije Universiteit Amsterdam (2010)
6. Jongmans, S.S., Krause, C., Arbab, F.: Encoding context-sensitivity in Reo into non-context-sensitive semantic models. Technical Report SEN-1105, Centrum Wiskunde & Informatica (2011)
7. Baier, C., Blechmann, T., Klein, J., Klüppelholz, S.: Formal verification for components and connectors. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol. 5751, pp. 82-101. Springer, Heidelberg (2009)
8. Arbab, F., Rutten, 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)
9. Bonsangue, M.M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 184-203. Springer, Heidelberg (2009)
10. Kokash, N., Krause, C., de Vink, E.P.: Verification of context-dependent channel-based service models. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 21-40. Springer, Heidelberg (2010)
11. Kemper, S.: SAT-based verification for timed component connectors. ENTCS 255, 103-118 (2009)
12. Mousavi, M.R., Sirjani, M., Arbab, F.: Formal semantics and analysis of component connectors in Reo. ENTCS 154(1), 83-99 (2006)
13. Khosravi, R., Sirjani, M., Asoudeh, N., Sahebi, S., Iravanchi, H.: Modeling and analysis of Reo connectors using Alloy. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 169-183. Springer, Heidelberg (2008)