Abstract
Many applications are evolving towards Service Oriented Architecture (SOA) with technologies such as Web services. Services can be modeled platform independently through UML2 collaborations in the upcoming UML profile for services, SoaML. We observe an increasing need for validation of services. However, such validation is often based on syntactic descriptions of the services and of their interfaces, which are insufficient to ensure that desired liveness properties are satisfied. In this paper, we present a language construct called “milestone” embedded in UML and define its semantics using mythical signals. We show how this interpretation of milestones can be used for liveness analysis and for runtime monitoring of services. The approach is illustrated with a simple bidding service.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Erl, T.: Service-Oriented Architecture - Concepts, Technology, and Design, 6th edn. Prentice Hall, Englewood Cliffs (2006)
W3C, Web Services Description Language (WSDL) Version 2.0 (2006), http://www.w3.org/TR/2006/WD-ws-cdl-10-primer-20060619/
OMG, UML Profile and Metamodel for Services (UPMS) RFP - soa/06-09-09 (2006), http://www.omg.org/cgi-bin/doc?soa/2006-9-9
OMG, Service oriented architecture Modeling Language (SoaML) - ad/2008-08-04 (2008), http://www.omg.org/cgi-bin/doc?ad/08-08-04.pdf
Sanders, R.T., et al.: 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)
Sanders, R.T., Floch, J., Bræk, R.: Dynamic Behaviour Arbitration using Role Negotiation. In: Next Generation Networks. Eunice 2003, Budapest, Hungary (2003)
SIMS - Semantic Interfaces for Mobile Services (2008), http://www.ist-sims.org
Haugen, Ø.: Challenges to UML 2 to describe FIPA Agent protocol. In: ATOP @ AAMOS 2008, Estoril, Portugal (2008)
OMG, UML 2.0 Superstructure Specification, Revised Final Adopted Specification, ptc/04-10-02, Object Management Group, Needham, MA, USA (2004)
Clint, M.: Program Proving: Coroutines. Acta Informatica 2, 50–63 (1973)
Dahl, O.-J.: An approach to Correctness Proofs of SemiCoroutines. In: Blikle, A. (ed.) MFCS 1974. LNCS, vol. 28, pp. 157–174. Springer, Heidelberg (1975)
Gjessing, S., Munthe-Kaas, E.: Trace Based Verification of Parallel Programs with Shared Variables. In: Twenty-Second Annual Hawaii International Conference on System Sciences, Kailua-Kona, HI, USA (1989)
Johnsen, E.B., Owe, O.: Object-Oriented Specification and Open Distributed Systems. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol. 2635. Springer, Heidelberg (2004)
Sanders, R.T., et al.: Service Discovery and Component Reuse with Semantic Interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530. Springer, Heidelberg (2005)
Sanders, R.T.: Collaborations, semantic interfaces and service goals: a way forward for service engineering, Norwegian University of Science and Technology (NTNU), Trondheim (2007), http://www.diva-portal.org/ntnu/abstract.xsql?dbid=1476
Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles, Norwegian University of Science and Technology (NTNU), Trondheim (2003)
Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)
SIMS deliverable D2.1 - Language and Method Guidelines, 1st version (2007), http://www.ist-sims.org/
OMG, Business Motivation Model (BMM) Specification dtc/07-08-03 (2007), http://www.omg.org/docs/dtc/07-08-03.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sanders, R.T., Haugen, Ø. (2008). Milestones: Mythical Signals in UML to Analyze and Monitor Progress. In: Mähönen, P., Pohl, K., Priol, T. (eds) Towards a Service-Based Internet. ServiceWave 2008. Lecture Notes in Computer Science, vol 5377. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89897-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-89897-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89896-2
Online ISBN: 978-3-540-89897-9
eBook Packages: Computer ScienceComputer Science (R0)