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žené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 8; číslo 2; s. 113 - 127
Hlavní autori:	Graf, Susanne, Ober, Ileana, Ober, Iulian
Médium:	Journal Article Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Berlin Springer 01.04.2006 Springer Nature B.V
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!