Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A calculus of mobile processes, I
Information and Computation
Theoretical Computer Science
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Theoretical Computer Science
Communicating sequential processes
Communications of the ACM
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Distributed and Parallel Databases
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
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Web Service Composition in UML
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Service Composition Modeling: A Case Study
ENC '06 Proceedings of the Seventh Mexican International Conference on Computer Science
From BPMN Process Models to BPEL Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach
EUROMICRO '07 Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications
Local and On-the-fly Choreography-based Web Service Composition
WI '07 Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
Modeling and Verifying Web Services Choreography Using Process Algebra
SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
COCOA: ConversationBased Service Composition for Pervasive Computing Environments
PERSER '06 Proceedings of the 2006 ACS/IEEE International Conference on Pervasive Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Complexity and composition of synthesized web services
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Semantics and analysis of business process models in BPMN
Information and Software Technology
Modeling and Specification of Web Services Composition Using UML-S
NWESP '08 Proceedings of the 2008 4th International Conference on Next Generation Web Services Practices
Model-driven engineering of composite web services using UML-S
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Towards the Semantics and Verification of BPEL4WS
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Web Services with Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Automatic translation of WS-CDL choreographies to timed automata
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
Introduction to special section on formal methods in pervasive computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Analysis of web services composition and substitution via CCS
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Formal Modeling of Socio-technical Collective Adaptive Systems
SASOW '12 Proceedings of the 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops
Hi-index | 0.00 |
Companies are now making their know-how and information available over the network using Web services. Business-to-Business collaboration through Web service interaction is now a necessary step to better satisfy user requests. The act of combining Web services to achieve a common goal-also known as Web service composition-is a complex issue that should be addressed. Many programming languages were developed to realize interaction between services, such as XLANG, WSFL, and BPEL. However, these languages are meant for the implementation and execution rather than providing a visual representation of the composition. In the past few years, the research community has been trying to tackle this issue by proposing model-driven approaches with the main objective to reduce development time. Some of these approaches are based on formal methods in order to describe, analyze, verify and validate the composition. In other words, applying these methods in design phase helps designers to show explicitly the behavior of Web services, to reason on the composition behavior and verify its properties. In this paper, the authors survey model-driven approaches for service composition. The focus is on surveying and classifying approaches that follow model-driven engineering principles for creating high-level models rather than programming concepts.