License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06341.3
URN: urn:nbn:de:0030-drops-8978
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/897/
Go to the corresponding Portal

Pfaltz, John L.

Closure and Causality

pdf-format:
06341.PfaltzJohn.Paper.897.pdf (0.2 MB)

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:DagSemProc.06341.3,
  author =	{Pfaltz, John L.},
  title =	{{Closure and Causality}},
  booktitle =	{Computational Structures for Modelling Space, Time and Causality},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6341},
  editor =	{Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/897},
  URN =		{urn:nbn:de:0030-drops-8978},
  doi =		{10.4230/DagSemProc.06341.3},
  annote =	{Keywords: Closure, causality, antimatroid, temporal, software engineering}
}

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI