A Compositional Framework for Service Interaction Patterns and Interaction Flows-Reference-Cited by-同舟云学术

A Compositional Framework for Service Interaction Patterns and Interaction Flows

Published:2005 Issue: Volume: Page:5-35
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Barros Alistair,Börger Egon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11576280_2.pdf

Reference26 articles.

1. Lecture Notes in Computer Science;M. Altenhofen,2005

2. Barros, A., Dumas, M., ter Hofstede, A.: Service interaction patterns: Towards a reference framework for service-based business process interconnection. Technical Report FIT-TR-2005-02 (To be presented at BPM 2005, Third International Conference on Business Process Management 2005, September 2005, Nancy, France), Faculty of Information Technology, Queensland University of Technology, Brisbane (Australia) (March 2005)

3. Lecture Notes in Computer Science;E. Börger,1999

4. Lecture Notes in Computer Science;E. Börger,2004

5. Börger, E.: The ASM refinement method. Formal Aspects of Computing 15, 237–257 (2003)

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalising BPMN Service Interaction Patterns;Lecture Notes in Business Information Processing;2018

2. ASM-based formal design of an adaptivity component for a Cloud system;Formal Aspects of Computing;2016-07

3. A formal framework for service modeling and prototyping;Formal Aspects of Computing;2014-11

4. Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines;Formal Aspects of Component Software;2012

5. Contribution to a Rigorous Analysis of Web Application Frameworks;Abstract State Machines, Alloy, B, VDM, and Z;2012