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-articleFebruary 2020
Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks
Journal of Software: Evolution and Process (WSMR), Volume 32, Issue 2https://doi.org/10.1002/smr.2209AbstractContemporary interaction‐based complex systems are often built by reusing existing distributed peers, which have to coordinate with each other to fulfill the client, system, and environment requirements. In this paper, we address the design of ...
- research-articleDecember 2004
Reasoning About Interaction Protocols for Web Service Composition
In this work, we face the problem of web service composition, arguing the importance of the inclusion, in a web service description, of the high-level communication protocol used by a service to interact with a client. The work is set in the same multi-...
- ArticleJuly 2003
Cartographic generalisation using cooperative agents
AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systemsPages 976–977https://doi.org/10.1145/860575.860753We use a multi-agent approach to automatically perform cartographic generalisation, a task of the cartography domain that aims to simplify a digital map in order to produce another digital map with less details. Our agents are geographical objects such ...
- ArticleMay 2001
Modelling and visualizing agent conversations
AGENTS '01: Proceedings of the fifth international conference on Autonomous agentsPages 234–235https://doi.org/10.1145/375735.376297Although the notion of conversations has been discussed for some time as a way in which to provide an abstract representation of extended agent message exchange, there is still no consensus established concerning how to use these abstractions ...