Summary
UML has been the de facto specification language for software design, using the object-oriented approach in particular. However, components in UML are mostly presented as graphical diagrams that are informal and often lead to different interpretations. Although formal methods exist for UML specification, most of which are semi-formal or rely on another high-level language to describe the UML components. In this paper, we give a formal specification for the core UML, the class and state diagrams using the basic predicate logic and set notations. The goal is to provide a precise definition for object-oriented software.
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
Uml 2.0 OCL specification. OMG ptc/03-10-14, OMG (2003)
Boehm, B.W.: A spiral model of software development and enhancement. IEEE Computer 21(5), 61–72 (1988)
Booch, G.: Object-Oriented Design with Applications. Ada and software engineering. Benjamin/Cummings (1991)
Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding UML: A formal semantics of concurrency and communication in real-time uml. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 71–98. Springer, Heidelberg (2003)
Damm, W., Josko, B., Votintseva, A., Pnueli, A.: A formal semantics for a uml kernel language, IST/33522/wp 1.1/D1.1.2, OMEGA (2003)
D’Souza, D., Cameron, A.: Catalysis: Objects, Frameworks and Components in UML. Addison-Wesley, Reading (1997)
Fowler, M., Scott, K.: UML Distilled: Applying the Standard Object Modeling Language. Addison-Wesley, Reading (1998)
Object Management Group. Unified modeling language: Infrustrcture, version 2.0. Technical report, OMG (2003)
Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1989)
Polack, R., Laleau, F.: A rigorous metamodel for UML static conceptual modelling of information systems. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 71–98. Springer, Heidelberg (2001)
Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic, Dordrecht (2000)
Stevens, P., Pooley, R.: Using UML Software Engineering with Objects and Components, 2nd edn. Addison-Wesley, Reading (2006)
Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hu, G. (2008). A Formal Specification of UML Class and State Diagrams. In: Lee, R. (eds) Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Studies in Computational Intelligence, vol 149. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70560-4_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-70560-4_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70559-8
Online ISBN: 978-3-540-70560-4
eBook Packages: EngineeringEngineering (R0)