The declarative specification of business processes is based upon the elicitation of
behavioural rules that constrain the legal executions of the process. The carry-out of the …

Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

Multiagent social commitments provide a principled basis for agent interactions, and serve
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …

We perform a comprehensive experimental evaluation of off-the-shelf solvers for satisfiability
of propositional LTL. We consider a wide range of solvers implementing three major classes …

Runtime commitment verification is an important, open issue in multiagent research. To
address it, we build on Yolum and Singh's formalization of commitment operations, on …

Certifying proofs are automated deductive proofs obtained as outcomes of a formal
verification of temporal properties, where model checking is one of the most prominent …

Organizational models often rely on two assumptions: openness and heterogeneity. This is,
for instance, the case with organizations consisting of individuals whose behaviour is …

Conceptual modelling in Business Process Management (BPM) is one of the core research
areas of Information Systems (IS). A variety of different strategies for modeling support and …

Enterprises are evolving towards advanced forms of cooperation and networking. This kind
of tight cooperation requires the creation of global Business Processes (ie, cross-enterprise …