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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Bultan, T., Su, J., Fu, X.: Analyzing conversations of web services. IEEE Internet Computing 10(1), 18–25 (2006)
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)
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)
Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)
Ahamed, S.I., Sharmin, M.: A trust-based secure service discovery (TSSD) model for pervasive computing. Computer Communications 31(18), 4281–4293 (2008)
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)
Ran, S.: A model for Web services discovery with QoS. ACM SIGecom Exchanges 4(1), 1–10 (2003)
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)
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)
Ferrara, A.: Web services: a process algebra approach. In: Proc. Int. conf. Service Oriented Computing, pp. 242–251 (2004)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)