A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines

  • Authors:

  • Wuwei Shen;Kevin Compton;James Huggins

  • Affiliations:

  • -;-;-

  • Venue:
  • APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

UML has become a standard language for designingsoftware systems. To help software developers design acorrect UML model for a software system has become animportant goal for many UML CASE tools. In this paper,we propose a new UML virtual machine based on AbstractState Machines. We combine the UML meta-model, UMLmodel and user objects model into one under the ASM virtualmachine for UML. Since the ASM virtual machine forUML supports OCL, software developers can precisely designa software model and then find some errors such asinconsistency in the model with the help of the ASM virtualmachine.