Abstract
Model executability is widely considered an important enabling factor for model driven development. However, executability of Unified Modeling Language (UML) models tends to imply quite a low level of abstraction, which causes executable models to resemble diagrammatically structured program code. In this article, a UML profile that enables executable specification-level modeling using an incremental approach is proposed. The profile employs the Object Constraint Language (OCL) with multi-object joint actions to declaratively specify behavior on a higher level of abstraction than sequences of messages between objects. A nondeterministic mode of execution removes the need for explicit control flow, greatly simplifying the models. A variant of superposition is used to construct specification models incrementally, utilizing aspect-oriented layers, and preserving safety properties. The proposed mechanism also aims at bridging the gap between use cases and design level specifications. As the profile is based on ideas taken from the DisCo modeling language, originally designed for formal specification of reactive systems, there is a straight-forward mapping that enables use of existing DisCo tools for animation, verification and synthesis. A running example is presented to illustrate the use of the proposed approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aaltonen, T., Katara, M., Pitkänen, R.: DisCo toolset – the new generation. Journal of Computer Science 7(1), 33–38 (2001)
Alanen, M., Porres, I.: Difference and Union of Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 3–17. Springer, Heidelberg (2003)
Clarke, S.: Composing Design Models: An Extension to UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 338–352. Springer, Heidelberg (2000)
Clarke, S., Harrison, W., Ossher, H., Tarr, P.: Subject-Oriented Design: Towards Improved Alignment of Requirements, Design and Code. In: Proc. of OOPSLA 1999, Denver, Colorado, USA, pp. 325–339 (1999)
The DisCo Home Page (2004), On-line at http://disco.cs.tut.fi
D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: the Catalysis Approach. Addison-Wesley, Reading (1999)
Grieskamp, W., Lepper, M.: Using Use Cases in Executable Z. In: Proc. of ICFEM 2000, pp. 111–120 (2000)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)
Järvinen, H.-M., Kurki-Suonio, R.: DisCo specification language: marriage of actions and objects. In: Proc. of ICDCS 1991, pp. 142–151 (1991)
Katara, M., Katz, S.: Architectural Views of Aspects. In: Proc. of the 2nd AOSD, Boston, MA, USA, pp. 1–10 (2003)
Kellomäki, P.: Verification of Reactive Systems Using DisCo and PVS. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313, pp. 589–604. Springer, Heidelberg (1997)
Kennedy Carter Ltd: Supporting Model Driven Architecture with Executable UML. Technical note (2002), On-line at http://www.kc.com
Kurki-Suonio, R.: Action systems in incremental and aspect oriented modeling. Distributed Computing 16, 201–217 (2003)
Li, X., Liu, Z., He, J.: Formal and Use-Case Driven Requirement Analysis in UML. In: Proc. of COMPSAC 2001, Chicago, USA, October 2001, pp. 215–224 (2001)
Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley, Reading (2002)
The Object Management Group: UML 1.4 with Action Semantics, Final Adopted Specifi-cation (January 2002), On-line at http://www.omg.org/uml/
The Object Management Group: MDA Guide, version 1.0.1. OMG (2003), On-line at http://www.omg.org/mda/
The Object Management Group: UML 2.0 Superstructure Specification, OMG Adopted Specification ptc/03-08-02 (August 2003), On-line at http://www.omg.org/uml/
Oliver, I., Kent, S.: Validation of Object Oriented Models using Animation. In: Proc. of EUROMICRO (1999), On-line at http://www.cs.kent.ac.uk/pubs/1999/755/
Peltonen, J., Selonen, P.: An Approach and a Platform for Building UML Model Processing Tools. In: Proc. of WoDiSEE 2004, Edinburgh, UK, pp. 51–57 (2004)
Pitkänen, R.: A Specification-Driven Approach to Development of Enterprise Systems. In: Proc. of NWPER 2004, Turku, Finland (August 2004) (to appear)
Selonen, P.: Set Operations for the Unified Modeling Language. In: Proc. of SPLST 2003, Kuopio, Finland, pp. 70–81 (2003)
Sunyé, G., Pennaneac’h, F., Ho, W.-M., Le Guennec, A., Jézéquel, J.-M.: Using UML Action Semantics for executable modeling and beyond. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 433–447. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pitkänen, R., Selonen, P. (2004). A UML Profile for Executable and Incremental Specification-Level Modeling. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds) «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications. UML 2004. Lecture Notes in Computer Science, vol 3273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30187-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-30187-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23307-7
Online ISBN: 978-3-540-30187-5
eBook Packages: Springer Book Archive