The emerging service-oriented computing paradigm advocates#R##N#building distributed information systems by chaining reusable services#R##N#instead of by programming from scratch. To do so, not only business#R##N#processes, but also business rules, policies and constraints need to#R##N#be encoded in a process language such as Web Services Business Process#R##N#Execution Language (WS-BPEL). Unfortunately, the intermixing#R##N#of business processes and rules in a single process weakens the modularity#R##N#and adaptability of the systems. In this paper, we propose a formal#R##N#approach to model the weaving of business processes and rules, following#R##N#the aspect-oriented principle. In particular, we use Predicate/Transition#R##N#(PrT) nets to model business processes and business rules, and then#R##N#weave them into a coherent PrT net. The resulting woven nets are ready#R##N#for analysing system properties and simulating system behaviour.
['Jian Yu', 'Quan Z. Sheng', 'Paolo Falcarin', 'Maurizio Morisio']
Weaving Business Processes and Rules: A Petri Net Approach