Information Technology Reference
In-Depth Information
3.3 Integration of Informal Specification and Formal Specification by Aspect-
Oriented Approach
UML is acquainted to be the industry-standard modeling language for the software
engineering community, and it is a general purpose modeling language to be usable in
a wide range of application domains. So it is very significant to research aspect-
oriented real-time system modeling method based on UML[31]. However they didn't
make out how to model real-time systems, and express real-time feature as an aspect.
In this section, we extend the UML, and present an aspect-oriented method that model
the real-time system based on UML and Real-Time Logic (RTL). Real Time Logic is
a first order predicate logic invented primarily for reasoning about timing properties
Search WWH ::
Custom Search