A method of implementing UML virtual machines with some constraints based on abstract state machines

被引：0
|
作者：
Shen, WW [1 ]
Compton, K [1 ]
Huggins, J [1 ]
机构：
[1] Western Michigan Univ, Dept Comp Sci, Kalamazoo, MI 49008 USA
来源：
ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2003年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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. In this paper, 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.
引用
收藏
页码：224 / 233
页数：10
相关论文
共 50 条
  • [1] A UML validation toolset based on Abstract State Machines
    Shen, WW
    Compton, K
    Huggins, J
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 315 - 318
  • [2] The Abstract State Machines method -: Preface
    Borger, Egon
    Slissenko, Anatol
    [J]. FUNDAMENTA INFORMATICAE, 2007, 77 (1-2) : V - VIII
  • [3] Efficient execution of UML state machines on a virtual machine
    Schattkowsky, T
    [J]. 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 209 - 213
  • [4] Implementing Reactive Systems with UML State Machines and Ada 2005
    Saez, Sergio
    Terrasa, Silvia
    Lorente, Vicente
    Crespo, Alfons
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 149 - 163
  • [5] Implementing dynamic aggregations of abstract machines in the B method
    Aguirre, N
    Bicarregui, J
    Guzmán, L
    Maibaum, T
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 403 - 417
  • [6] Normalization of Some Extended Abstract State Machines
    Cegielski, Patrick
    Guessarian, Irene
    [J]. FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY, 2010, 6300 : 165 - +
  • [7] Slicing of UML State Machines
    Lano, Kevin
    [J]. AIC '09: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED INFORMATICS AND COMMUNICATIONS: RECENT ADVANCES IN APPLIED INFORMAT AND COMMUNICATIONS, 2009, : 63 - +
  • [8] A software development process based on UML state machines
    Cariou, Eric
    Brunschwig, Lea
    Le Goaer, Olivier
    Barbier, Franck
    [J]. 2020 4TH INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE'2020): 4TH INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING, 2020, : 23 - 30
  • [9] A description of the tableau method using abstract state machines
    Borger, E
    Schmitt, PH
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 659 - 681
  • [10] A logic for Abstract State Machines
    Stärk, RF
    Nanchen, S
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11): : 980 - 1005
12345