Relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery
Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
Understanding Web Services: XML, WSDL, SOAP, and UDDI
Understanding Web Services: XML, WSDL, SOAP, and UDDI
Formal Verification of e-Services and Workflows
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Supporting Reliable Transactional Business Processes by Publish/Subscribe Techniques
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Peer-to-Peer Traced Execution of Composite Services
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Design Methodology for Web Services and Business Processes
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Modeling E -service Orchestration through Petri Nets
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Building Reliable Web Services Compositions
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Modeling Coordination and Control in Cross-Organizational Workflows
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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 Multi-Level Model for Web Service Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Service-Oriented Computing: Key Concepts and Principles
IEEE Internet Computing
A methodology for e-service substitutability in a virtual district environment
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
A multi-level model for activity commitments in e-contracts
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Hi-index | 0.00 |
Web services have become popular as a vehicle for the design, integration, composition, reuse, and deployment of distributed and heterogeneous software. However, although industry standards for the description, composition, and orchestration of Web services have been under development, their conceptual underpinnings are not fully understood. Conceptual models for service specification are rare, as are investigations based on them. This paper presents and studies a multi-level service composition model that perceives service specification as going through several levels of abstraction. It starts from transactional operations at the lowest level and abstracts into activities at higher levels that are close to the service provider or end user. The authors treat service composition from a specification and execution point of view, where the former is about composition logic and the latter about transactional guarantees. Consequently, the model allows for the specification of a number of transactional properties, such as atomicity and guaranteed termination, at all levels. Different ways of achieving the composition properties and implications of the model are presented. The authors also discuss how the model subsumes practical proposals like the OASIS Business Transaction Protocol, Sun's WS-TXM, and execution aspects of the BPEL4WS standard.