A semantic model for service composition with coordination time delays

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

Volumn 6447 LNCS, Issue , 2010, Pages 106-121

  Kokash, Natallia ^a   Changizi, Behnaz ^a   Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX INTERACTION; COORDINATION LANGUAGE; DATA EXCHANGE; DATA TRANSFER DELAYS; END TO END DELAY; IN-CHANNELS; INTERNAL COORDINATION; PROCESS ALGEBRAS; SEMANTIC MODEL; SERVICE COMPOSITION MODEL; SERVICE COMPOSITIONS; STATE SPACE; TRANSFER ACTIVITIES; INTER-ACTION PROTOCOLS; MAXIMAL CONCURRENCIES;

DATA TRANSFER; FORMAL METHODS; KNOWLEDGE MANAGEMENT; QUALITY OF SERVICE; TIME DELAY; ELECTRONIC DATA INTERCHANGE; SEMANTICS; SOFTWARE ENGINEERING;

COORDINATION REACTIONS;

EID: 78649534700     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16901-4_9     Document Type: Conference Paper

References (7)

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, 75-113 (2006)
3. Arbab, F., Chothia, T., Sun, M., Moon, Y. J.: Component connectors with QoS guarantees. In: Murphy, A. L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 286-304. Springer, Heidelberg (2007)
4. Arbab, F., Chothia, T., van der Mei, R., Sun, M., Moon, Y., Verhoef, C.: From coordination to stochastic models of QoS. In: Field, J., Vasconcelos, V. T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 268-287. Springer, Heidelberg (2009)
5. Kokash, N., Krause, C., de Vink, E.: Verification of context-dependent channelbased service models. In: de Boer, F. S. (ed.) FMCO 2009. LNCS, vol. 6286, pp. 21-40. Springer, Heidelberg (2010)
6. Chothia, T., Kleijn, J.: Q-automata: Modelling the resource usage of concurrent components. In: Proc. FOCLASA 2006, pp. 79-94 (2007)
7. Kokash, N., Krause, C., de Vink, E.: Data-aware design and verification of service composition with Reo and mCRL2. In: Proc. of SAC 2010, pp. 2406-2413. ACM Press, New York (2010)