Weaving business processes and rules: A Petri net approach

Jian Yu*, Quan Z. Sheng, Paolo Falcarin, Maurizio Morisio

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Title of host publicationInformation Systems: Modeling, Development, and Integration - Third International United Information Systems Conference, UNISCON 2009, Proceedings
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages6
Volume20 LNBIP
ISBN (Print)9783642011115
Publication statusPublished - 2009
Externally publishedYes
Event3rd International United Information Systems Conference, UNISCON 2009 - Sydney, NSW, Australia
Duration: 21 Apr 200924 Apr 2009

Publication series

NameLecture Notes in Business Information Processing
Volume20 LNBIP
ISSN (Print)18651348


Other3rd International United Information Systems Conference, UNISCON 2009
CitySydney, NSW


  • Aspect-orientation
  • Business process modelling
  • Business rules
  • Petri nets


Dive into the research topics of 'Weaving business processes and rules: A Petri net approach'. Together they form a unique fingerprint.

Cite this