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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 8; H. 2; S. 113 - 127
Hauptverfasser:	Graf, Susanne, Ober, Ileana, Ober, Iulian
Format:	Journal Article Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Berlin Springer 01.04.2006 Springer Nature B.V
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!