Skip to main content
SpringerLink
Log in

An Approach to Analyzing Dynamic Trustworthy Service Composition

  • Conference paper
The Semantic Web (ASWC 2009)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5926))

Included in the following conference series:

  • 844 Accesses

Abstract

Service composition and related technologies have provided favorable means for building complex Web software systems. It may span multiple organizational units requires particular considerations on trustworthy issues. However, the distributive and heterogeneous characteristics of services make it hard to guarantee trustworthiness of service composition. This paper presents a method for analyzing dynamic trustworthy service composition according to the characteristics and requirements of service composition. Petri nets are used to precisely describe the composition process in order to describe the logic relation between different components. Based on this, the concept of trust matrix is given to represent the relationships between states. A trustworthy service composition strategy and its enforcement method are proposed. A case study of Travel Service demonstrates the feasibility of proposed method.

This work was partially supported by the NSF of China under grants No. 60773094 and 60473055, Shanghai Shuguang Program under grant No. 07SG32, Fund of Key Laboratory of Shanghai Science and Technology under grant No. 09DZ2272600.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Yu, Q., Liu, X.M., Athman, B., Brahim, M.: Deploying and managing Web services: issues, solutions, and directions. The Int. J. Very Large Data Bases 17(3), 537–572 (2008)

    Article  Google Scholar 

  2. Beek, M., Bucchiarone, A., Gnesi, S.: Web Service Composition Approaches: From Industrial Standards to Formal Methods. In: Proc. Int. Conf. Internet and Web Applications and Services, pp. 15–20 (2007)

    Google Scholar 

  3. Bultan, T., Su, J., Fu, X.: Analyzing conversations of web services. IEEE Internet Computing 10(1), 18–25 (2006)

    Article  Google Scholar 

  4. van der Aalst, W.M.P., Dumas, M., Ouyang, C.: A conformance checking of service behavior. Tran. on Internet Technology 8(3), 1–30 (2008)

    Article  Google Scholar 

  5. Xiong, P.C., Zhou, M.H., Pu, C.: A Petri Net Siphon Based Solution to Protocol-level Service Composition Mismatches. In: Proc. IEEE Int. Conf. Web Services, pp. 952–958 (2009)

    Google Scholar 

  6. Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  7. Ahamed, S.I., Sharmin, M.: A trust-based secure service discovery (TSSD) model for pervasive computing. Computer Communications 31(18), 4281–4293 (2008)

    Article  Google Scholar 

  8. Avizienis, A., Laprie, J.C., Randell, B.: Basic concepts and taxonomy of dependable and secure computing. IEEE Tran. Dependable and Secure Computing 1(1), 11–33 (2004)

    Article  Google Scholar 

  9. Ran, S.: A model for Web services discovery with QoS. ACM SIGecom Exchanges 4(1), 1–10 (2003)

    Article  Google Scholar 

  10. Fan, G.S., Yu, H.Q., Chen, L.Q., Liu, D.M.: Analyzing Reliability of Time Constrained Service Composition. In: Proc. IEEE/ACIS Int. Conf. Computer and Information Science, pp. 1155–1160 (2009)

    Google Scholar 

  11. Salaun, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on Web services using process algebra. In: Proc. IEEE Int. Conf. Web Services, pp. 43–50 (2004)

    Google Scholar 

  12. Ferrara, A.: Web services: a process algebra approach. In: Proc. Int. conf. Service Oriented Computing, pp. 242–251 (2004)

    Google Scholar 

  13. Hu, J.J., Zhao, X., Cao, Y.D., Zhou, R.T.: A Service Composition Model with Characteristic of Transaction based on Finite State Machine. In: Proc. Int. Conf. Computer and Electrical Engineering, pp. 450–454 (2008)

    Google Scholar 

  14. Farahbod, R., Glasser, U., Vajihollahi, M.: An abstract machine architecture for web service based business process management. Int. J. Business Process Integration and Management 1(4), 279–291 (2006)

    Article  Google Scholar 

  15. Tan, W., Rao, F., Fan, Y., Zhu, J.: Compatibility analysis and mediation-aided composition for BPEL services. In: Kotagiri, R., Radha Krishna, P., Mohania, M., Nantajeewarawat, E. (eds.) DASFAA 2007. LNCS, vol. 4443, pp. 1062–1065. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  17. Yang, Y.P., Tan, Q.P., Xiao, Y., Liu, F.: Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol. 3841, pp. 275–284. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, 200237, China

    Guisheng Fan, Huiqun Yu & Dongmei Liu

  2. Shanghai Key Laboratory of Computer Software, Evaluating and Testing, Shanghai, 201112, China

    Guisheng Fan & Huiqun Yu

  3. Department of Computer Science and Information Engineering, Shanghai Institute of Technology, Shanghai, 200235, China

    Liqiong Chen

Authors
  1. Guisheng Fan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huiqun Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Liqiong Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dongmei Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Facultad de Informática, Dpto. de Inteligencia Artificial, Ontology Engineering Group, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Boadilla del Monte, Madrid

    Asunción Gómez-Pérez

  2. Shanghai Jiao Tong University, 200030, Shanghai, China

    Yong Yu

  3. Indiana University, USA

    Ying Ding

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fan, G., Yu, H., Chen, L., Liu, D. (2009). An Approach to Analyzing Dynamic Trustworthy Service Composition. In: Gómez-Pérez, A., Yu, Y., Ding, Y. (eds) The Semantic Web. ASWC 2009. Lecture Notes in Computer Science, vol 5926. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10871-6_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-10871-6_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-10870-9

  • Online ISBN: 978-3-642-10871-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation