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


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

Publisher: SpringerLink
Year: 2007
OAI identifier:

Suggested articles


  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
  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
  13. (2004). Web Services. doi

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