Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems

Abstract

Modeling of real time software systems (RTSS) consist of different components with UML 2.0 leads to a design model using various diagrams. To get a consistent model, a consistency concept for different diagrams type is needed that takes into account real time constraints. Ensuring consistency of The Unified Modeling Language (UML) model is very crucial as it is effect to the quality of UML model and directly gives impact to good implementation of Information System. Although there are increasing researches on consistency management, there is still lack of researches of consistency driven by Use Case. With this motivation, in this paper, we have proposed few consistency rules between Use Case, Sequence and Timing diagrams which focus on the establishment of timing constraints. Elements of each diagram involved in the proposed rules are formalized. Using an example, we show how the diagrams fulfill our proposed consistency rules.

Similarity Syntax Rules between DFD and UML Diagrams

“…UML use case and sequence diagrams are mostly used to illustrate the functional requirements of a system in the object-oriented approach. Many researchers such as [19] and [20] said that UML basically provides a lot of syntaxes, but not enough semantics and it lacks the rigor of formal modelling languages. Nowadays, a formal definition of a common Meta Object Facility (MOF) based metamodel stated in [14] can be specified for the abstract syntax rules and semantics of the UML.…”

“…Then, in step 3, formalization of several consistency rules and several similarity rules between those diagrams will be developed. Similar approach will be adopted for forming the formal rules as discussed in [18], [19], [21], and [22]. Lastly, in step 4, a tool will be developed to generate UML diagrams from DFD diagrams or DFD diagrams from UML diagrams.…”