Slicing of UML State Machines

被引：0
|
作者：
Lano, Kevin [1 ]
机构：
[1] CREST, Univ London Kings Coll, Dept Comp Sci, London WC2R 2LS, England
来源：
AIC '09: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED INFORMATICS AND COMMUNICATIONS: RECENT ADVANCES IN APPLIED INFORMAT AND COMMUNICATIONS | 2009年
关键词：
Slicing; UML State Machines;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper defines techniques for the slicing of UML state machine models, to produce smaller or simpler models which have the same behaviour as the original model on selected data. Slicing enables more effective analysis and comprehension than the complete model, and can also be used to factor a model.
引用
收藏
页码：63 / +
页数：2
相关论文
共 50 条
  • [1] Slicing abstract state machines
    Nowack, A
    [J]. ABSTRACT STATE MACHINES 2004: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2004, 3052 : 186 - 201
  • [2] Slicing Objects using UML State Diagram
    Wang, Xi
    Wei, Fang
    Cheng, Chuan
    [J]. ADVANCED DESIGNS AND RESEARCHES FOR MANUFACTURING, PTS 1-3, 2013, 605-607 : 2538 - +
  • [3] Reduction and slicing of hierarchical state machines
    Heimdahl, MPE
    Whalen, MW
    [J]. SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 450 - 467
  • [4] An Institution for Simple UML State Machines
    Knapp, Alexander
    Mossakowski, Till
    Roggenbach, Markus
    Glauer, Martin
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 3 - 18
  • [5] Enhancing UML state machines with aspects
    Zhang, Gefei
    Hoelzl, Matthias
    Knapp, Alexander
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4735 : 529 - +
  • [6] Institutionalising UML 2.0 state machines
    Calegari, Daniel
    Szasz, Nora
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (04) : 315 - 323
  • [7] Interactive verification of UML state machines
    Balser, M
    Bäumler, S
    Knapp, A
    Reif, W
    Thums, A
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 434 - 448
  • [8] Refining mobile UML state machines
    Knapp, A
    Merz, S
    Wirsing, M
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 274 - 288
  • [9] Amorphous Slicing of Extended Finite State Machines
    Androutsopoulos, Kelly
    Clark, David
    Harman, Mark
    Hierons, Robert M.
    Li, Zheng
    Tratt, Laurence
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (07) : 892 - 909
  • [10] SLICING OF UML MODELS
    Lano, K.
    Kolandouz-Rahimi, S.
    [J]. ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 259 - 262
12345