Skip to main content
Article thumbnail
Location of Repository

Specifying and composing interaction protocols for service-oriented system modelling

By Joao Abreu, Laura Bocchi, José Luiz Fiadeiro and Antónia Lopes

Abstract

This is the authors final draft of the article published as Lecture Notes in Computer Science, 2007, 4574, pp.358-373. The published version can be accessed via http://www.springerlink.com

Publisher: SpringerLink
Year: 2007
OAI identifier: oai:lra.le.ac.uk:2381/3826

Suggested articles

Citations

  1. (2006). A formal approach to service-oriented architecture. In: doi
  2. (2005). A model checking verification environment for UML Statecharts. In:
  3. (2007). Algebraic semantics of service component modules. In: doi
  4. (2005). Building Systems using a Service Oriented Architecture. Whitepaper available from www-128.ibm.com/developerworks/library/specification/ws-sca/
  5. Fiadeiro (2004) Categories for Software Engineering.
  6. Fiadeiro (2007) Designing for software’s social complexity. doi
  7. (1992). Institutions: abstract model theory for specification and programming. doi
  8. Kesselman (eds) (2004) The Grid 2: Blueprint for a New Computing Infrastructure.
  9. (2004). Model-driven web service development. In doi
  10. (2004). On the fly model checking of communicating UML state machines. In:
  11. (2007). Structured co-spans: an algebra of interaction protocols. In: doi
  12. (2006). The SENSORIA Reference Modelling Language: Primitives for Configuration Management. Available from www.sensoria-ist.eu
  13. (2004). Web Services. doi

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