Analyzing Compatibility of Services via Resource Conformance

• Autorzy: Lomazova, I. A. , Romanov, I. V.
• Języki publikacji: EN

Abstrakty

EN

In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources, produced/consumed by two services-a necessary condition for the service compatibility. Resources, which are produced/consumed by a service, are represented as a multiset language. We define an algebra of multiset languages and present algorithms for checking conformance of resources for two given well-structured workflow modules.

Słowa kluczowe

EN

software compatibility; conformance testing; workflow software; Petri nets; computer systems; programming languages

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 128, nr 1-2
• Strony: 129--141
• Opis fizyczny: Bibliogr. 19 poz., rys.

Twórcy

autor

Lomazova, I. A.

• National Research University Higher School of Economics, Moscow, 101000, Russia,

autor

Romanov, I. V.

• National Research University Higher School of Economics, Moscow, 101000, Russia,

Bibliografia

• [1] W. van der Aalst and K. van Hee. Workflow Management: Models, Methods and Systems MIT Press, 2002.
• [2] W. van der Aalst, K. van Hee, A. ter Hofstede, N. Sidorova, et al. Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing, vol. 23(3), pp. 333-363, 2011.
• [3] W. van der Aalst, K. van Hee, P. Massuthe, N. Sidorova, et al. Compositional Service Trees. In Proc. 30th Int. Conf. Application and Theory of Petri Nets, 2009, vol. 5606 of LNCS, pp. 283-302. Springer, 2009.
• [4] V. A. Bashkin and I. A. Lomazova. Resource equivalence in workflow nets. In Proc. CS&P’2006 Workshop. Volume 1, Humboldt-Universität zu Berlin, pp. 80-91, 2006.
• [5] H. S. Chae, J.-S. Lee, and J. Bae. An approach to checking behavioral compatibility between Web services. Int. J. Softw. Eng. Knowl. Eng., vol. 18, no. 2, pp. 223241, 2008.
• [6] A. Cheng, J. Esparza, and J. Palsberg. Complexity results for 1-safe nets. In vol. 761 of LNCS, pp. 326-337, 1993.
• [7] X. Gong. Formal analysis of services compatibility. In Computer Software and Applications Conference, 2009, vol. 2, pp. 243-248. Seattle, WA, 2009.
• [8] K. van Hee, A. Serebrenik, N. Sidorova and M. Voorhoeve. Soundness of resource-constrained workflow nets. In Proc. 26th Int. Conf. Application and Theory of Petri Nets, 2005, vol. 3536 of LNCS, pp. 250-267. Springer, 2005.
• [9] K. van Hee, A. Mooij, N. Sidorova, J. Martijn, E. van der Werf. Soundness-Preserving Refinements of Service Compositions. In Web Services and Formal Methods - 7th Int. Workshop, WS-FM 2010, vol. 6551 of LNCS, pp. 131-145. Springer, 2011.
• [10] M. Kudlek, C. .Martin Vide, Gh. Paun. Towards FMT (Formal Macroset Theory). In Multiset Processing, vol. 2235 of LNCS, pp. 123-133. Springer, 2001.
• [11] M. Kudlek, V. Mitrana. Closure properties of multiset languages. Fundamenta Informaticae, Vol. 49, Nr. 1-3, pp. 191-203.2002.
• [12] X. Li, Y. Fan, Q.Z. Sheng, Z. Maamar, and H. Zhu, A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Vol. 41, No. 3, pp. 510-521, 2011.
• [13] I. A. Lomazova. Interacting workflow nets for workflow process re-engineering. Fundamenta Informaticae, vol. 101(1-2), pp. 59-70, 2010.
• [14] A. Martens. Analyzing Web service based on business processes. In Proc. Int. Conf. on Fundamental Approaches to Software Engineering, 2005, vol. 3442 of LNCS, pp. 19-33. Springer, 2005.
• [15] P. Massuthe, W. Reisig, and K. Schmidt. An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics, vol. 1(3), pp. 35-43, 2005
• [16] G. Salaun, L. Bordeaux, and M. Schaerf. Describing and reasoning on web services using process algebra. International Journal of Business Process Integration and Management, vol. 1(2), pp. 116-128, 2006.
• [17] C. Stahl. Service substitution – a behavioral approach based on Petri nets. PhD Thesis, Eindhoven: Technische Universiteit Eindhoven, 2009.
• [18] W. Tan, Y. Fan, and M. Zhou. A Petri net-based method for compatibility analysis and composition of Web services in Business Process Execution Language. IEEE Trans. Autom. Sci. Eng., vol. 6(1), pp. 94-106, 2009.
• [19] P. Xiong. A Petri Net Approach to Analysis and Composition of Web Services Systems, Man and Cybernetics, Part A: Systems and Humans, vol. 40, pp. 376-387, 2010.