And-Or Dependence Graphs for Slicing Statecharts

Authors Chris Fox, Arthorn Luangsodsai



PDF
Thumbnail PDF

File

DagSemProc.05451.5.pdf
  • Filesize: 148 kB
  • 12 pages

Document Identifiers

Author Details

Chris Fox
Arthorn Luangsodsai

Cite AsGet BibTex

Chris Fox and Arthorn Luangsodsai. And-Or Dependence Graphs for Slicing Statecharts. In Beyond Program Slicing. Dagstuhl Seminar Proceedings, Volume 5451, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.05451.5

Abstract

The construction of an And-Or dependence graphs is illustrated, and its use in slicing statecharts is described. The additional structure allows for more precise slices to be constructed in the event of additional information, such as may be provided by static analysis and model checking, and with constraints on the global state and external events.
Keywords
  • Slicing
  • statecharts
  • And-Or depdence graphs
  • interference
  • conditioning

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail