@inproceedings{4688f3d9047b4ab3b1ca390b248dcb33,
title = "Weaving business processes and rules: A Petri net approach",
abstract = "The emerging service-oriented computing paradigm advocates building distributed information systems by chaining reusable services instead of by programming from scratch. To do so, not only business processes, but also business rules, policies and constraints need to be encoded in a process language such as Web Services Business Process Execution Language (WS-BPEL). Unfortunately, the intermixing of business processes and rules in a single process weakens the modularity and adaptability of the systems. In this paper, we propose a formal approach to model the weaving of business processes and rules, following the aspect-oriented principle. In particular, we use Predicate/Transition (PrT) nets to model business processes and business rules, and then weave them into a coherent PrT net. The resulting woven nets are ready for analysing system properties and simulating system behaviour.",
keywords = "Aspect-orientation, Business process modelling, Business rules, Petri nets",
author = "Jian Yu and Sheng, {Quan Z.} and Paolo Falcarin and Maurizio Morisio",
year = "2009",
doi = "10.1007/978-3-642-01112-2_13",
language = "English",
isbn = "9783642011115",
volume = "20 LNBIP",
series = "Lecture Notes in Business Information Processing",
publisher = "Springer, Springer Nature",
pages = "121--126",
booktitle = "Information Systems: Modeling, Development, and Integration - Third International United Information Systems Conference, UNISCON 2009, Proceedings",
address = "United States",
note = "3rd International United Information Systems Conference, UNISCON 2009 ; Conference date: 21-04-2009 Through 24-04-2009",
}