loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ivo Raedts ; Marija Petković ; Yaroslav S. Usenko ; Jan Martijn van der Werf ; Jan Friso Groote and Lou Somers

Affiliation: LaQuSo, Laboratory for Quality Software an activity of Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen, Netherlands

Abstract: In industry, many business processes are modeled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business processes can help to improve the quality of these business processes. However, existing tools can not directly be applied to models used in industry. In this paper, we present our approach for model verification and validation: translating industrial models to Petri nets and mCRL2, and subsequently applying existing tools on the models derived from the initial industrial models. The following translations are described: BPMN models to Petri nets and Petri nets to mCRL2. It is shown what the analysis on the derived models can reveal about the original models.

CC BY-NC-ND 4.0

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 3.146.255.127

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:
Raedts, I.; Petković, M.; S. Usenko, Y.; Martijn van der Werf, J.; Friso Groote, J. and Somers, L. (2007). Transformation of BPMN Models for Behaviour Analysis. In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS; ISBN 978-972-8865-95-5, SciTePress, pages 126-137. DOI: 10.5220/0002428801260137

@conference{msvveis07,
author={Ivo Raedts. and Marija Petković. and Yaroslav {S. Usenko}. and Jan {Martijn van der Werf}. and Jan {Friso Groote}. and Lou Somers.},
title={Transformation of BPMN Models for Behaviour Analysis},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS},
year={2007},
pages={126-137},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002428801260137},
isbn={978-972-8865-95-5},
}

TY - CONF

JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS
TI - Transformation of BPMN Models for Behaviour Analysis
SN - 978-972-8865-95-5
AU - Raedts, I.
AU - Petković, M.
AU - S. Usenko, Y.
AU - Martijn van der Werf, J.
AU - Friso Groote, J.
AU - Somers, L.
PY - 2007
SP - 126
EP - 137
DO - 10.5220/0002428801260137
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic