Conflgurations of Web Services
作者： Marco Antonio Barbosa , Soares Barbosa
DOI:
关键词: Web service 、 Formal semantics (linguistics) 、 Component-based software engineering 、 World Wide Web 、 Constructed language 、 Computer science
摘要: The quest for sound foundations the orchestration of web services is still open. To a great extent its relevance comes from possibility deflning formal semantics new language standards (like BPEL4WS or WS-CDL) in this emerging and challenging technology. As step that direction, paper resorts to notion conflguration, 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.
参考文章(24)
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)
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
Nabil R. Adam, Vijayalakshmi Atluri, Wei-Kuang Huang, Modeling and Analysis of Workflows Using Petri Nets intelligent information systems. ,vol. 10, pp. 131- 158 ,(1998) , 10.1023/A:1008656726700