Communication and Concurrency
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Model-Based Analysis of Obligations in Web Service Choreography
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
An abductive framework for a-priori verification of web services
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Business alignment: using process mining as a tool for Delta analysis and conformance testing
Requirements Engineering
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Verifying protocol conformance for logic-based communicating agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
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
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Choreography conformance analysis: asynchronous communications and information alignment
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Verification of protocol conformance and agent interoperability
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Business process interoperability: extended abstract
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Compatibility and Conformance of Role-Based Interaction Components in MAS
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Verifying Agents' Conformance with Multiparty Protocols
Computational Logic in Multi-Agent Systems
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Semantic web technology for agent communication protocols
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
An overview of AI research in Italy
Artificial intelligence
Expert Systems with Applications: An International Journal
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Reliable Web service selection in choreographed environments
Decision Support Systems
Hi-index | 0.00 |
An important issue, in open environments like the web, is guaranteeing the interoperability of a set of services. When the interaction scheme that the services should follow is given (e.g. as a choreography or as an interaction protocol), it becomes possible to verify, before the interaction takes place, if the interactive behavior of a service (e.g. a BPEL process specification) respects it. This verification is known as “conformance test”. Recently some attempts have been done for defining conformance tests w.r.t. a protocol but these approaches fail in capturing the very nature of interoperability, turning out to be too restrictive. In this work we give a representation of protocol, based on message exchange and on finite state automata, and we focus on those properties that are essential to the verification of the interoperability of a set of services. In particular, we define a conformance test that can guarantee, a priori, the interoperability of a set of services by verifying properties of the single service against the protocol. This is particularly relevant in open environments, where services are identified and composed on demand and dynamically, and the system as a whole cannot be analyzed.