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

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 8; no. 2; pp. 113 - 127
Main Authors:	Graf, Susanne, Ober, Ileana, Ober, Iulian
Format:	Journal Article Conference Proceeding
Language:	English
Published:	Berlin Springer 01.04.2006 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!