Using Reo for service coordination

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

Volumn 4749 LNCS, Issue , 2007, Pages 398-403

  Lazovik, Alexander ^a   Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); FORMAL LANGUAGES; INFORMATION MANAGEMENT; WEB SERVICES;

COMPLEX BUSINESS PROCESSES; SERVICE-ORIENTED ARCHITECTURES;

INFORMATION SERVICES;

EID: 38349027297     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74974-5_34     Document Type: Conference Paper

References (5)

1. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Structures in CS 14(3), 329-366 (2004)
2. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75-113 (2006)
3. Klueppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: FOCLASA'06 (2006)
4. Koehler, C., Lazovik, A., Arbab, F.: ReoService: coordination modeling tool. In: ICSOC-07, Demo Session (2007)
5. Lazovik, A., Arbab, F.: Using Reo for service coordination. Technical report, CWI (2007)