Organizations maintain process models that describe or prescribe how cases (eg, orders)
are handled. However, reality may not agree with what is modeled. Conformance checking …

This thesis is about process mining: the analysis an organization's processes by using
process execution data. During the handling of a case or process instance data about the …

Global choreographies define the rules that peers should respect in their interaction, with the
aim of guaranteeing interoperability. An abstract choreography can be seen as a protocol …

Constraint Handling Rules (CHR) is a high-level programming language based on
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …

In this paper we show how we can translate Web Services described by WS-CDL into a
timed automata orchestration, and more specifically we are interested in Web services with …

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study,
there are still challenges when many different aspects need to be considered …

In multiagent systems, agent interaction is ruled by means of interaction protocols.
Compliance to protocols can be hardwired in agent programs; however, this requires that …

In open societies of agents, where agents are autonomous and heterogeneous, it is not
realistic to assume that agents will always act so as to comply with interaction protocols …

An agent communication protocol specifies the rules of interaction governing a dialogue
between agents in a multiagent system. In non-cooperative interactions (such as negotiation …

Deontic concepts and operators have been widely used in several fields where
representation of norms is needed, including legal reasoning and normative multi-agent …