Specifying Business Processes with Azzurra

Dalpiaz, Fabiano and Chopra, Amit and Canobbio, Giulia and Zeni, Nicola and Giorgini, Paolo and Mylopoulos, John (2014) Specifying Business Processes with Azzurra. DISI-14-002 . Trento : University of Trento. (Unpublished)

PDF - Full Text
Download (579Kb) | Preview


    A business process is above all else a social interaction among multiple participants. Business process modeling languages support the description of business processes in operational terms as collections of interleaved activities conducted by human and software agents. However, such descriptions do not capture adequately the richness of social interaction among participants. To address this deficiency, we propose Azzurra, a specification language for modeling and executing business processes. Azzurra is founded on social concepts, such as roles, agents and commitments among them, and Azzurra specifications are social models consisting of sets of commitments. As such, Azzurra specifications support flexible executions of business processes, and provide a semantic notion of actor accountability and business process compliance. In this paper, we present syntax and semantics of Azzurra, and we propose algorithms to determine run- time compliance with an Azzurra social specification.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Report Number: DISI-14-002
    Repository staff approval on: 27 Mar 2014 09:14

    Actions (login required)

    View Item