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!

Buďte první, kdo okomentuje tento záznam!