AUTHORS: Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh

Download as PDF

ABSTRACT: We present a tool that is able to discover stateful web services in a database, ranked according to a similarity score expressing the affinities between each service and a user-submitted query. To determine these affinities, we also take behavior into account, both of the user’s query and of the services. The names of service operations, their order of invocation, and their parameters may differ from those required by the user’s query, so long as they collectively represent similar behavior. We introduce a light extension of WSDL, namely BWSDL to describe the behavior of web services as well, then we develop a GUI to ease this kind of service specification. We use soft constraints to formalize the requirements that a user expresses in her query. We argue that a proper formalization of the behavior of many services that are commonly thought of as stateless, in fact requires a stateful representation. As such, our method and our tool can accommodate discovery of these services better than alternatives that consider them as stateless. Our tool uses a procedure to asses an approximate operational-similarity score among Soft Constraint Automata, which we use as formal models of behavior. The discovery is modelled as a Constraint Optimization Problem. Finally, we enhance our tool by also considering QoS metrics to further meet user’s needs, and we present a peer-to-peer implementation to overcome scalability issues

KEYWORDS: Weighted argumentation frameworks, Coalition formation, Soft constraint satisfaction problems

REFERENCES:

[1] Afsarmanesh, H., Sargolzaei, M., Shadi, M.: Semi-automated software service integration in virtual organisations. Enterprise Information Systems 9(5-6), 528–555 (2015)

[2] Alonso, G., Casati, F., Kuno, H.A., Machiraju, V.: Web Services - Concepts, Architectures and Applications. Data-Centric Systems and Applications, Springer (2004)

[3] Arbab, F., Koehler, C., Maraikar, Z., Moon, Y., Proenc¸a, J.: Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. Tool demo session at FACS 8 (2008)

[4] Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Recent Trends in Algebraic Development Techniques (WADT) Revised Selected Papers. LNCS, vol. 2755, pp. 34–55. Springer (2002)

[5] Arbab, F., Santini, F.: Preference and similarity-based behavioral discovery of services. In: ter Beek, M.H., Lohmann, N. (eds.) WS-FM. Lecture Notes in Computer Science, vol. 7843, pp. 118–133. Springer (2012)

[6] Arbab, F., Santini, F., Bistarelli, S., Pirolandi, D.: Towards a similarity-based web service discovery through soft constraint satisfaction problems. In: Proceedings of the 2nd International Workshop on Semantic Search over the Web, Istanbul, Turkey, August 27, 2012. p. 2. ACM (2012)

[7] Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006)

[8] Baresi, L., Miraz, M., Plebani, P.: A distributed architecture for efficient web service discovery. Service Oriented Computing and Applications 10(1), 1–17 (2016)

[9] Benbernou, S., Canaud, E., Pimont, S.: Semantic web services discovery regarded as a constraint satisfaction problem. In: Flexible Query Answering Systems, 6th International Conference. LNCS, vol. 3055, pp. 282–294. Springer (2004)

[10] Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)

[11] Brafman, R., Domshlak, C.: Preference handling-an introductory tutorial. AI magazine 30(1), 58 (2009)

[12] Changizi, B., Kokash, N., Arbab, F.: A Unified Toolset for Business Process Model Formalization. In: Proceedings of FESCA 2010 (2010)

[13] Cheatham, M., Hitzler, P.: String similarity metrics for ontology alignment. In: The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference. Lecture Notes in Computer Science, vol. 8219, pp. 294–309. Springer (2013)

[14] Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web services description language (wsdl) version 2.0 part 1: Core language. W3C recommendation 26, 19 (2007)

[15] Dezani-Ciancaglini, M., DeLiguoro, U.: Sessions and session types: an overview. In: Web Services and Formal Methods, pp. 1–28. Springer (2010)

[16] Dezani-Ciancaglini, M., Padovani, L., Pantovic, J.: Session type isomorphisms. In: PLACES. pp. 61–71 (2014)

[17] Dong, X., Halevy, A., Madhavan, J., Nemes, E., Zhang, J.: Similarity search for web services. In: Proceedings of Very large data bases. vol. 30, pp. 372–383. VLDB Endowment (2004)

[18] Dong, X., Halevy, A., Madhavan, J., Nemes, E., Zhang, J.: Similarity search for web services. In: Proceedings of the Thirtieth international conference on Very large data basesVolume 30. pp. 372–383. VLDB Endowment (2004)

[19] Droste, M., Kuich, W., Vogler, H.: Handbook of Weighted Automata. Springer Publishing Company, Incorporated, 1st edn. (2009)

[20] Fox, E.A., Shaw, J.A.: Combination of multiple searches. NIST SPECIAL PUBLICATION SP pp. 243–243 (1994)

[21] Gadducci, F., Holzl, M., Monreale, G.V., Wirs- ¨ ing, M.: Soft constraints for lexicographic orders. In: Mexican International Conference on Artificial Intelligence. pp. 68–79. Springer (2013)

[22] Gadducci, F., Santini, F.: Residuation for bipolar preferences in soft constraints. Inf. Process. Lett. 118, 69–74 (2017)

[23] Gay, S., Fages, F., Martinez, T., Soliman, S., Solnon, C.: On the subgraph epimorphism problem. Discrete Applied Mathematics 162, 214–228 (2014)

[24] Grigori, D., Corrales, J.C., Bouzeghoub, M.: Behavioral matchmaking for service retrieval. In: IEEE International Conference on Web Services (ICWS). pp. 145–152. IEEE Computer Society (2006)

[25] Hau, J., Lee, W., Darlington, J.: A semantic similarity measure for semantic web services. In: Web Service Semantics Workshop at WWW (2005)

[26] Iordache, R., Moldoveanu, F.: A conditional lexicographic approach for the elicitation of qos preferences. In: OTM Confederated International Conferences” On the Move to Meaningful Internet Systems”. pp. 182–193. Springer (2012)

[27] Iosup, A., Sonmez, O., Anoep, S., Epema, D.: The performance of bags-of-tasks in largescale distributed systems. In: Proceedings of the 17th international symposium on High performance distributed computing. pp. 97–108. ACM (2008)

[28] Jarvelin, K., Kek ¨ al¨ ainen, J.: Ir evaluation meth- ¨ ods for retrieving highly relevant documents. In: Proceedings of the 23rd annual international ACM SIGIR conference on Research and development in information retrieval. pp. 41– 48. ACM (2000)

[29] Jongmans, S.S.T.Q., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Automatic code generation for the orchestration of web services with Reo. In: Paoli, F.D., Pimentel, E., Zavattaro, G. (eds.) ESOCC. Lecture Notes in Computer Science, vol. 7592, pp. 1–16. Springer (2012)

[30] Jongmans, S.S.T., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Orchestrating web services using reo: from circuits and behaviors to automatically generated code. Service Oriented Computing and Applications pp. 1–21 (2013)

[31] Kokash, N., Arbab, F.: Formal behavioral modeling and compliance analysis for serviceoriented systems. In: de Boer, F.S., Bonsangue, M.M., Madelain, E. (eds.) FMCO. Lecture Notes in Computer Science, vol. 5751, pp. 21– 41. Springer (2008)

[32] Kokash, N., Arbab, F.: Formal design and verification of long-running transactions with extensible coordination tools. IEEE T. Services Computing 6(2), 186–200 (2013)

[33] Kokash, N., Arbab, F., Changizi, B., Makhnist, L.: Input-output conformance testing for channel-based service connectors. In: Aceto, L., Mousavi, M.R. (eds.) PACO. EPTCS, vol. 60, pp. 19–35 (2011)

[34] Kopecky, J., Gomadam, K., Vitvar, T.: hrests: An html microformat for describing restful web services. In: Web Intelligence and Intelligent Agent Technology, 2008. WI-IAT’08. IEEE/WIC/ACM International Conference on. vol. 1, pp. 619–625. IEEE (2008)

[35] Mariotti, M., Manzini, P., et al.: Choice by lexicographic semiorders. Theoretical Economics 7(1) (2012)

[36] Meng, S., Arbab, F.: QoS-driven service selection and composition using quantitative constraint automata. Fundam. Inform. 95(1), 103– 128 (2009)

[37] Meng, S., Arbab, F.: A model for web service coordination in long-running transactions. In: SOSE. pp. 121–128. IEEE (2010)

[38] Pan, J.Z., Stamou, G., Stoilos, G., Taylor, S., Thomas, E.: Scalable querying services over fuzzy ontologies. In: Proceedings of World Wide Web. pp. 575–584. WWW ’08, ACM, New York, NY, USA (2008)

[39] Plebani, P., Pernici, B.: Urbe: Web service retrieval based on similarity evaluation. IEEE Trans. on Knowl. and Data Eng. 21(11), 1629– 1642 (2009)

[40] Richardson, L., Ruby, S.: RESTful web services. ” O’Reilly Media, Inc.” (2008)

[41] Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Middleware 2001. pp. 329–350. Springer (2001)

[42] le Clement de Saint-Marcq, V., Deville, Y., ´ Solnon, C.: Constraint-based graph matching. In: Gent, I.P. (ed.) CP. Lecture Notes in Computer Science, vol. 5732, pp. 274–288. Springer (2009)

[43] Shen, Z., Su, J.: Web service discovery based on behavior signatures. In: Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01. pp. 279–286. SCC ’05, IEEE Computer Society, Washington, DC, USA (2005)

[44] Toch, E., Gal, A., Reinhartz-Berger, I., Dori, D.: A semantic approach to approximate service retrieval. ACM Trans. Internet Technol. 8(1) (Nov 2007)

[45] Zemni, M.A., Benbernou, S., Carro, M.: A soft constraint-based approach to QoS-aware service selection. In: Service-Oriented Computing - 8th International Conference, ICSOC 2010. LNCS, vol. 6470, pp. 596–602 (2010)

[46] Zimmer, P., Zimmer, M., Zimmer, B.: Fizzim an open-source fsm design environment. Enterprise Information Systems 9(5-6), 528–555 (2014)

[47] Zisman, A., Dooley, J., Spanoudakis, G.: Proactive runtime service discovery. In: Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 1. pp. 237–245. SCC ’08, IEEE Computer Society, Washington, DC, USA (2008)