A Formal UML Package for Specifying Real-Time System Constraints
Gopal Raghavan and Maria M. Larrondo-Petrie
Florida Atlantic University, USA
Abstract
An object-oriented approach provides a natural way to model a real-time
system characterized by timing, resource and precedence constraints.
Multipl simultaneous processes competing for resources and constrained by
strict timing deadlines add to the complexity of modeling such systems.
Unified Modeling Language (UML) is a very general language that supports
powerful extension mechanisms that includes stereotypes, tagged values and
constraints. In this paper, we use these extension mechanisms to model
real-time system constructs. The constructs are then formalized using Object
Constraint Language (OCL) and made available in the form of a UML package.
The behavior models were simulated and formally validated for correctness.
Such constructs are then stereotyped for use as design patterns when
developing real-time applications.
Click here for Full Paper (gzipped PDF).