OMEGA2: A New Version of the Profile and the Tools

Author

Ober, Iulian ; Dragomir, Iulia

Author_Institution

IRIT, Univ. de Toulouse, Toulouse, France

fYear

2010

fDate

22-26 March 2010

Firstpage

373

Lastpage

378

Abstract

In previous work we contributed to the definition of an executable profile of UML, called OMEGA UML, dedicated to the formal specification and validation of real-time systems. The prominent features of OMEGA UML are (1) a small and coherent set of concepts for describing the architecture and the behaviour of a system, (2) means for formalizing the properties of the system, in particular timing properties, and (3) a well-behaved concurrent execution model suited for real-time applications. To meet user demands, the profile has recently been updated to include hierarchical composite structures (part of the standard UML 2. x specification) and new concurrency structures. The new version (OMEGA2) is in line with the original principles: simplicity, well-defined operational semantics and tool support for simulation and verification (IFx version 2). The present paper contains an overview of both the profile and the tool.

Keywords

Unified Modeling Language; formal specification; real-time systems; software tools; IFx; OMEGA UML; OMEGA2; concurrency structures; concurrent execution model; executable profile; formal specification; hierarchical composite structures; operational semantics; real-time applications; real-time systems; tool support; Computational modeling; Connectors; Object oriented modeling; Observers; Real time systems; Semantics; Unified modeling language; OMEGA; UML; model checking; real time; simulation;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on

Conference_Location

Oxford

Print_ISBN

978-1-4244-6638-2

Electronic_ISBN

978-1-4244-6639-9

Type

conf

DOI

10.1109/ICECCS.2010.41

Filename

5628583