Abstract
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service composition those behavioural requirements may be continually changing. This paper shows how the behavioural requirements in abstract service definitions (roles) can be dynamically and incrementally defined using constraints. These constraints are then used to generate finite state automata, which are used to check the compatibility of candidate services that have their behaviour expressed in static interface descriptions such as OWL-S.
This is a preview of subscription content, log in via an institution to check access.
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
Ankolekar, A., Martin, D., McGuinness, D., McIlraith, S., Paolucci, M., Parsia, B.: OWL-S’ relationship to selected other technologies. [Online]: http://www.w3.org/Submission/2004/SUBM-OWL-S-related-20041122/
Beugnard, A., et al.: Making components contract aware. IEEE Computer 32, 38–45 (1999)
Colman, A., Han, J.: Using role-based coordination to achieve software adaptability. Science of Computer Programming 64, 223–245 (2007)
Jaeger, M.C., et al.: Ranked Matching for Service Descriptions using OWL-S. In: KiVS 2005. Kommunikation in verteilten Systemen, pp. 91–102. Springer, Heidelberg (2005)
Jin, Y., Han, J.: Consistency and interoperability checking for component interaction rules. In: Proc. of the 12th Asia-Pacific Software Engineering Conference, pp. 595–602 (2005)
Mindswap: Mindswap OWL-S API. [Online]: http://www.mindswap.org/2004/owl-s/api/
Mokhtar, S.B., Georgantas, N., Issarny, V.: COCOA: Conversation-based service composition for pervasive computing environments. In: ICPS 2006. Proc. of International Conference on Pervasive Services, France, pp. 29–38 (2006)
Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)
Pham, L.D., Colman, A., Schneider, J.-G.: Dynamic protocol aggregation and adaptation for service oriented computing. In: ASWEC 2007. Proc. of the 18th Australian Software Engineering Conference, pp. 39–48. IEEE Computer Society, Australia (2007)
Yu, J., et al.: Pattern based property specification and verification for service composition. In: Aberer, K., et al. (eds.) WISE 2006. LNCS, vol. 4255, pp. 156–168. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Colman, A., Pham, L.D., Han, J., Schneider, JG. (2008). Towards Dynamic Matching of Business-Level Protocols in Adaptive Service Compositions. In: ter Hofstede, A., Benatallah, B., Paik, HY. (eds) Business Process Management Workshops. BPM 2007. Lecture Notes in Computer Science, vol 4928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78238-4_51
Download citation
DOI: https://doi.org/10.1007/978-3-540-78238-4_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78237-7
Online ISBN: 978-3-540-78238-4
eBook Packages: Computer ScienceComputer Science (R0)