Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services

The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services are encapsulated and published as black-box components accessible to service consumers following the principles of component-based design. This however restricts the flexibility and adaptability of Web services to react to changing requirements, which are commonplace today, especially in the emerging smart Internet and smart interactions domain. In this chapter, we propose a grey-box approach to compose and evolve Web services to increase their flexibility and adaptability. By exposing the services' internal state changes at runtime as events, our approach allows services involved in service compositions to share and consume events from partner services, and make use of these events to evolve and adapt their behavior. This approach is illustrated in two case studies.

[1]  Mira Mezini,et al.  Engineering Event-Based Systems with Scopes , 2002, ECOOP.

[2]  Dennis Shasha,et al.  Filtering algorithms and implementation for very fast publish/subscribe systems , 2001, SIGMOD '01.

[3]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[4]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[5]  Hans-Arno Jacobsen,et al.  Composite Subscriptions in Content-Based Publish/Subscribe Systems , 2005, Middleware.

[6]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[7]  Gustavo Alonso,et al.  Eventizing Applications in an Adaptive Middleware Platform , 2005, IEEE Distributed Syst. Online.

[8]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[9]  Brian Cantwell Smith,et al.  Procedural reflection in programming languages , 1982 .

[10]  Hans-Arno Jacobsen,et al.  A distributed service-oriented architecture for business process execution , 2010, TWEB.

[11]  Hans-Arno Jacobsen,et al.  Distributed automatic service composition in large-scale systems , 2008, DEBS.

[12]  Frank P. Coyle.  Review of 'The power of events: An introduction to complex event processing in distributed enterprise systems,' by David Luckham, Addison Wesley Professional, May 2002 , 2003, UBIQ.

[13]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[14]  Thomas A. Henzinger,et al.  Web service interfaces , 2005, WWW '05.

[15]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[16]  Manfred Broy,et al.  A formal model of services , 2007, TSEM.

[17]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[18]  Klaus R. Dittrich,et al.  The active database management system manifesto: a rulebase of ADBMS features , 1995, SGMD.

[19]  David S. Rosenblum,et al.  Design and evaluation of a wide-area event notification service , 2001, TOCS.

[20]  Hans-Arno Jacobsen,et al.  Automating SLA modeling , 2008, CASCON '08.

[21]  Corina S. Pasareanu,et al.  Assume-Guarantee Verification for Interface Automata , 2008, FM.

[22]  Mike P. Papazoglou,et al.  Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.

[23]  Bernhard Thalheim,et al.  Conceptual Modeling — ER '96 , 1996, Lecture Notes in Computer Science.

[24]  Hans-Arno Jacobsen,et al.  Efficient event-based resource discovery , 2009, DEBS '09.

[25]  Hans-Arno Jacobsen,et al.  SLA-driven business process management in SOA , 2007, CASCON.

[26]  Hans-Arno Jacobsen,et al.  BPM in Cloud Architectures: Business Process Management with SLAs and Events , 2010, BPM.

[27]  Kaisa Sere,et al.  FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings , 2008, FM.

[28]  Boris Magnusson,et al.  ECOOP 2002 — Object-Oriented Programming , 2002, Lecture Notes in Computer Science.

[29]  Michael Schrefl,et al.  Behavior-consistent specialization of object life cycles , 2002, TSEM.