Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Interoperability among independently evolving web services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
YAWL: yet another workflow language
Information Systems
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards semi-automated workflow-based aggregation of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
From BPEL processes to YAWL workflows
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A modified reachability tree approach to analysis of unbounded Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
A reuse-based approach to the correct and automatic composition of web-services
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
Non-intrusive monitoring and service adaptation for WS-BPEL
Proceedings of the 17th international conference on World Wide Web
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Transactional Reduction of Component Compositions
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Automated Service Composition with Adaptive Planning
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Proof Techniques for Adapter Generation
Web Services and Formal Methods
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Dinapter: Automatic Adapter Specification for Software Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic synthesis of behavior protocols for composable web-services
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Constructing minimal protocol adaptors for service composition
Proceedings of the 4th Workshop on Emerging Web Services Technology
Design and implementation of Sator: A web service aggregator
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Automatic Approach to Enable Replacement of Conversational Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
Distributed behavioural adaptation for the automatic composition of semantic services
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Synthesizing adapters for conversational web-services from their WSDL interface
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
An extensible monitoring and adaptation framework
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Cross-layer adaptation and monitoring of service-based applications
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Adaptive composition of conversational services through graph planning encoding
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A case study in model-based adaptation of web services
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Business protocol adaptation for flexible chain management
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
An evaluation of process mediation approaches in web services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Evaluating the compatibility of conversational service interactions
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Adaptation of service-based systems
Service research challenges and solutions for the future internet
Service research challenges and solutions for the future internet
On-demand conversation customization for services in large smart environments
IBM Journal of Research and Development
CLAM: cross-layer adaptation manager for service-based applications
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Towards a compiler for business-IT systems: a vision statement complemented with a research agenda
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
ECSA'11 Proceedings of the 5th European conference on Software architecture
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Ontology-based composition and matching for dynamic cloud service coordination
International Journal of Metadata, Semantics and Ontologies
CLAM: cross-layer adaptation management in service-based systems
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
A model-based synthesis process for choreography realizability enforcement
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
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
Towards an optimized software architecture for component adaptation at middleware level
ECSA'13 Proceedings of the 7th European conference on Software Architecture
A survey of change management in service-based environments
Service Oriented Computing and Applications
AFAWS: An Agent based Framework for Autonomic Web Services
Multiagent and Grid Systems - Development of service-based and agent-based computing systems
Hi-index | 0.00 |
The heterogeneous, dynamic, distributed, and evolving nature of Web services calls for adaptation techniques to overcome various types of mismatches that may occur among services developed by different parties. In this paper we present a methodology for the automated generation of (service) adapters capable of solving behavioural mismatches among BPEL processes. The adaptation process, given two communicating BPEL processes whose interaction may lock, builds (if possible) a BPEL process that allows the two processes to successfully interoperate. A key ingredient of the adaptation methodology is the transformation of BPEL processes into YAWL workflows.