License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-4932
URL: http://drops.dagstuhl.de/opus/volltexte/2006/493/

Fox, Chris ; Luangsodsai, Arthorn

And-Or Dependence Graphs for Slicing Statecharts

pdf-format:
Dokument 1.pdf (148 KB)


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.

BibTeX - Entry

@InProceedings{fox_et_al:DSP:2006:493,
  author =	{Chris Fox and Arthorn Luangsodsai},
  title =	{And-Or Dependence Graphs for Slicing Statecharts},
  booktitle =	{Beyond Program Slicing},
  year =	{2006},
  editor =	{David W. Binkley and Mark Harman and Jens Krinke},
  number =	{05451},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/493},
  annote =	{Keywords: Slicing, statecharts, And-Or depdence graphs, interference, conditioning}
}

Keywords: Slicing, statecharts, And-Or depdence graphs, interference, conditioning
Seminar: 05451 - Beyond Program Slicing
Issue date: 2006
Date of publication: 07.07.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI