A GROOVE Solution for the BPMN to BPEL Model Transformation

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

    Research output: Book/ReportReportProfessional

    24 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).