Foundations of the Unified Modeling Language

• DOI: 10.14236/ewic/fa1997.6
• Publication Date: 2019-10-01T01:49:33Z
• Authors: Tony Clark; Andy Evans
• Keywords: Object Constraint Language; Formal semantics (linguistics); Modeling language

Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks precisely defined semantics. This means that it difficult to determine whether consistent, modification correct program correctly implements design. Formal methods provide rigor which lacking notations. provision often at expense of clarity exposition non-expert. aim use mathematical techniques order allow activities be defined, checked ultimately automated. paper aims overview work being undertaken (a sub-set of) with formal semantics will facilitate process by allowing steps checked.