Communicating sequential processes
Communicating sequential processes
Database transaction models for advanced applications
Database transaction models for advanced applications
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Distributed and Parallel Databases
Automated SLA Monitoring for Web Services
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
Adaptive and Dynamic Service Composition in eFlow
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Building Reliable Web Services Compositions
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Communications of the ACM - Service-oriented computing
THROWS: An Architecture for Highly Available Distributed Execution of Web Services Compositions
RIDE '04 Proceedings of the 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government Applications (RIDE'04)
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
ODE SWS: A Framework for Designing and Composing Semantic Web Services
IEEE Intelligent Systems
An Ontology-Driven Architecture for Flexible Workflow Execution
LA-WEBMEDIA '04 Proceedings of the WebMedia & LA-Web 2004 Joint Conference 10th Brazilian Symposium on Multimedia and the Web 2nd Latin American Web Congress
Facilitating the rapid development and scalable orchestration of composite web services
Distributed and Parallel Databases
A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions
PRDC '05 Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.00 |
The interest surrounding the Web services (WS) composition issue has been growing tremendously In the near future, it is awaited to prompt a veritable shift in the distributed computing history, by making the Service-Oriented Architecture (SOA) a reality Yet, the way ahead is still long A careful investigation of a major part of the solutions proposed so far reveals that they follow a workflow-like composition approach and that they view failures as exceptional situations that need not to be a primary concern In this paper, we claim that obeying these assumptions in the WS realm may constrain critically the chances to achieve a high-dependability level and may hamper significantly flexibility Motivated with these arguments, we propose a WS composition modeling approach that accepts failures inevitability and enriches the composition with concepts that can add flexibility and dependability but that are not part from the WS architecture pillars, namely, the state, the transactional behavior, the vitality degree, and the failure recovery In addition, we describe a WS composition in terms of definition rules, composability rules, and ordering rules, and we introduce a graphical and a formal notation to ensure that a WS composition is easily and dynamically adaptable to best suit the requirements of a continuously changing environment Our approach can be seen as a higher level of abstraction of many of the current solutions, since it extends them with the required support to achieve higher flexibility, dependability, and expressiveness power.