Dealing with Active and Stateful Services in the Service-Oriented Architecture

Services in SOA are typically considered to be of passive nature, providing functionality that solely execute upon invocation. Additionally, stateless services are commonly advocated as a modeling principle of todays SOA style.This paper argues that services could be of an active nature, and that services often involve sessions with stateful behavior. We suggest an approach for modeling active and stateful services, using UML 2 Collaborations and state machines. This forms a behavioral contract, and separates the modeling of service logic from the service implementation, allowing for validating the asserted service behavior using a model checker.

[1]  Rolv Bræk,et al.  Model-Driven Service Engineering , 2005, Model-Driven Software Development.

[2]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[3]  Peter Herrmann,et al.  Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services , 2006, OTM Conferences.

[4]  Peter Fettke.  Unified modeling language 2.0 , 2007 .

[5]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I , 2006, OTM Conferences.

[6]  Vladimir Mencl.  Specifying Component Behavior with Port State Machines , 2004, Electron. Notes Theor. Comput. Sci..

[7]  Jacqueline Floch,et al.  ICT Convergence: Modeling Issues , 2004, SAM.

[8]  Birgit Geppert,et al.  CoSDL: An Experimental Language for Collaboration Specification , 2002, SAM.

[9]  Trygve Reenskaug,et al.  Working with objects - the OOram software engineering method , 1995 .

[10]  Rick Reed,et al.  SDL 2001: Meeting UML , 2001, Lecture Notes in Computer Science.

[11]  Birgit Geppert,et al.  Collaboration-Based Design of SDL Systems , 2001, SDL Forum.

[12]  Frank Alexander Kraemer,et al.  Using UML 2.0 collaborations for compositional service specification , 2005, MoDELS'05.

[13]  Thomas Erl,et al.  Service-Oriented Architecture: Concepts, Technology, and Design , 2005 .

[14]  Francis G. McCabe,et al.  Reference Model for Service Oriented Architecture 1.0 , 2006 .

[15]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[16]  Marten van Sinderen,et al.  COSMO: A conceptual framework for service modelling and refinement , 2007, Inf. Syst. Frontiers.

[17]  Daniel Amyot,et al.  Service Discovery and Component Reuse with Semantic Interfaces , 2005, SDL Forum.

[18]  Luigi Logrippo,et al.  The importance of the service concept in the design of data communications protocols , 1985, PSTV.

[19]  Rolv Bræk.  Using Roles with Types and Objects for Service Development , 1999, SMARTNET.