WWW '05 Proceedings of the 14th international conference on World Wide Web
Leveraging Eclipse for integrated model-based engineering of web service compositions
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Towards self-adaptive service-oriented architectures
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
Model checking service compositions under resource constraints
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Enhanced compositional safety analysis for distributed embedded systems using LTS equivalence
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
Modular verification of web services using efficient symbolic encoding and summarization
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
A mechanism for grid service composition behavior specification and verification
Future Generation Computer Systems
Verifying Interaction Protocol Compliance of Service Orchestrations
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Data & Knowledge Engineering
Towards autonomic service-oriented applications
International Journal of Autonomic Computing
Towards Formal Interfaces for Web Services with Transactions
Advanced Internet Based Systems and Applications
Using interaction models to detect and resolve inconsistencies in evolving service compositions
Web Intelligence and Agent Systems
Ensuring interoperable service-oriented systems through engineered self-healing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Cross-Domain Interoperability: A Case Study
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Graphical composition of grid services
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Inference of Session Types From Control Flow
Electronic Notes in Theoretical Computer Science (ENTCS)
Service research challenges and solutions for the future internet
Property specifications for workflow modelling
Science of Computer Programming
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Binding and execution of web service compositions
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Knowledge federation over the web based on meme media technologies
Proceedings of the 2005 international conference on Federation over the Web
Web service mining and verification of properties: an approach based on event calculus
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Analysis of composite web services using logging facilities
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
An abstract machine architecture for web service based business process management
BPM'05 Proceedings of the Third international conference on Business Process Management
Reliable Web service selection in choreographed environments
Decision Support Systems
Design for service compatibility
Software and Systems Modeling (SoSyM)
Test-and-adapt: An approach for improving service interchangeability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
A survey of change management in service-based environments
Service Oriented Computing and Applications
| Hi-index | 0.01 |
In this paper we discuss a model-based approach toverifying process interactions for coordinated webservice compositions. The approach uses finite statemachine representations of web service orchestrationsand assigns semantics to the distributed processinteractions. The move towards implementing webservice compositions by multiple interested parties as aform of distributed system architecture motivates theneed for supporting compatibility verification ofactivities and transactions in all the processes. Thedescribed approach is supported by a suite ofcooperating tools for specification, formal modeling andproviding verification results from orchestrated webservice interactions.