article

Multi-Level Modeling of Web Service Compositions with Transactional Properties

Authors:

K. Vidyasankar,

Gottfried VossenAuthors Info & Claims

Journal of Database Management, Volume 22, Issue 2

Pages 1 - 31

https://doi.org/10.4018/jdm.2011040101

Published: 01 April 2011 Publication History

Abstract

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.

References

[1]

Abiteboul, S., Vianu, V., Fordham, B. S., & Yesha, Y. 2000. Relational Transducers for Electronic Commerce. Journal of Computer and System Sciences, 61, 236-269.

Digital Library

[2]

Alonso, G., Casati, F., Kuno, H., & Machiraju, V. 2004. Web Services - Concepts, Architectures and Applications. Berlin, Germany: Springer-Verlag.

[3]

Alonso, G., Vingralek, R., Agrawal, D., Breitbart, Y., El Abbadi, A., Schek, H.-J., & Weikum, G. 1994. Unifying Concurrency Control and Recovery of Transactions. Information Systems, 19, 101-115.

Digital Library

[4]

Battle, S. 2003. Boxes: black, white, grey and glass box view of web-services Tech. Rep. No. HPL-2003-30. Bristol, UK: HP Laboratories Bristol.

[5]

Bultan, T., Fu, X., Hull, R., & Su, J. 2003. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In Proceedings of the International World Wide Web Conference 2003 WWW 2003 pp. 403-410.

[6]

Casati, F., & Dayal, U. Eds. 2002. Special Issue on Web Services. IEEE Bulletin of the Technical Committee on Data Engineering, 254.

[7]

Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., & Shan, M.-C. 2000. Adaptive and Dynamic Service Composition in eFlow, HP Labs Report HPL-2000-39.

[8]

Christophides, V., Hull, R., Karvounarakis, G., Kumar, A., Tong, G., & Xiong, M. 2001. Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications. In Proceedings of the 2nd International Workshop on Technologies for E-Services TES 2001 LNCS 2193, pp. 58-73.

[9]

Colombo, E., Francalanci, C., & Pernici, B. 2002. Modeling Coordination and Control in Cross-Organizational Workflows. In Proceedings of the CoopIS-DOA-ODBASE 2002 Conference LNCS 2519, pp. 91-106.

[10]

De Antonellis, V., Melchiori, M., Pernici, B., & Plebani, P. 2003. A Methodology for e-Service Substitutability in a Virtual District Environment. In Advanced Information Systems Engineering: Proceedings of CAiSE '03, Klagenfurt, Austria LNCS 2681, pp. 552-567.

[11]

Fauvet, M.-C., Dumas, M., Benatallah, B., & Paik, H.-Y. 2001. Peer-to-Peer Traced Execution of Composite Services. In Proceedings of the 2nd International Workshop on Technologies for E-Services TES 2001 LNCS 2193, pp. 103-117.

[12]

Fu, X., Bultan, T., & Su, J. 2002. Formal Verification of e-Services and Workflows. In Proceedings of the International Workshop on Web Services, E-Business, and the Semantic Web WES 2002 LNCS 2512, pp. 188-202.

[13]

Huhns, M. N., & Singh, M. P. 2005. Service-Oriented Computing: Key Concepts and Principles. IEEE Internet Computing, 91, 75-81.

[14]

Hull, R., Benedikt, M., Christophides, V., & Su, J. 2003. E-Services: A Look Behind the Curtain. In Proceedings of the 22nd ACM Symposium on Principles of Database Systems PODS 2003, San Diego, CA.

[15]

IBM. 2007. Business Process Execution Language for Web Services version 1.1. Retrieved from http://www-106.ibm.com/developerworks/library/ws-bpel/

[16]

Mecella, M., Presicce, F. P., & Pernici, B. 2002. Modeling E-Service Orchestration through Petri Nets. In Proceedings of the 3rd International Workshop on Technologies for E-Services TES 2002 LNCS 2444, pp. 38-47.

[17]

Mikalsen, T., Tai, S., & Rouvellou, I. 2002. Transactional Attitudes: Reliable Composition of Autonomous Web Services. Paper presented at the Workshop on Dependable Middleware-based Systems WDMS '02, Washington, DC.

[18]

Newcomer, E. 2002. Understanding Web Services: XML, WSDL, SOAP, and UDDI. Harlow, MA: Addison-Wesley.

[19]

OASIS. n.d. OASIS Business Transaction Protocol. Retrieved from http://www.oasis-open.org/committees/business-transactions/documents/primer/Primerhtml/

[20]

Papazoglou, P., & Yang, J. 2002. Design Methodology for Web Services and Business Processes. In Proceedings of the 3rd International Workshop on Technologies for E-Services TES 2002 LNCS 2444, pp. 54-64.

[21]

Pires, P. F., Benevides, M. R. F., & Mattoso, M. 2002. Building Reliable Web Services Compositions. In Proceedings of the Workshop on the Web, Web-Services, and Database Systems 2002 LNCS 2593, pp. 59-72.

[22]

Reisig, W. 1985. Petri Nets, an Introduction. Berlin, Germany: Springer Verlag.

[23]

Schek, H.-J., Weikum, G., & Ye, H. 1993. Towards a Unified Theory of Concurrency Control and Recovery. In Proceedings of the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems pp. 300-311.

[24]

Schuldt, H., Alonso, G., Beeri, C., & Schek, H. J. 2002. Atomicity and Isolation for Transactional Processes. ACM Transactions on Database Systems, 27, 63-116.

Digital Library

[25]

Schuler, C., Schuldt, H., & Schek, H. J. 2001. Supporting Reliable Transactional Business Processes by Publish-Subscribe Techniques. In Proceedings of the 2nd International Workshop on Technologies for E-Services TES 2001 LNCS 2193, pp. 118-131.

[26]

Silicon.com. n.d. Latest white papers. Retrieved from http://whitepapers.silicon.com

[27]

Singh, M. P., & Huhns, M. N. 2005. Service-Oriented Computing - Semantics, Processes, Agents. London, UK: John Wiley & Sons.

[28]

Vidyasankar, K., Radha Krishna, P., & Karlapalem, K. 2007. A Multi-Level Model for Activity Commitments in E-contracts. In Proceedings of CoopIS 2007 LNCS 4803, pp. 300-317.

[29]

Vidyasankar, K., & Vossen, G. 2004. A Multi-Level Model for Web Service Composition. In Proceedings of the 3rd IEEE International Conference on Web Services 2004, San Diego, CA pp. 462-469.

[30]

Vossen, G. 2006. Have Service-Oriented Architectures Taken a Wrong Turn Already? In A. Min Tjoa, L. Xu, & S. Chaudhry Eds., Research and Practical Issues of Enterprise Information Systems: Proceedings of the IFIP TC 8 International Conference on Research and Practical Issues of Enterprise Information Systems CONFENIS 2006, Vienna, Austria Vol. 205, pp. xxiii-xxix. International Federation for Information Processing.

[31]

Weikum, G., & Vossen, G. 2002. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. San Francisco, CA: Morgan-Kaufmann Publishers.

Cited By

Jing WXue YWang J(2023)An Enhanced Energy-Efficient Web Service Composition Algorithm Based on the Firefly AlgorithmJournal of Database Management10.4018/JDM.32174034:1(1-19)Online publication date: 20-Apr-2023
https://dl.acm.org/doi/10.4018/JDM.321740
Vidyasankar K(2016)On Atomic Batch Executions in Stream ProcessingProcedia Computer Science10.1016/j.procs.2016.09.01398:C(72-79)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1016/j.procs.2016.09.013

Multi-Level Modeling of Web Service Compositions with Transactional Properties
1. Information systems
  1. World Wide Web

Recommendations

Web service embedding: Representing the invocation association between services with practical-valued vectors
Abstract
Service representation using specified methods to express the service’s functionalities and non-functionalities in a machine-understandable format is crucial in service composition. In representing non-functionalities, existing approaches focus ...
Highlights
- Service representation can be realized based on the invocation association.
- Neural sequence networks can understand the pattern of service invocation sequences.
- BERT architecture can learn the semantic invocation association of ...
Graphical abstract

Display Omitted
Quality of Service Management for Web Service Compositions
CSE '08: Proceedings of the 2008 11th IEEE International Conference on Computational Science and Engineering

Typically, scientific applications have to be distributed across computational grid infrastructures. These applications can use existent grid services. Service components in this kind of application may have different computational platforms that should ...
Fuzzy rule based web service composition in cloud
DATA '18: Proceedings of the First International Conference on Data Science, E-learning and Information Systems

Cloud Computing has drawn much attention in industry due its efficient cost schema along with more prospects such as elasticity and scalability nature of Cloud Computing. One of the main service model of Cloud is Software as Service, where many Web ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Database Management

Journal of Database Management Volume 22, Issue 2

April 2011

123 pages

ISSN:1063-8016

Issue’s Table of Contents

Publisher

IGI Global

United States

Publication History

Published: 01 April 2011

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Jing WXue YWang J(2023)An Enhanced Energy-Efficient Web Service Composition Algorithm Based on the Firefly AlgorithmJournal of Database Management10.4018/JDM.32174034:1(1-19)Online publication date: 20-Apr-2023
https://dl.acm.org/doi/10.4018/JDM.321740
Vidyasankar K(2016)On Atomic Batch Executions in Stream ProcessingProcedia Computer Science10.1016/j.procs.2016.09.01398:C(72-79)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1016/j.procs.2016.09.013

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents