A method of implementing UML virtual machines with some constraints based on abstract state machines
APSEC（2003）
摘要
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.
更多查看译文
关键词
implementing uml virtual machines,new uml virtual machine,uml meta-model,specification languages,software model,asm virtualmachine,virtual machines,uml virtual machine,uml model,object constraint language,software developer,abstract state machines,software developers design acorrect,software system design,software engineering,designa software model,uml case tool,user objects model,program compilers,software system,case tool,software systems,software development,virtual machine,meta model,object model,abstract state machine
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要