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 go...Show MoreMetadata
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.
Date of Conference: 12-12 December 2003
Date Added to IEEE Xplore: 08 January 2004
Print ISBN:0-7695-2011-1
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- State Machine ,
- Virtual Machines ,
- Unified Modeling Language ,
- Abstract State Machine ,
- System Software ,
- Software Development ,
- Correction Model ,
- Inconsistency Model ,
- Universe ,
- Error Model ,
- Design Software ,
- Formal Methods ,
- Number Of Objects ,
- Class Assignment ,
- Update Rule ,
- Class Instances ,
- Physical Classes ,
- Semantic Model ,
- Categories Of Users ,
- Model Instances ,
- Class Diagram ,
- Kinds Of Constraints ,
- Runtime Environment ,
- Low-level Model ,
- Model Checking ,
- Syntax Errors ,
- Boolean Terms ,
- State Diagram ,
- Base Classes
Contents Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- State Machine ,
- Virtual Machines ,
- Unified Modeling Language ,
- Abstract State Machine ,
- System Software ,
- Software Development ,
- Correction Model ,
- Inconsistency Model ,
- Universe ,
- Error Model ,
- Design Software ,
- Formal Methods ,
- Number Of Objects ,
- Class Assignment ,
- Update Rule ,
- Class Instances ,
- Physical Classes ,
- Semantic Model ,
- Categories Of Users ,
- Model Instances ,
- Class Diagram ,
- Kinds Of Constraints ,
- Runtime Environment ,
- Low-level Model ,
- Model Checking ,
- Syntax Errors ,
- Boolean Terms ,
- State Diagram ,
- Base Classes
