A GROOVE Solution for the BPMN to BPEL Model Transformation

M.J. de Mol, M.V. Zimakova

    Research output: Book/ReportReportProfessional

    23 Downloads (Pure)

    Abstract

    In this paper we present a solution of a model transformation between two standard languages for business process modeling BPMN and BPEL, using the GROOVE tool set. GROOVE is a tool for graph transformations that uses directed, edge labelled simple graphs and the SPO approach [Ren04]. Given a graph grammar (G, P), composed of a start graph G and a set of production rules P, the tool allows to compute a labelled transition system (LTS) corresponding to all possible derivations in this grammar. The tool is freely available for download. The latest version and documentation can be found on the website http://sourceforge.net/projects/groove. The graph grammar presented here as well as detailed description of the sample realization to the case study is available in the attachment.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherFormal Methods and Tools (FMT)
    Number of pages34
    Publication statusPublished - Aug 2009

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.TR-CTIT-09-31
    ISSN (Print)1381-3625

    Keywords

    • EWI-15835
    • METIS-263964
    • IR-67562
    • Graph Transformations
    • BPMN
    • Model Transformations
    • BPEL

    Cite this

    de Mol, M. J., & Zimakova, M. V. (2009). A GROOVE Solution for the BPMN to BPEL Model Transformation. (CTIT Technical Report Series; No. TR-CTIT-09-31). Enschede: Formal Methods and Tools (FMT).
    de Mol, M.J. ; Zimakova, M.V. / A GROOVE Solution for the BPMN to BPEL Model Transformation. Enschede : Formal Methods and Tools (FMT), 2009. 34 p. (CTIT Technical Report Series; TR-CTIT-09-31).
    @book{61a8ded6e58740ce96a571409fdb9d98,
    title = "A GROOVE Solution for the BPMN to BPEL Model Transformation",
    abstract = "In this paper we present a solution of a model transformation between two standard languages for business process modeling BPMN and BPEL, using the GROOVE tool set. GROOVE is a tool for graph transformations that uses directed, edge labelled simple graphs and the SPO approach [Ren04]. Given a graph grammar (G, P), composed of a start graph G and a set of production rules P, the tool allows to compute a labelled transition system (LTS) corresponding to all possible derivations in this grammar. The tool is freely available for download. The latest version and documentation can be found on the website http://sourceforge.net/projects/groove. The graph grammar presented here as well as detailed description of the sample realization to the case study is available in the attachment.",
    keywords = "EWI-15835, METIS-263964, IR-67562, Graph Transformations, BPMN, Model Transformations, BPEL",
    author = "{de Mol}, M.J. and M.V. Zimakova",
    year = "2009",
    month = "8",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Formal Methods and Tools (FMT)",
    number = "TR-CTIT-09-31",

    }

    de Mol, MJ & Zimakova, MV 2009, A GROOVE Solution for the BPMN to BPEL Model Transformation. CTIT Technical Report Series, no. TR-CTIT-09-31, Formal Methods and Tools (FMT), Enschede.

    A GROOVE Solution for the BPMN to BPEL Model Transformation. / de Mol, M.J.; Zimakova, M.V.

    Enschede : Formal Methods and Tools (FMT), 2009. 34 p. (CTIT Technical Report Series; No. TR-CTIT-09-31).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - A GROOVE Solution for the BPMN to BPEL Model Transformation

    AU - de Mol, M.J.

    AU - Zimakova, M.V.

    PY - 2009/8

    Y1 - 2009/8

    N2 - In this paper we present a solution of a model transformation between two standard languages for business process modeling BPMN and BPEL, using the GROOVE tool set. GROOVE is a tool for graph transformations that uses directed, edge labelled simple graphs and the SPO approach [Ren04]. Given a graph grammar (G, P), composed of a start graph G and a set of production rules P, the tool allows to compute a labelled transition system (LTS) corresponding to all possible derivations in this grammar. The tool is freely available for download. The latest version and documentation can be found on the website http://sourceforge.net/projects/groove. The graph grammar presented here as well as detailed description of the sample realization to the case study is available in the attachment.

    AB - In this paper we present a solution of a model transformation between two standard languages for business process modeling BPMN and BPEL, using the GROOVE tool set. GROOVE is a tool for graph transformations that uses directed, edge labelled simple graphs and the SPO approach [Ren04]. Given a graph grammar (G, P), composed of a start graph G and a set of production rules P, the tool allows to compute a labelled transition system (LTS) corresponding to all possible derivations in this grammar. The tool is freely available for download. The latest version and documentation can be found on the website http://sourceforge.net/projects/groove. The graph grammar presented here as well as detailed description of the sample realization to the case study is available in the attachment.

    KW - EWI-15835

    KW - METIS-263964

    KW - IR-67562

    KW - Graph Transformations

    KW - BPMN

    KW - Model Transformations

    KW - BPEL

    M3 - Report

    T3 - CTIT Technical Report Series

    BT - A GROOVE Solution for the BPMN to BPEL Model Transformation

    PB - Formal Methods and Tools (FMT)

    CY - Enschede

    ER -

    de Mol MJ, Zimakova MV. A GROOVE Solution for the BPMN to BPEL Model Transformation. Enschede: Formal Methods and Tools (FMT), 2009. 34 p. (CTIT Technical Report Series; TR-CTIT-09-31).