Skip to main content
Article thumbnail
Location of Repository

A Coordination Model for Service-Oriented Interactions

By Joao Abreu and José Luiz Fiadeiro


This is the author's final draft of the version published as Lecture Notes in Computer Science, 2008,5052,pp.1-16 and can be accessed via

Publisher: Springer Verlag
Year: 2008
OAI identifier:

Suggested articles


  1. (2006). A Formal Approach to Service Component Architecture. Web Services and Formal Methods, doi
  2. A model checking approach for verifying COWS specifications. doi
  3. (2005). A model checking verification environment for UML statecharts.
  4. (2007). Algebraic Semantics of Service Component Modules. doi
  5. (2007). An action/state-based modelchecking approach for the analysis of communication protocols for Service-Oriented Applications. doi
  6. (2006). Computation orchestration: A basis for wide-area computing. doi
  7. (2006). DecSerFlow: Towards a truly declarative service flow language. In doi
  8. (2007). From BPEL to SRML: A Formal Transformational Approach. doi
  9. (1998). It’s about time: Real-time logics reviewed. doi
  10. (2004). Reo: a channel-based coordination model for component composition. doi
  11. (2007). SENSORIA: A systematic approach to developing service-oriented systems — white paper,
  12. (2007). Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. doi
  13. (2006). The SENSORIA Reference Modelling Language: Primitives for configuration management. Available from,
  14. (2005). Theoretical foundations for compensations in flow composition languages. doi
  15. (2007). Using Reo for service coordination. doi
  16. Web service conversation modeling: A cornerstone for e-business automation. doi
  17. Web Services - Concepts, Architectures and Applications. Data-Centric Systems and Applications. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.