Contract-Based Web Service Composition Framework with Correctness Guarantees (original) (raw)
Related papers
Web Services: Foundation and Composition
Electronic Markets, 2003
Web services synchronization in composition scenarios
Proceedings of the 2009 conference on Information Science, Technology and Applications - ISTA '09, 2009
Web service selection for transactional composition
2010
The Synthy Approach for End to End Web Services Composition
2006
A Component-Based Approach to Automated Web Service Composition
2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06), 2006
Flexible Composition of Enterprise Web Services
Electronic Markets, 2003
Logic-based Web services composition: from service description to process model
Proceedings. IEEE International Conference on Web Services, 2004., 2004
Self-healing web service compositions
Proceedings of the 27th international conference on Software engineering - ICSE '05, 2005
Web services composition applying MDA
ceur-ws.org
An efficient composition of Web services with active network support
Expert Systems with Applications, 2006
Web Services Verification and Prudent Implementation
Lecture Notes in Computer Science, 2012
Semantic Web Service Composition System Supporting Multiple Service Description Languages
Lecture Notes in Computer Science, 2010
Web service standards and real business scenario challenges
Proceedings of the 20th IEEE Instrumentation Technology Conference (Cat No 03CH37412) EURMIC-03, 2003
Web Services Management: A Survey
IEEE Internet Computing, 2005
2008
Computer and Information Science, 2014
A Semantic Framework for Analyzing Web Services Composition
International Journal of Computer Applications, 2010
Web Component: A Substrate for Web Service Reuse and Composition
Lecture Notes in Computer Science, 2002
Application of linear logic to web service composition
2003
Web Service Engineering – Advancing a New Software Engineering Discipline
Lecture Notes in Computer Science, 2005
Petri Net Based Semantic Web Service Composition
International Journal of Multimedia and Ubiquitous Engineering, 2014
Dependability in the Web Services Architecture
Lecture Notes in Computer Science, 2003
Service Contracts Based on Workflow Modeling
Lecture Notes in Computer Science, 2000
An Experimentation Framework for Specification and Verification of Web Services
Annals of Computer Science and Information Systems
Automatic Composition of Services with Security Policies
2008 IEEE Congress on Services - Part I, 2008
Business processes for Web Services: Principles and applications
IBM Systems Journal, 2006
Toward the Composition of Semantic Web Services
Lecture Notes in Computer Science, 2004
Constraints-based response time for efficient QoS in Web Services Composition
2011 7th International Conference on Next Generation Web Services Practices, 2011
Model Driven Service Composition
Service-Oriented Computing – ICSOC 2007, 2003
MoSCoE: A Framework for Modeling Web Service Composition and Execution
22nd International Conference on Data Engineering Workshops (ICDEW'06), 2006
A Compose Language-Based Framework for Secure Service Composition
2012 International Conference on Cyber Security, 2012
Service Composition Applied to E-Government
IFIP International Federation for Information Processing, 2004
Controlling the usability of web services
2009
2020
A Comparative Study of Web Service Composition via BPEL and Petri Nets
International Journal of Computer and Electrical Engineering, 2014