Service-oriented design: a multi-viewpoint approach

R.M. Dijkman, M. Dumas

    Research output: Contribution to journalArticleAcademicpeer-review


    As the technology associated with 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.
    Original languageUndefined
    Article number10.1142/S0218843004001012
    Pages (from-to)337-368
    Number of pages26
    JournalInternational journal of cooperative information systems
    Issue number4
    Publication statusPublished - 2004


    • viewpoint
    • formal method
    • Service-oriented design
    • Design
    • Methodology
    • IR-63474
    • EWI-7094

    Cite this