Unifying Views of UML

Abstract

We present an approach to embedding a formal method into Rational Unified Process (RUP). The purposes are: (a) to unify different views of UML, (b) to enhance UML with the formal method to improve the quality of software systems; and (c) to support effective use of the formal method for system specification and reasoning with the iterative and incremental approach by providing a unified conceptual framework. One of the main features of RUP is that it is use-case driven and supports iterative development more explicit than other process models, such as the waterfall model. Object-orientation also supports better and more explicitly incremental programming than the traditional imperative programming. These together will help to scale up the use of the formal method in software system development. The model is based on Hoare and He's Unifying Theories of Programming (UTP).

Charaterising Object-Based Frameworks in First-Order Predicate Logic

“…The issue has been addressed partially by the integration of class diagrams and sequence diagrams [36][37][38]. Different views of a model may introduce different kinds of constraints (e.g., timing constraints in sequence diagrams) without having to increase the expressivity of the constraint language.…”

Contract Oriented Development of Component Software

“…The type definitions in fact form a conceptual class diagram , Liu et al, 2004c that is a UML class diagram in which the classes have no methods and the associations have no direction of visibility or navigation. Figure 2 is an example of a conceptual model for a library system.…”

“…It is specified as Please see , Liu et al, 2004b for details on the formalization of UML, and [Liu et al, 2004c] for the semantics of class declarations.…”

“…Figure 2 is an example of a conceptual model for a library system. A UML class diagram can be specified by a class declaration section of an object-oriented program in the object-oriented specification language (OOL) developed in [Liu et al, 2004b, Liu et al, 2004c The public declaration declares the public attributes of the class and their types. Initial values are set when an object is created.…”

“…We will specify the design of a component by giving each operation in the provided interface a program specification text in the object-oriented specification language (OOL) defined in [Liu et al, 2004c]. In calls to operations in a required interface are allowed.…”