Title :
Umple: a model-oriented programming language
Author_Institution :
SITE, Univ. of Ottawa, Ottawa, ON, Canada
Abstract :
Our research tool, Umple, has the objective of raising the abstraction level of programming languages by including modeling abstractions such as UML associations, attributes and state machines. My research focuses on the syntax and semantics of state machines in Umple and the empirical validation of Umple as a whole.
Keywords :
finite state machines; program verification; programming languages; UML association; Umple; abstraction level; model-oriented programming language; modeling abstraction; programming language; state machine; Encoding; Programming; Semantics; Software; Syntactics; Unified modeling language;
Conference_Titel :
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location :
Cape Town
Print_ISBN :
978-1-60558-719-6
DOI :
10.1145/1810295.1810381
