Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2008
Towards verifying compliance in agent-based web service compositions
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 ...
- research-articleMay 2008
A model-driven, agent-based approach for the integration of services into a collaborative business process
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 ...
- research-articleMay 2008
Integrating heterogeneous agent programming platforms within artifact-based environments
"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 ...
- research-articleMay 2008
Cost-based BDI plan selection for change propagation
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 ...