Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems
نویسندگان
چکیده
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.
منابع مشابه
Consistent Design of Embedded Real-Time Systems with UML-RT
Modeling embedded real-time systems consisting of different components with UML-RT leads to a design model using various diagrams. Sequence diagrams describe possible interactions between system components and may be annotated with specific real-time constraints. Statechart diagrams are used for describing each component’s behavior. In order to be able to get a consistent model, a consistency c...
متن کاملChecking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications
In this paper, for real-time embedded software we consider the problem of checking component-based designs for scenario-based timing specifications. By adding time intervals on the actions, we extend the interface automata for modelling real-time systems. The componentbased designs are modelled by real-time interface automaton networks, which includes a set of real-time interface automata synch...
متن کاملTiming Analysis of UML Sequence Diagrams
For real-time systems, UML sequence diagrams describe interaction among objects, which show the scenarios of system behaviour. In this paper, we give the solution for timing analysis of simple UML sequence diagrams which describe exactly one scenario without any alternatives and loops, and develop an algorithm for checking the compositions of UML sequence diagrams, which describe multiple scena...
متن کاملValidating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
Object-oriented development of real-time systems is becoming more and more prevalent. Unified Modeling Language (UML) is a standardized notation for describing object-oriented software design. While using UML to specify real-time systems, the formal validation of certain timing constraints becomes critical for the success of object-oriented development of real-time systems. Current development ...
متن کاملAn Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software
Timing-related issues need to be managed from early design phase for successful development of GCU (Guidance and Control Unit) software. UML/MARTE behavioral models can specify timing information in the multiple viewpoints. Among UML behavioral models, UML timing diagrams are useful to show timing information intuitively. We propose an approach to constructing timing diagrams with MARTE annotat...
متن کامل