Paper Info
Title
Implementing A Transformation From Bpmn To Csp Plus 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.
Year
Venue
Field
2011
IVM/FTMDD/RTSOABIS/MSVVEIS
Software engineering,Computer science,Business Process Model and Notation
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Aleksander González120.77
Luis Eduardo Mendoza2289.61
Manuel I. Capel35217.35
María Pérez49519.89