Paper Unlock

Authors: Aleksander González 1 ; Luis E. Mendoza Morales 1 ; Manuel I. Capel 2 ; María A. Pérez 1 ; Edumilis Méndez 1 and Kenyer Domínguez 1

Affiliations: 1 Simón Bolívar University, Venezuela ; 2 University of Granada, Spain

ISBN: 978-989-8425-55-3

Keyword(s): Business Process Modelling Language, Process Calculus, Model Transformation Languages, Transformation Tool, Formal Software Specification.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Business Process Management ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Requirements Analysis And Management ; Software Engineering ; Symbolic Systems ; Tools, Techniques and Methodologies for System Development

Abstract: In any organisation, properties such as scope, structure, deployment, capability, structural consistency and concurrency, supporting the critical factors for success in Business Process (BP) modelling, need to be verified. And thus, relevant parts of a BP must be formally specified in an appropriate way. Process Calculi (PC) such as CSP, ACP, CCS, which constitute a mathematical basis for programming reactive, communication-bounded systems, can be used to model critical systems and to verify their correctness properties. PC-based notations can be used to specify business processes (BPs) and reason about their properties. Without a demanding training, to make use effectively of these languages is beyond the ability of many business modellers. In order to cope with this drawback, we propose a set of rules to automatically transform a semi-formal model expressed in terms of Business Process Modelling Notation (BPMN) into a Communicating Sequential Processes + Time (CSP+T) formal system s pecification. In this paper, we present BTRANSFORMER tool that permits to automatically generate such a formal specification and has been programmed with the ATLAS Transformation Language (ATL). As result, we obtain a plug-in for Eclipse platform, which is capable of transforming BPMN models designed with Intalio into a text file with the equivalent CSP+T formal specification of the business model. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
González, A.; E. Mendoza Morales, L.; I. Capel, M.; A. Pérez, M.; Méndez, E. and Domínguez, K. (2011). BTRANSFORMER - A Tool for BPMN to CSP+T Transformation.In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 978-989-8425-55-3, pages 363-366. DOI: 10.5220/0003430003630366

author={Aleksander González. and Luis E. Mendoza Morales. and Manuel I. Capel. and María A. Pérez. and Edumilis Méndez. and Kenyer Domínguez.},
title={BTRANSFORMER - A Tool for BPMN to CSP+T Transformation},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS,},


JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS,
TI - BTRANSFORMER - A Tool for BPMN to CSP+T Transformation
SN - 978-989-8425-55-3
AU - González, A.
AU - E. Mendoza Morales, L.
AU - I. Capel, M.
AU - A. Pérez, M.
AU - Méndez, E.
AU - Domínguez, K.
PY - 2011
SP - 363
EP - 366
DO - 10.5220/0003430003630366

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.