Affordable Access

Service-oriented design: a multi-viewpoint approach

University of Twente, Centre for Telematics and Information Technology (CTIT)
Publication Date
  • Design
  • Musicology


As the technology associated to the ¿Web Services¿ trend gains significant adoption, the need for a corresponding design approach becomes increasingly important. This paper introduces a foundational model for designing (composite) services. The innovation of this model lies in the identification of four interrelated viewpoints (interface behaviour, provider behaviour, choreography, and orchestration) and their formalization from a control-flow perspective in terms of Petri nets. By formally capturing the interrelationships between these viewpoints, the proposal enables the static verification of the consistency of composite services designed in a cooperative and incremental manner. A proof-of-concept simulation and verification tool has been developed to test the possibilities of the proposed model.

There are no comments yet on this publication. Be the first to share your thoughts.