A UML validation toolset based on Abstract State Machines

被引：4
|
作者：
Shen, WW [1 ]
Compton, K [1 ]
Huggins, J [1 ]
机构：
[1] Univ Michigan, Dept EECS, Ann Arbor, MI 48109 USA
来源：
16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS | 2001年
关键词：
D O I：
10.1109/ASE.2001.989819
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. These tools translate a UML model into a validation language such as PROMELA. However they have some shortcomings: there is no proof of correctness (with respect to the UML semantics) for these tools; and there is no tool that supports validation for both the static and dynamic aspects of a UML model. In order to overcome these shortcomings, we present a toolset which is based on the semantic model using Abstract State Machines. Since the toolset is derived from the semantic model, the toolset is correct with respect to the semantic model, In addition, this toolset can be used to validate both the static and dynamic aspects of a model.
引用
下载
收藏
页码：315 / 318
页数：4
相关论文
共 50 条
  • [41] UML 2.0 state machines:: Complete formal semantics via core state machines
    Fecher, Harald
    Schoenborn, Jens
    FORMAL METHODS: APPLICATIONS AND TECHNOLOGY, 2007, 4346 : 244 - +
  • [42] Verification of UML state diagrams using concurrent state machines
    Miescicki, Jerzy
    Software Engineering Techniques: Design for Quality, 2006, 227 : 261 - 271
  • [43] Metamodel-based transformation from UML state machines to DEVS models
    Gonzalez, Ariel
    Luna, Carlos
    Cuello, Roque
    Perez, Marcela
    Daniele, Marcela
    PROCEEDINGS OF THE 2014 XL LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2014,
  • [44] A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines
    Khan, Muhammad Uzair
    Iqbal, Muhamamd Zohaib
    Ali, Shaukat
    2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), 2014, : 557 - 560
  • [45] A Metamodel-based Language and a Simulation Engine for Abstract State Machines
    Gargantini, Angelo
    Riccobene, Elvinia
    Scandurra, Patrizia
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (12) : 1949 - 1983
  • [46] Integration of Symbolic Execution into a Formal Abstract State Machines based Language
    Paun, Vladimir-Alexandru
    Monsuez, Bruno
    Baufreton, Philippe
    IFAC PAPERSONLINE, 2017, 50 (01): : 11251 - 11256
  • [47] Towards a new formal SDL semantics based on abstract state machines
    Glässer, U
    Gotzhein, R
    Prinz, A
    SDL'99: THE NEXT MILLENNIUM, 1999, : 171 - 190
  • [48] Design and validation of a C plus plus code generator from Abstract State Machines specifications
    Bonfanti, Silvia
    Gargantini, Angelo
    Mashkoor, Atif
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2020, 32 (02)
  • [49] Efficient execution of UML state machines on a virtual machine
    Schattkowsky, T
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 209 - 213
  • [50] Formalizing UML State Machines for Automated Verification - A Survey
    Andre, Etienne
    Liu, Shuang
    Liu, Yang
    Choppy, Christine
    Sun, Jun
    Dong, Jin Song
    ACM COMPUTING SURVEYS, 2023, 55 (13S)
12345