Document Open Access Logo

And-Or Dependence Graphs for Slicing Statecharts

Authors Chris Fox, Arthorn Luangsodsai

Thumbnail 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)


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.
  • Slicing
  • statecharts
  • And-Or depdence graphs
  • interference
  • conditioning


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

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail