We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended to deal with compliance/violations of contracts. We illustrate these ...

In cross-organisational business interactions, the most desirable solution for integrating different partners would suggest to integrate their processes and data on a rather low level. However, the internal processes and interfaces of the participating ...

"Agents and Artifacts" (A&A) and CARTAGO are becoming increasingly popular as, respectively, a general-purpose programming model and a related infrastructure for developing shared computational environments in agent-based software systems. However, so ...

Software maintenance is responsible for as much as two thirds of the cost of any software, and is consequently an important research area. In this paper we focus on the change propagation problem: given a primary change that is made in order to meet a ...