10th Asia-Pacific Software Engineering Conference (APSEC'03)
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines
Chiang Mai, Thailand
December 10-December 12
ISBN: 0-7695-2011-1
UML has become a standard language for designing software systems. To help software developers design a correct UML model for a software system has become an important goal for many UML CASE tools. In this paper, we propose a new UML virtual machine based on Abstract State Machines. We combine the UML meta-model, UML model and user objects model into one under the ASM virtual machine for UML. Since the ASM virtual machine for UML supports OCL, software developers can precisely design a software model and then find some errors such as inconsistency in the model with the help of the ASM virtual machine.
Citation:
Wuwei Shen, Kevin Compton, James Huggins, "A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines," apsec, pp.224, 10th Asia-Pacific Software Engineering Conference (APSEC'03), 2003