A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES

被引：16
|
作者：
MASIERO, PC [1 ]
MALDONADO, JC [1 ]
BOAVENTURA, IG [1 ]
机构：
[1] UNIV STATE SAO PAULO,UNESP,SJRP,IBILCE,DEPT COMP SCI & STAT,SAO PAULO,BRAZIL
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1994年 / 36卷 / 10期
基金：
美国国家科学基金会;
关键词：
STATECHARTS; REACTIVE SYSTEMS; REACHABILITY TREE; EXHAUSTIVE SIMULATION; DYNAMIC PROPERTIES OF STATECHARTS;
D O I：
10.1016/0950-5849(94)90021-3
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An algorithm to create a reachability tree for statecharts is presented. Also shown is how to use this tree to analyse dynamic properties of statecharts; reachability from any state configuration, usage of transitions, reinitiability, deadlocks, and valid sequence of events. Owing to its powerful notation, building a reachability tree for statecharts presents some difficulties, and we show how these problems were solved in the tree we propose.
引用
收藏
页码：615 / 624
页数：10
相关论文
共 50 条
  • [41] Effects of dried on some properties of strawberry tree fruits
    Demirsoy, Husnu
    Demirsoy, Leyla
    Celikel, Gulay
    Koyuncu, Turhan
    ASIAN JOURNAL OF CHEMISTRY, 2007, 19 (03) : 1777 - 1782
  • [42] Analysis of some statistics for increasing tree families
    Panholzer, A
    Prodinger, H
    DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2004, 6 (02): : 437 - 460
  • [43] Some propositions in tree-ring analysis
    Schulman, E
    ECOLOGY, 1941, 22 (02) : 193 - 195
  • [44] OPTIMIZING TIME PERFORMANCE IN REACHABILITY TREE-BASED SIMULATION
    Mujica, Miguel
    Angel Piera, Miquel
    Narciso, Mercedes
    EMSS 2008: 20TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM, 2008, : 800 - 805
  • [45] Efficient Graph Reachability Query Answering Using Tree Decomposition
    Wei, Fang
    REACHABILITY PROBLEMS, 2010, 6227 : 183 - 197
  • [46] Some decidable results on reachability of solvable systems
    Xu, Ming
    Zhu, Jiaqi
    Li, Zhi-Bin
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, 42 (04) : 405 - 425
  • [47] THE REACHABILITY PROBLEM FOR GROUND TRS AND SOME EXTENSIONS
    DERUYVER, A
    GILLERON, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 227 - 243
  • [48] Program Verification by Reachability Searching over Dynamic Call Tree
    Peng, Tu
    Wang, Kai
    ADVANCED DATA MINING AND APPLICATIONS, ADMA 2014, 2014, 8933 : 588 - 601
  • [49] SOME RESULTS ON POLE-PLACEMENT AND REACHABILITY
    SHARMA, PK
    SYSTEMS & CONTROL LETTERS, 1986, 6 (05) : 325 - 328
  • [50] Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
    Geretti, Luca
    Collins, Pieter
    Nuzzo, Pierluigi
    Villa, Tiziano
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2024, 54
12345