Concurrent regular expressions and their relationship to Petri nets
Theoretical Computer Science
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Supporting e-commerce systems formalization with choreography languages
Proceedings of the 2005 ACM symposium on Applied computing
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Generic Error Handling in Business Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying protocol conformance for logic-based communicating agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
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
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
Safe Adaptation of Component Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Runtime monitoring of web service conversations
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
International Journal of Agent-Oriented Software Engineering
Towards trace semantics for WS-CDL with alignments
Proceedings of the 2008 ACM symposium on Applied computing
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Correct Channel Passing by Construction
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Electronic Notes in Theoretical Computer Science (ENTCS)
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Introducing partner shared states into ebBP to WS-BPEL translations
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Translating shared state based ebXML BPSS models to WS-BPEL
International Journal of Business Intelligence and Data Mining
Towards a quality model for choreography
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Monitoring and recovery of web service applications
The smart internet
Monitoring and recovery of web service applications
The smart internet
Conformance verification of privacy policies
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Interaction protocols and capabilities: a preliminary report
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A verifiable logic-based agent architecture
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
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
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Verification of protocol conformance and agent interoperability
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. An abstract choreography can be seen as a protocol specification; it does not refer to specific peers and, especially in an open application domain, it might be necessary to retrieve a set of web services that fit in it. A crucial issue, that is raising attention, is verifying whether the business process of some peers, in particular the parts that encode the communicative behavior, will produce interactions which are conformant to the agreed protocol (legality issue). Such issue is tackled by the so called conformance test, which is a means for certifying the capability of interacting of the involved parts: two peers that are proved conformant to a same protocol will actually interoperate by producing a legal conversation. This work proposes an approach to the verification of a priori conformance of a business process to a protocol, which is based on the theory of formal languages and guarantees the interoperability of peers that are individually proved conformant.