Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt
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.
Aleksander González1 Luis E. Mendoza1 Manuel I. Capel María A. Pérez
Processes and Systems Department, Simón Bolivar University PO Box 89000, Caracas, 1080-A, Venezuela Software Engineering Department, University of Granada Aynadamar Campus, 18071, Granada
国际会议
13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)
北京
英文
51-60
2011-06-08（万方平台首次上网日期，不代表论文的发表时间）