✦ LIBER ✦
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems
✍ Scribed by Luigi Lavazza; Sandro Morasca; Angelo Morzenti
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 201 KB
- Volume
- 82
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
✦ Synopsis
A "dual language" component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Temporal Logic) is defined, in order to let the developer assert properties of the system at an abstract specification level. A development process consistent with the proposed notation is also briefly described.