DocumentCode
2416675
Title
A method of implementing UML virtual machines with some constraints based on abstract state machines
Author
Shen, Wuwei ; Compton, Kevin ; Huggins, James
Author_Institution
Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
fYear
2003
fDate
10-12 Dec. 2003
Firstpage
224
Lastpage
233
Abstract
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. 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.
Keywords
program compilers; software engineering; specification languages; virtual machines; Object Constraint Language; UML meta-model; UML virtual machine; abstract state machines; software model; software system design; Computer aided software engineering; Computer science; Programming; Software design; Software standards; Software systems; Software tools; System testing; Unified modeling language; Virtual machining;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2003. Tenth Asia-Pacific
Print_ISBN
0-7695-2011-1
Type
conf
DOI
10.1109/APSEC.2003.1254375
Filename
1254375
Link To Document