Modelling Co-occurring Changes in a BPEL Process with Petri Nets

Parimala N.

Abstract

Changes to a BPEL process can occur due to changes in its requirements. In this paper, we are considered with more than one change which must be made simultaneously. Such changes are referred to as co-occurring changes. Petri nets are used to express the changes because of their applicability to reflect changes to the system as an evolution of the Petri net model. Each change is expressed as a rewrite rule. The rewrite rules are analysed to determine the order in which they have to be applied. The rules may have to be executed in parallel or in a particular order. A change model, L-Change is defined which enforces that either both changes take place or none.

Download


Paper Citation


in Harvard Style

N. P. (2019). Modelling Co-occurring Changes in a BPEL Process with Petri Nets.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 410-416. DOI: 10.5220/0007741804100416


in Bibtex Style

@conference{enase19,
author={Parimala N.},
title={Modelling Co-occurring Changes in a BPEL Process with Petri Nets},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={410-416},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007741804100416},
isbn={978-989-758-375-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Modelling Co-occurring Changes in a BPEL Process with Petri Nets
SN - 978-989-758-375-9
AU - N. P.
PY - 2019
SP - 410
EP - 416
DO - 10.5220/0007741804100416