Abstract
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.
This paper is partly supported by the SPICE project, IST Contract No. 027617.
Chapter PDF
Similar content being viewed by others
Keywords
References
Box, D.: A guide to developing and running connected systems with indigo. MSDN Magazine 19(1) (January 2004)
Bræk, R.: Using roles with types and objects for service development. In: Yongchareon, T., Aagesen, F.A., Wuwongse, V. (eds.) SMARTNET. IFIP Conference Proceedings, vol. 160, pp. 265–278. Kluwer, Dordrecht (1999)
Bræk, R., Melby, G.: Model-Driven Service Engineering. In: Model-Driven Software Development. Part III, pp. 385–401. Springer, Heidelberg (2005)
Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River (2005)
Erl, T.: A W3C Web Services Glossary (March 2007), http://www.ws-standards.com/glossary.asp
Floch, J., Bræk, R.: ICT convergence: Modeling issues. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 237–256. Springer, Heidelberg (2005)
Parlay Group. Parlay X Web Services Specification, Version 2.1 - Short Messaging (2006), http://www.parlay.org/en/specifications/pxws.asp
Holzmann, G.J.: The SPIN model checker: Primer and reference manual. Addison-Wesley, Reading (2004)
Kraemer, F.A., Herrmann, P., Bræk, R.: Aligning UML 2.0 state machines and temporal logic for the efficient execution of services. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4276, pp. 1613–1632. Springer, Heidelberg (2006)
Kraemer, F.A., Samset, H.: Ramses User Guide. Avantel Technical Report 1/2006. Technical report, Department of Telematics, NTNU, Trondheim, Norway (2006)
Mencl, V.: Specifying component behavior with port state machines. Electronic Notes in Theoretical Computer Science 101C, 129–153 (2004); In: de Boer, F., Bonsangue, M. (eds.) Proceedings of the Workshop on the Compositional Verification of UML Models CVUML
Moreau, J.-J., Weerawarana, S., Ryman, A., Chinnici, R.: Web services description language (WSDL) version 2.0 part 1: Core language. W3C recommendation, W3C (June 2007), http://www.w3.org/TR/2007/REC-wsdl20-20070626
Natis, Y., Schulte, R.: Advanced SOA for advanced enterprise projects. Technical report, Gartner Group (2006)
OASIS. Reference Model for Service Oriented Architecture v1.0 (October 2006)
Object Management Group. Unified Modeling Language 2.0 Superstructure Specification (2006)
Quartel, D.A.C., Steen, M.W.A., Pokraev, S., van Sinderen, M.: COSMO: A conceptual framework for service modelling and refinement. Information Systems Frontiers 9(2-3), 225–244 (2007)
Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects: The OOram Software Engineering Method. Prentice-Hall, Englewood Cliffs (1995)
RĂ¶ĂŸler, F., Geppert, B., Gotzhein, R.: Collaboration-based design of SDL systems. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 72–89. Springer, Heidelberg (2001)
RĂ¶ĂŸler, F., Geppert, B., Gotzhein, R.: Cosdl: An experimental language for collaboration specification. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 1–20. Springer, Heidelberg (2003)
Sanders, R.T.: Implementing from SDL. Telektronikk 96(4) (2000) ISSN 0085-7130
Sanders, R.T.: Collaborations, Semantic Interfaces and Service Goals - a new way forward for Service Engineering. PhD thesis, Norwegian University of Science and Technology (NTNU) (2007)
Sanders, R.T., Bræk, R., Bochmann, G., Amyot, D.: Service discovery and component reuse with semantic interfaces. In: 12th SDL Forum, Grimstad, Norway (2005)
Sanders, R.T., CastejĂ³n, H.N., Kraemer, F.A., Bræk, R.: Using UML 2.0 collaborations for compositional service specification. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 460–475. Springer, Heidelberg (2005)
Vissers, C.A., Logrippo, L.: The importance of the service concept in the design of data communications protocols. In: Diaz, M. (ed.) PSTV, pp. 3–17. North-Holland, Amsterdam (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Samset, H., Bræk, R. (2009). Dealing with Active and Stateful Services in the Service-Oriented Architecture. In: Di Nitto, E., Ripeanu, M. (eds) Service-Oriented Computing - ICSOC 2007 Workshops. ICSOC 2007. Lecture Notes in Computer Science, vol 4907. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-93851-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-93851-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-93850-7
Online ISBN: 978-3-540-93851-4
eBook Packages: Computer ScienceComputer Science (R0)