And-Or Dependence Graphs for Slicing Statecharts

Fox, Chris; Luangsodsai, Arthorn

doi:10.4230/DagSemProc.05451.5

Document

And-Or Dependence Graphs for Slicing Statecharts

Authors Chris Fox, Arthorn Luangsodsai

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 5451
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2006-07-07

PDF

File

PDF

DagSemProc.05451.5.pdf

Filesize: 148 kB
12 pages

Document Identifiers

DOI: 10.4230/DagSemProc.05451.5
URN: urn:nbn:de:0030-drops-4932

Subject Classification

Keywords

Slicing
statecharts
And-Or depdence graphs
interference
conditioning

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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

Author Details

Chris Fox

Arthorn Luangsodsai

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