loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Luis E. Mendoza Morales 1 ; Manuel I. Capel Tuñón 2 and María A. Pérez 2

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

ISBN: 978-989-8425-06-5

Keyword(s): Business process modelling, Model–checking, Task model, Compositional verification, Formal specification.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Modeling Formalisms, Languages and Notations ; Software Engineering ; Systems Engineering

Abstract: A specific check that is required to be performed as part of the Business Process Modelling (BPM) is on whether the activities and tasks described by Business Processes (BPs) are sound and well–coordinated. In this work we present how the Model–Checking verification technique for software can be integrated within a Formal Compositional Verification Approach (FVCA) to allow the automatic verification of BPs modelled with Business Process Modelling Notation (BPMN). The FVCA is based on a formal specification language with composition constructs. A timed semantics of BPMN defined in terms of the Communicating Sequential Processes + Time (CSP+T) extends untimed BPMN modelling entities with timing constrains in order to detail the behavior of BPs during the execution of real scenarios that they represent. With our proposal we are able to specify and to develop the Business Process Task Model (BPTM) of a target business system. In order to show a practical use of our proposal, a BPTM of an instance of a BPM enterprise–project related to the Customer Relationship Management (CRM) business is presented. (More)

PDF ImageFull Text

Download
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 54.221.75.115

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:
E. Mendoza Morales L., I. Capel Tuñón M. and A. Pérez M. (2010). COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES MODELLED WITH BPMN.In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-06-5, pages 113-122. DOI: 10.5220/0002974101130122

@conference{iceis10,
author={Luis E. Mendoza Morales and Manuel I. Capel Tuñón and María A. Pérez},
title={COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES MODELLED WITH BPMN},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2010},
pages={113-122},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002974101130122},
isbn={978-989-8425-06-5},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES MODELLED WITH BPMN
SN - 978-989-8425-06-5
AU - E. Mendoza Morales L.
AU - I. Capel Tuñón M.
AU - A. Pérez M.
PY - 2010
SP - 113
EP - 122
DO - 10.5220/0002974101130122

Login or register to post comments.

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