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

Pfaltz, John L.

Closure and Causality

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


Abstract

We present a model of causality which is defined by the intersection of two distinct closure systems, ${cal I}$ and ${cal T}$. Next we present empirical evidence to demonstrate that this model has practical validity by examining computer trace data to reveal causal dependencies between individual code modules. From over 498,000 events in the transaction manager of an open source system we tease out 66 apparent causal dependencies. Finally, we explore how to mathematically model the transformation of a causal topology resulting from unforlding events.

BibTeX - Entry

@InProceedings{pfaltz:DSP:2007:897,
  author =	{John L. Pfaltz},
  title =	{Closure and Causality},
  booktitle =	{Computational Structures for Modelling Space, Time and Causality},
  year =	{2007},
  editor =	{Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen },
  number =	{06341},
  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/2007/897},
  annote =	{Keywords: Closure, causality, antimatroid, temporal, software engineering}
}

Keywords: Closure, causality, antimatroid, temporal, software engineering
Seminar: 06341 - Computational Structures for Modelling Space, Time and Causality
Issue date: 2007
Date of publication: 26.02.2007


DROPS-Home | Fulltext Search | Imprint Published by LZI