Configurations of Web Services
作者： Marco Antonio Barbosa , Luís Soares Barbosa
DOI: 10.1016/J.ENTCS.2007.03.004
关键词:
摘要: The quest for sound foundations the orchestration of web services is still open. To a great extent its relevance comes from possibility defining formal semantics new language standards (like BPEL4WS or WS-CDL) in this emerging and challenging technology. As step that direction, paper resorts to notion configuration, developed by authors context Reo-like exogenous coordination model software components, formally express service orchestration. latter regarded as involving both architectural assembly independent description their interactions.
core.ac.uk
elsevier.com
sci-hub.se 参考文章(30)
Flavio Corradini, Emanuela Merelli, Amici Roberta, A Process Algebra View of Coordination Models with a Case Study in Computational System Biology. pp. 33- 47 ,(2004)
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer, Specifying Distributed Software Architectures european software engineering conference. pp. 137- 153 ,(1995) , 10.1007/3-540-60406-5_12
George A. Papadopoulos, Farhad Arbab, Coordination models and languages Advances in Computers. ,vol. 46, pp. 329- 400 ,(1998) , 10.1016/S0065-2458(08)60208-9
Robin Milner, Communication and Concurrency ,(1989)
Tatsuya Hagino, A Typed Lambda Calculus with Categorical Type Constructors Category Theory and Computer Science. pp. 140- 157 ,(1987) , 10.1007/3-540-18508-9_24
Stanislav Višnovský, Modeling Software Components Using Behavior Protocols ,(2004)
Marco Antonio Barbosa, Luís Soares Barbosa, Specifying software connectors international colloquium on theoretical aspects of computing. ,vol. 3407, pp. 52- 67 ,(2004) , 10.1007/978-3-540-31862-0_6
Farhad Arbab, Farhad Mavaddat, Coordination through Channel Composition international conference on coordination models and languages. pp. 22- 39 ,(2002) , 10.1007/3-540-46000-4_6
František Plášil, Daniel Mikušík, Inheriting Synchronization Protocols via Sound Enrichment Rules JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages. pp. 267- 281 ,(1997) , 10.1007/3-540-62599-2_45
Oscar Nierstrasz, Franz Achermann, A calculus for modeling software components formal methods. pp. 339- 360 ,(2002) , 10.1007/978-3-540-39656-7_14