Title

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

Document Type

Conference Proceeding

Publication Date

12-2003

Publication Title

Proceedings of the Tenth Asia-Pacific Software Engineering Conference, 2003

Conference Name

Tenth Asia-Pacific Software Engineering Conference, 2003

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.

Comments

Print ISBN: 0-7695-2011-1

DOI: 10.1109/APSEC.2003.1254375

Rights Statement

© Copyright 2003 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved

Link to Full Text

Share

COinS