A real-time profile for UML

This paper describes an approach for real-time modelling in UML, focusing on analysis and verification of time and scheduling-related properties. To this aim, a concrete UML profile, called the omegaprofile, is defined, dedicated to real-time modelling by identifying a set of relevant concepts for r...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:International journal on software tools for technology transfer Ročník 8; číslo 2; s. 113 - 127
Hlavní autoři: Graf, Susanne, Ober, Ileana, Ober, Iulian
Médium: Journal Article Konferenční příspěvek
Jazyk:angličtina
Vydáno: Berlin Springer 01.04.2006
Springer Nature B.V
Témata:
Applied sciences
Computer based modeling
Computer science; control theory; systems
Exact sciences and technology
Programming languages
Real time
Software
Software engineering
Change of state
Modeling
Relevance
Formal specification
Observer
Object oriented
Unified modelling language
Real-time systems
Time analysis
Execution time
Validation
Refinement method
Duration
Scheduling
Real time
Timed system
Real time system
Formal semantics
Boarded computer
Real-time profile
UML
Timing properties
Object constraint language
OMEGA
Timing analysis
Formal verification
ISSN:1433-2779, 1433-2787
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This paper describes an approach for real-time modelling in UML, focusing on analysis and verification of time and scheduling-related properties. To this aim, a concrete UML profile, called the omegaprofile, is defined, dedicated to real-time modelling by identifying a set of relevant concepts for real-time modelling which can be considered as a refinement of the standard SPT profile. The profile is based on a rich concept of event representing an instant of state change, and allows the expression of duration constraints between occurrences of events. These constraints can be provided in the form of OCL-like expressions annotating the specification or by means of state machines, stereotyped as 'observers'. A framework for modelling scheduling issues is obtained by adding a notion of resource and a notion of execution time. For proving the relevance of these choices, the profile has been implemented in a validation tool and applied to case studies. It has a formal semantics and is sufficiently general and expressive to define a semantic underpinning for other real-time profiles of UML which in general define more restricted frameworks. In particular, most existing profiles handling real-time issues define a number of predefined attributes representing particular durations or constraints on them and their semantic interpretation can be expressed in the OMEGA-RT profile. [PUBLICATION ABSTRACT]
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-005-0213-x