An older document describing the OMEGA profile UML v1.0, and including, among other, the syntax of the OMEGA Action Language (OMAL) and of event matching clauses for observers: D222-Annex-1-OMEGAsyntax.pdf
Selected Publications
Iulian Ober, Iulia Dragomir.
Unambiguous UML composite structures: the OMEGA2 experience.
In SOFSEM 2011 - International Conference on Current Trends in Theory and Practice of Computer Science , Novy Smokovec (Slovakia), Jan 22-28, 2011.
Springer, LNCS 6543, p418-430.
[DOI.10.1007/978-3-642-18381-2_35]
Iulia Dragomir, Iulian Ober.
Well-formedness and typing rules for UML Composite Structures.
[CoRR abs/1010.6155]
Iulian Ober, Iulia Dragomir.
OMEGA2: A new version of the profile and the tools.
In UML&AADL'2010 - 14th IEEE International Conference on Engineering of Complex Computer Systems, Oxford, UK, March 2010.
p373-378., 2010. IEEE.
[DOI.10.1109/ICECCS.2010.41]
Jozef Hooman, Hillel Kugler, Iulian Ober, Angelika Votintseva, Yuri Yushtein.
Supporting UML-based Development of Embedded Systems by Formal Techniques. Dans / In International Journal of Software and Systems Modeling (SoSym), Vol. 7 No. 2, p. 131-155, may 2008. Springer-Verlag.
[DOI.10.1007/s10270-006-0043-7]
I. Ober, S. Graf and I. Ober.
Validating timed UML models by simulation and verification. International Journal of Software Tools for Technology Transfer (STTT), Volume 8, Number 2, pages 128-145, April, 2006. Springer Verlag.
[DOI.10.1007/s10009-005-0205-x]
S. Graf, I. Ober and I. Ober.
A real-time profile for UML. International Journal of Software Tools for Technology Transfer (STTT), Volume 8, Number 2, pages 113-127, April, 2006. Springer Verlag.
[DOI.10.1007/s10009-005-0213-x]
Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva.
A discrete-time UML semantics for concurrency and communication in safety-critical applicationsSci. Comput. Program. (SCP), 55(1-3):81-115. 2005.
[DOI.10.1016/j.scico.2004.05.012]
