Regresar

Implementing a transformation from BPMN to CSP+T with ATL: Lessons learnt

Abstract:

Among the challenges to face in order to promote the use of techniques of formal verification in organizational environments, there is the possibility of offering the integration of features provided by a Model Transformation Language (MTL) as part of a tool very used by business analysts, and from which formal specifications of a model can be generated. This article presents the use of MTL ATLAS Transformation Language (ATL) as a transformation artefact within the domains of Business Process Modelling Notation (BPMN) and Communicating Sequential Processes + Time (CSP+T). It discusses the main difficulties encountered and the lessons learnt when building BTRANSFORMER; a tool developed for the Eclipse platform, which allows us to generate a formal specification in the CSP+T notation from a business process model designed with BPMN. This learning is valid for those who are interested in formalizing a Business Process Modelling Language (BPML) by means of a process calculus or another formal notation. Copyright © 2011 SciTePress.

Año de publicación:

2011

Keywords:

    Fuente:

    googlegoogle
    scopusscopus

    Tipo de documento:

    Conference Object

    Estado:

    Acceso restringido

    Áreas de conocimiento:

    • Ingeniería de software
    • Software

    Áreas temáticas:

    • Ciencias de la computación

    Contribuidores:

    González A.González A.
    Pérez M.A.Pérez M.A.
    Tuñón M.I.C.Tuñón M.I.C.
    Luis Eduardo Mendoza MoralesLuis Eduardo Mendoza Morales