Modeling Business Processes with Azzurra: Order Fulfilment

Azzurra is a specification language for modeling and enacting business processes. Azzurra is founded on social concepts, such as roles, agents and commitments among them, and Azzurra models are social models consisting of networks of commitments. As such, Azzurra models support the flexible enactment of business processes, and provide a semantic notion of actor accountability and business process compliance. In this technical report, we apply Azzurra to the order fulfilment exemplar from the literature.