Abstract
The aim of this thesis is the specification and development of a new UML virtual machine – UMLexe- capable of executing platform independent system specifications.
For executing models, computational completeness is required and UMLexe propose a subset of UML and operational semantics for executing those models. UMLexe will provide prototype functionality to prove the concept of executing components combined with interaction models.
The first part of the thesis describes a case scenario illuminating the model notation. After a more detailed look at the specification and implementation, this case is executed to prove the concept. The last part of the thesis is dedicated to the specification and development of the UMLexe virtual machine and the evaluation of the implementation in terms of defined requirements and existing solutions executing UML models.