nach oben

Erschienen in:

2016 | OriginalPaper | Buchkapitel

Efficient Constraint Verification in Service Composition Design and Execution (Short Paper)

verfasst von : Touraj Laleh, Joey Paquet, Serguei A. Mokhov, Yuhong Yan

Erschienen in: On the Move to Meaningful Internet Systems: OTM 2016 Conferences

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Most methods that have been proposed to solve the problem of web service composition only consider input and output parameters of services in order to solve the composition problem. However, there are other factors that affect composition and execution of composite services such as constraints. Constraints can be used to express customer requirements on services features. Additionally, most real-world web services have constraints that specify their limitations and use restrictions. Constraint verification has significant impact on composition and execution of composite services. In particular, run time verification of service constraints can result in the failure of the execution of composite services and eventually waste computational resources. Such failures can not always be predicted as the verification of some services depends on execution effects of other services inside a composite plan. In this paper, we focus on verification of constraints during the composition and execution of composite services.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Energy Efficient Configurable Resource Allocation in Cloud-Based Business Processes (Short Paper)

Nächstes Kapitel Exploratory Search of Web Data Services (Short Paper)

Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Proceedings of the 14th Australasian Database Conference vol. 17, pp. 191–200. Australian Computer Society, Inc. (2003)

Lécué, F., Léger, A.: A formal model for semantic web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 385–398. Springer, Heidelberg (2006). doi:10.1007/11926078_28 CrossRef

Berardi, D., Calvanese, D., Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003). doi:10.1007/978-3-540-24593-3_4 CrossRef

Oh, S.C., Lee, D., Kumara, S.R.: Effective web service composition in diverse and large-scale service networks. Serv. Comput. IEEE Trans. 1(1), 15–32 (2008)CrossRef

Zheng, X., Yan, Y.: An efficient syntactic web service composition algorithm based on the planning graph model. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2008), pp. 691–699. IEEE (2008)

Hashemian, S.V., Mavaddat, F.: A graph-based approach to web services composition. In: The 2005 Symposium on Applications and the Internet, pp. 183–189, January 2005

Wang, P., Ding, Z., Jiang, C., Zhou, M.: Constraint-aware approach to web service composition. IEEE Trans. Syst. Man Cybern. Syst. 44(6), 770–784 (2014)CrossRef

Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43–54. Springer, Heidelberg (2005). doi:10.1007/978-3-540-30581-1_5 CrossRef

McIlraith, S., Son, T.C.: Adapting golog for composition of semantic web services. KR 2, 482–493 (2002)

10.

Oh, S.C., Lee, D., Kumara, S.R.T.: Web service planner (wspr): An effective and scalable web service composition algorithm. Int. J. Web Serv. Res. 4(1), 1–22 (2007)CrossRef

11.

Ponnekanti, S.R., Fox, A.: Sword: A developer toolkit for web service composition. In: Proceedings of the Eleventh International World Wide Web Conference, Honolulu, HI. vol. 45 (2002)

12.

Aggarwal, R., Verma, K., Miller, J., Milnor, W.: Constraint driven web service composition in meteor-s. In: Services Computing, pp. 23–30, Sept 2004

13.

Channa, N.: Constraint satisfaction in dynamic web service composition. In: Sixteenth International Workshop on Database and Expert Systems Applications Proceedings, pp. 658–664. IEEE (2005)

14.

Moghaddam, A., Davis, J.G.: Service selection in web service composition: a comparative review of existing approaches. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Serv. Found., pp. 321–346. Springer, Heidelberg (2014)CrossRef

15.

Ben Hassine, A., Matsubara, S., Ishida, T.: A constraint-based approach to horizontal web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 130–143. Springer, Heidelberg (2006). doi:10.1007/11926078_10 CrossRef

16.

Papazoglou, M.: Web services: principles and technology. Pearson Education, Englewood Cliffs (2008)

17.

Lee, C.: On quality of service optimization with discrete qos options. In: Real-Time Technology and Applications Symposium, pp. 276–286. IEEE (1999)

18.

Li, J., Yan, Y., Lemire, D.: Full solution indexing for top-k web service composition

Titel: Efficient Constraint Verification in Service Composition Design and Execution (Short Paper)
verfasst von: Touraj Laleh
Joey Paquet
Serguei A. Mokhov
Yuhong Yan
Verlag: Springer International Publishing
Buch: On the Move to Meaningful Internet Systems: OTM 2016 Conferences
Print ISBN: 978-3-319-48471-6

Electronic ISBN: 978-3-319-48472-3

Copyright-Jahr: 2016
DOI: https://doi.org/10.1007/978-3-319-48472-3_26

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"