When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-8978
Go to the corresponding Portal

Pfaltz, John L.

Closure and Causality

06341.PfaltzJohn.Paper.897.pdf (0.2 MB)


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

  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 =		{},
  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