Wendy : A Tool to Synthesize Partners for Services

• Autorzy: Lohmann N. , Weinberg D.
• Języki publikacji: EN

Abstrakty

EN

Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol needs to be analyzed. A fundamental correctness criterion for a service is the existence of a partner service, formalized in the notion of controllability. In this paper, we introduce Wendy, a Petri net-based tool to synthesize partner services. These partners are valuable artifacts to support the design, validation, verification, and adaptation of services. Furthermore, Wendy can calculate an operating guideline, a characterization of the set of all partners of a service. Operating guidelines can be used in many application scenarios from service brokerage to test case generation. Case studies show that Wendy efficiently performs on industrial service models.

Słowa kluczowe

EN

Wendy; open net; heuristics evaluation

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2011
• Tom: Vol. 113, nr 3/4
• Strony: 295--311
• Opis fizyczny: Bibliogr. 34 poz., wykr.

Twórcy

autor

Lohmann N.

autor

Weinberg D.

• Universität Rostock, Institut für Informatik 18051 Rostock, Germany,

Bibliografia

• [1] Aalst, W. M. P. v. d., Dongen, B. F. v., Günther, C. W., Mans, R. S., de Medeiros, A. K. A., Rozinat, A., Rubin, V., Song, M., Verbeek, H. M. W. E., Weijters, A. J. M. M.: ProM 4.0: Comprehensive Support for real Process Analysis, ICATPN 2007, LNCS 4546, Springer, 2007.
• [2] Aalst, W. M. P. v. d., Hofstede, A. H. M. t.: YAWL: yet another workflow language, Inf. Syst., 30(4), 2005, 245-275.
• [3] Aalst, W. M. P. v. d., Lohmann, N., La Rosa, M., Xu, J.: Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis, BPM 2010, LNCS 6336, Springer-Verlag, 2010.
• [4] Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications, Springer, 2003.
• [5] Bryant, R. E.: Graph-Based Algorithms for Boolean Function Manipulation, IEEE Trans. Computers, C-35(8), 1986, 677-691.
• [6] Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers, Trans. Inf. and Syst., E80-D(3), March 1997, 315-325.
• [7] Decker, G., Overdick, H., Weske, M.: Oryx - An Open Modeling Platform for the BPM Community, BPM 2008, LNCS 5240, Springer, 2008.
• [8] DeRemer, F., Kron, H. H.: Programming-in-the-Large Versus Programming-in-the-Small, IEEE Trans. Software Eng., 2(2), 1976, 80-86.
• [9] Gierds, C., Mooij, A. J., Wolf, K.: Specifying and generating behavioral service adapter based on transformation rules, Preprint CS-02-08, Universität Rostock, Rostock, Germany, 2008.
• [10] Kaschner, K., Lohmann, N.: Automatic Test Case Generation for Interacting Services, ICSOC 2008 Workshops, LNCS 5472, Springer, 2009.
• [11] Liske, N., Lohmann, N., Stahl, C., Wolf, K.: Another Approach to Service Instance Migration, ICSOC 2009, LNCS 5900, Springer, 2009.
• [12] Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 and its Compiler BPEL2oWFN, Informatik-Berichte 212, Humboldt-Universität zu Berlin, Berlin, Germany, August 2007.
• [13] Lohmann, N.: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance, BPM 2008, LNCS 5240, Springer-Verlag, 2008.
• [14] Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0, WS-FM 2007, LNCS 4937, Springer, 2008.
• [15] Lohmann, N.: Why does my service have no partners?, WS-FM 2008, LNCS 5387, Springer-Verlag, 2009.
• [16] Lohmann, N.: service-technology.org/live - Replaying tool experiments in a Web browser, BPM 2010 Demos, 615, CEUR-WS.org, 2010.
• [17] Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation, Data Knowl. Eng., 64(1), 2008, 38-54.
• [18] Lohmann, N., Massuthe, P., Wolf, K.: Behavioral Constraints for Services, BPM 2007, LNCS 4714, Springer-Verlag, 2007.
• [19] Lohmann, N., Massuthe, P., Wolf, K.: Operating Guidelines for Finite-State Services, PETRI NETS 2007, LNCS 4546, Springer, 2007.
• [20] Lohmann, N., Mennicke, S., Sura, C.: The Petri Net API: A collection of Petri net-related functions, AWPN 2010, 643, CEUR-WS.org, 2010.
• [21] Lohmann, N., Weinberg, D.: Wendy: A tool to synthesize partners for services, 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (J. Lilius, W. Penczek, Eds.), 6128, Springer-Verlag, June 2010.
• [22] Lohmann, N., Wolf, K.: How to Implement a Theory of Correctness in the Area of Business Processes and Services, BPM 2010, LNCS 6336, Springer-Verlag, 2010.
• [23] Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA, Annals of Mathematics, Computing & Teleinformatics, 1(3), 2005, 35-43.
• [24] Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I find a Partner? Undecidablity of Partner Existence for Open Nets, Inf. Process. Lett., 108(6), 2008, 374-378.
• [25] Massuthe, P., Weinberg, D.: Fiona: A Tool to Analyze Interacting Open Nets, AWPN 2008, CEUR Workshop Proceedings Vol. 380, CEUR-WS.org, 2008.
• [26] Mcilroy, D.: Mass-produced Software Components, Software Engineering Concepts and Techniques, NATO Science Committee, 1969.
• [27] Papazoglou, M. P.: Agent-oriented technology in support of e-business, Commun. ACM, 44(4), 2001, 71-77.
• [28] Papazoglou, M. P.: Web Services: Principles and Technology, Pearson - Prentice Hall, 2007.
• [29] Ramadge, P., Wonham, W.: The control of discrete-event systems, Proceedings of the IEEE, 77(1), 1989, 81-98.
• [30] Stahl, C., Massuthe, P., Bretschneider, J.: Deciding Substitutability of Services with Operating Guidelines, LNCS ToPNoC, II(5460), 2009, 172-191.
• [31] Szyperski, C.: Component Software-Beyond Object-Oriented Programming, Addison-Wesley and ACM Press, 1998.
• [32] Weinberg, D.: Efficient Controllability Analysis of Open Nets, WS-FM 2008, LNCS 5387, Springer, 2009.
• [33] Wolf, K.: Generating Petri Net State Spaces, PETRI NETS 2007, LNCS 4546, Springer, 2007, Invited lecture.
• [34] Wolf, K.: Does my service have partners?, LNCS ToPNoC, 5460(II), 2009, 152-171.