A perspective on service orchestration
作者： Marco A. Barbosa , Luis S. Barbosa
DOI: 10.1016/J.SCICO.2008.09.019
关键词:
摘要: Service-oriented computing is an emerging paradigm with increasing impact on the way modern software systems are designed and developed. Services autonomous, loosely coupled heterogeneous computational entities able to cooperate achieve common goals. This paper introduces a model for service orchestration, which combines exogenous coordination model, services' interfaces annotated behavioural patterns specified in process algebra parametric interaction discipline. The variant of Reo new semantic proposed.
core.ac.uk
elsevier.com
sci-hub.se 参考文章(54)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro, Choreography and Orchestration: A Synergic Approach for System Design Service-Oriented Computing – ICSOC 2007. pp. 228- 240 ,(2005) , 10.1007/11596141_18
Manuel Mazzara, Sergio Govoni, A case study of web services orchestration international conference on coordination models and languages. pp. 1- 16 ,(2005) , 10.1007/11417019_1
Robin Milner, Elements of interaction ACM Turing award lectures. pp. 1991- ,(2007) , 10.1145/1283920.1283948
L. Meertens, R. S. Bird, Two exercises found in a book on algorithmics The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation. pp. 451- 457 ,(1987)
Oege de Moor, Richard Bird, The Algebra of Programming ,(1997)
Luís Soares Barbosa, José Nuno Oliveira, Coinductive Interpreters for Process Calculi international symposium on functional and logic programming. ,vol. 2441, pp. 183- 197 ,(2002) , 10.1007/3-540-45788-7_11
Samson Abramsky, Rajagopal Nagarajan, Interaction categories and the foundations of typed concurrent programming Proceedings of the NATO Advanced Study Institute on Deductive program design. pp. 35- 113 ,(1996)
Kim G. Larsen, Arne Skou, Bisimulation through probabilistic testing Information & Computation. ,vol. 94, pp. 1- 28 ,(1991) , 10.1016/0890-5401(91)90030-6
Christel Baier, Marjan Sirjani, Farhad Arbab, Jan Rutten, Modeling component connectors in Reo by constraint automata Science of Computer Programming. ,vol. 61, pp. 75- 113 ,(2006) , 10.1016/J.SCICO.2005.10.008
Davide Sangiorgi, David Walker, The Pi-Calculus: A Theory of Mobile Processes ,(2001)