Skip to main content
Article thumbnail
Location of Repository

A Coordination Model for Service-Oriented Interactions

By Joao Abreu and José Luiz Fiadeiro

Abstract

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 http://www.springerlink.com/content/d46725230146j7x4/?p=e22fc8437f1c416880c21dfb7e531977&pi=

Publisher: Springer Verlag
Year: 2008
OAI identifier: oai:lra.le.ac.uk:2381/3908

Suggested articles

Citations

  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 www.sensoriaist.eu,
  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.