Service-oriented Design: A Multi-viewpoint Approach

R.M. Dijkman, M. Dumas

    Research output: Book/ReportReportProfessional

    135 Citations (Scopus)
    39 Downloads (Pure)

    Abstract

    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.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages26
    Publication statusPublished - Feb 2004

    Publication series

    NameCTIT Technical Report Series
    No.04-09
    ISSN (Print)1381-3625

    Keywords

    • METIS-219269
    • EWI-5795
    • IR-48094

    Cite this

    Dijkman, R. M., & Dumas, M. (2004). Service-oriented Design: A Multi-viewpoint Approach. (CTIT Technical Report Series; No. 04-09). Enschede: Centre for Telematics and Information Technology (CTIT).
    Dijkman, R.M. ; Dumas, M. / Service-oriented Design : A Multi-viewpoint Approach. Enschede : Centre for Telematics and Information Technology (CTIT), 2004. 26 p. (CTIT Technical Report Series; 04-09).
    @book{3543d69839bd4a27ba5b27aa8799034c,
    title = "Service-oriented Design: A Multi-viewpoint Approach",
    abstract = "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.",
    keywords = "METIS-219269, EWI-5795, IR-48094",
    author = "R.M. Dijkman and M. Dumas",
    year = "2004",
    month = "2",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "04-09",
    address = "Netherlands",

    }

    Dijkman, RM & Dumas, M 2004, Service-oriented Design: A Multi-viewpoint Approach. CTIT Technical Report Series, no. 04-09, Centre for Telematics and Information Technology (CTIT), Enschede.

    Service-oriented Design : A Multi-viewpoint Approach. / Dijkman, R.M.; Dumas, M.

    Enschede : Centre for Telematics and Information Technology (CTIT), 2004. 26 p. (CTIT Technical Report Series; No. 04-09).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Service-oriented Design

    T2 - A Multi-viewpoint Approach

    AU - Dijkman, R.M.

    AU - Dumas, M.

    PY - 2004/2

    Y1 - 2004/2

    N2 - 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.

    AB - 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.

    KW - METIS-219269

    KW - EWI-5795

    KW - IR-48094

    M3 - Report

    T3 - CTIT Technical Report Series

    BT - Service-oriented Design

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - Enschede

    ER -

    Dijkman RM, Dumas M. Service-oriented Design: A Multi-viewpoint Approach. Enschede: Centre for Telematics and Information Technology (CTIT), 2004. 26 p. (CTIT Technical Report Series; 04-09).