The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - Jan.-March (2012 vol.5)
pp: 72-85
Christian Gierds , Humbolt-Universität zu Berlin, Berlin
Arjan J. Mooij , Technische Universiteit Eindhoven, Eindhoven
Karsten Wolf , Universität Rostock, Rostock
ABSTRACT
Service-oriented computing aims to create complex systems by composing less-complex systems, called services. Since services can be developed independently, the integration of services requires an adaptation mechanism for bridging any incompatibilities. Behavioral adapters aim to adjust the communication between some services to be composed in order to establish proper interaction between them. We present a novel approach for specifying such adapters, based on domain-specific transformation rules that reflect the elementary operations that adapters can perform. We also present a novel way to synthesize complex adapters that adhere to these rules, viz., by consistently separating data and control, and by using existing controller-synthesis algorithms. Our approach has been implemented, and we discuss some example applications, including real business processes in WS-BPEL.
INDEX TERMS
Services composition, web services interoperability, service integration.
CITATION
Christian Gierds, Arjan J. Mooij, Karsten Wolf, "Reducing Adapter Synthesis to Controller Synthesis", IEEE Transactions on Services Computing, vol.5, no. 1, pp. 72-85, Jan.-March 2012, doi:10.1109/TSC.2010.57
REFERENCES
[1] M. Papazoglou, Web Services: Principles and Technology. Pearson Prentice Hall, July 2007.
[2] C. Ouyang, H. Verbeek, W. van der Aalst, S. Breutel, M. Dumas, and A. ter Hofstede, "Formal Semantics and Analysis of Control Flow in WS-BPEL," Science of Computer Programming, vol. 67, nos. 2/3, pp. 162-198, 2007.
[3] S. Moser, A. Martens, M. Häbich, and J. Müller, "A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes," Proc. Int'l Conf. Business Process Management (BPM), pp. 458-464, 2006.
[4] N. Lohmann, "A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.," Proc. Int'l Conf. Web Services and Formal Methods (WS-FM), pp. 77-91, 2007.
[5] N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, "Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation," Data & Knowledge Eng., vol. 64, no. 1, pp. 38-54, 2008.
[6] N. Lohmann and J. Kleine, "Fully-Automatic Translation of Open Workflow Net Models into Human-Readable Abstract BPEL Processes," Proc. Modellierung, pp. 57-72, 2008.
[7] E. Kindler, "A Compositional Partial Order Semantics for Petri Net Components," Proc. Int'l Conf. Application and Theory of Petri Nets (ATPN), pp. 235-252, 1997.
[8] P. Massuthe, W. Reisig, and K. Schmidt, "An Operating Guideline Approach to the SOA," Annals of Math., Computing & Teleinformatics, vol. 1, no. 3, pp. 35-43, 2005.
[9] A. Mooij and M. Voorhoeve, "Trading Off Concurrency to Generate Behavioral Adapters," Proc. Ninth Int'l Conf. Application of Concurrency to System Design (ACSD), pp. 109-118, 2009.
[10] A. Martens, "Analyzing Web Service Based Business Processes," Proc. Int'l Conf. Fundamental Approaches to Software Eng. (FASE), Apr. 2005.
[11] K. Schmidt, "Controllability of Open Workflow Nets," Proc. Workshop Enterprise Modelling and Information Systems Architectures, pp. 236-249, 2005.
[12] N. Lohmann, P. Massuthe, and K. Wolf, "Operating Guidelines for Finite-State Services," Proc. Int'l Conf. Applications and Theory of Petri Nets and Other Models of Concurrency (ATPN), pp. 321-341, 2007.
[13] P. Massuthe and K. Wolf, "An Algorithm for Matching Non-Deterministic Services with Operating Guidelines," Int. J. Business Process Integration and Management, vol. 2, no. 2, pp. 81-90, 2007.
[14] N. Lohmann and D. Weinberg, "Wendy: A Tool to Synthesize Partners for Services," Proc. Int'l Conf. Applications and Theory of Petri Nets (ATPN), June 2010.
[15] A. Martens and S. Moser, "Diagnosing SCA Components Using Wombat," Proc. Int'l Conf. Business Process Management (BPM), pp. 378-388, 2006.
[16] E. Badouel and P. Darondeau, "Theory of Regions," Lectures on Petri Nets I: Basic Models, pp. 529-586, Springer, 1996.
[17] J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, "Deriving Petri Nets from Finite Transition Systems," IEEE Trans. Computers, vol. 47, no. 8, pp. 859-882, Aug. 1998.
[18] J. Carmona, J. Cortadella, and M. Kishinevsky, "Genet: A Tool for the Synthesis and Mining of Petri Nets," Proc. Ninth Int'l Conf. Application of Concurrency to System Design (ACSD), pp. 181-185, 2009.
[19] B. Benatallah, F. Casati, D. Grigori, H.R. Motahari Nezhad, and F. Toumani, "Developing Adapters for Web Services Integration," Proc. Int'l Conf. Advanced Information System Eng. (CAiSE), pp. 415-429, 2005.
[20] A. Bracciali, A. Brogi, and C. Canal, "A Formal Approach to Component Adaptation." J. Systems and Software, vol. 74, no. 1, pp. 45-54, 2005.
[21] A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, "Formalizing Web Service Choreographies," Electronic Notes in Theoretical Computer Science, vol. 105, pp. 73-94, 2004.
[22] M. Dumas, M. Spork, and K. Wang, "Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation," Proc. Int'l Conf. Business Process Management (BPM), pp. 65-80, 2006.
[23] H. Motahari Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, "Semi-Automated Adaptation of Service Interactions," Proc. 16th Int'l Conf. World Wide Web (WWW), pp. 993-1002, 2007.
[24] A. Brogi and R. Popescu, "Automated Generation of BPEL Adapters," Proc. Int'l Conf. Service-Oriented Computing (ICSOC), pp. 27-39, 2006.
[25] E. Rahm and P. Bernstein, "A Survey of Approaches to Automatic Schema Matching," Int'l J. Very Large Data Bases, vol. 10, no. 4, pp. 334-350, 2001.
[26] J. Martín and E. Pimentel, "Automatic Generation of Adaptation Contracts," Electronic Notes in Theoretical Computer Science, vol. 229, no. 2, pp. 115-131, July 2009.
[27] T. Murata, "Petri Nets: Properties, Analysis and Applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[28] C. Gierds, A. Mooij, and K. Wolf, Specifying and Generating Behavioral Service Adapters Based on Transformation Rules. Institut fur Informatik, 2008.
[29] A. Brogi, C. Canal, and E. Pimentel, "On the Semantics of Software Adaptation," Science of Computer Programming, vol. 61, pp. 136-151, 2006.
[30] K. Wolf, "Does My Service Have Partners?" Trans. Petri Nets and Other Models of Concurrency, vol. 2, pp. 153-171, 2009.
[31] P. Massuthe, A. Serebrenik, N. Sidorova, and K. Wolf, "Can I Find a Partner? Undecidability of Partner Existence for Open Nets," Information Processing Letters, vol. 108, no. 6, pp. 374-378, 2008.
[32] R. Seguel, R. Eshuis, and P. Grefen, An Overview on Protocol Adapters for Service Component Integration. Beta, Dec. 2008.
[33] A. Kumar and Z. Shan, "Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition," Proc. On the Move to Meaningful Internet Systems Conf. (OTM), pp. 120-138, 2008.
[34] F. Wang, Y. Gao, and M. Zhou, "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets," IEEE Trans. Systems, Man, and Cybernetics, vol. 34, no. 1, pp. 303-308, Feb. 2004.
[35] R. Yu, W. Wu, and C. Hadjicostis, "Comments on 'A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets'," IEEE Trans. Systems, Man, and Cybernetics, Part B, vol. 36, no. 5, pp. 1210-1210, Oct. 2006.
[36] K. Wang, M. Dumas, and C. Ouyang, "The Service Adaptation Machine," Proc. Sixth European Conf. Web Services (ECoWS), pp. 145-154, 2008.
[37] D. Yellin and R. Strom, "Protocol Specifications and Component Adaptors," ACM Trans. Programming Languages and Systems, vol. 19, no. 2, pp. 292-333, 1997.
[38] R. Mateescu, P. Poizat, and G. Salaün, "Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques," Proc. Int'l Conf. Service-Oriented Computing (ICSOC), pp. 84-99, 2008.
[39] C. Canal, P. Poizat, and G. Salaün, "Model-Based Adaptation of Behavioral Mismatching Components," IEEE Trans. Software Eng., vol. 34, no. 4, pp. 546-563, July-Aug. 2008.
[40] J. Cámara, J. Martín, G. Salaün, J. Cubo, M. Ouederni, C. Canal, and E. Pimentel, "Itaca," Proc. Int'l Conf. Software Eng. (ICSE), pp. 627-630, 2009.
[41] S. Beauche and P. Poizat, "Automated Service Composition with Adaptive Planning," Proc. Int'l Conf. Service-Oriented Computing (ICSOC), pp. 530-537, 2008.
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool