ROADMAP: extending the gaia methodology for complex open systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Prometheus: a methodology for developing intelligent agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Automated protocol verification in linear logic
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Logic Programming and Model Checking
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Single-model method for specifying multi-agent systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Model checking XML manipulating software
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Logic-based Web Services Composition: From Service Description to Process Model
ICWS '04 Proceedings of the IEEE International Conference on Web Services
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Towards Adaptive Workflow Enactment Using Multiagent Systems
Information Technology and Management
Multi-paradigm Java-Prolog integration in tuProlog
Science of Computer Programming
Towards Making Agent UML Practical: A Textual Notation and a Tool
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Enabling Agent-Based Management of Web Services with WS2JADE
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Analyzing Conversations of Web Services
IEEE Internet Computing
Modelling web service composition with UML 2.0
International Journal of Web Engineering and Technology
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Formal consistency verification between BPEL process and privacy policy
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating machine processable representations of textual representations of AUML
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Beyond prototyping in the factory of agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Agent oriented software engineering with INGENIAS
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Formal semantics for AUML agent interaction protocol diagrams
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Verifying the conformance of web services to global interaction protocols: a first step
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Modeling social aspects of multi-agent systems: the AML approach
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Implementing multi-agent systems organizations with INGENIAS
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
| Hi-index | 0.00 |
This paper describes West2East, a computer-aided Agent-Oriented Software Engineering (AOSE) toolkit aimed at supporting the implementation of Multiagent Systems (MASs). West2East exploits languages for Web Services (WSs) for sharing Agent Interaction Protocols (AIPs), modelled using AUML, across the web, and Computational Logic to reason about them. In particular, West2East offers libraries for the translation of AIPs represented in AUML into 1) a textual notation proposed by Winikoff; 2) an XML notation proposed by ourselves; 3) a couple of WS-BPEL and WSDL documents; and 4) a Prolog term. It also offers 5) a mechanism for allowing agents that read a published AIP to reason about it before engaging in a dialogue with its publisher, and 6) libraries for the automatic generation of an executable program compliant with the original interaction protocol.