KIT | KIT-Bibliothek | Impressum | Datenschutz

Integrating processes in temporal logic

Fuchss, Thomas


In this paper we propose a technique to integrate process models in
classical structures for quantified temporal (modal) logic. The idea
is that in a temporal logic processes are ordinary syntactical objects
with a specific semantical representation. So we want to achieve a
`temporal logics of processes' to adequately describe aspects of
systems dealing with data structures, reactive and time-critical
behavior, environmental influences, and their interaction in a single
frame. Thus the structural information of processes can be captured
and exploited to guide proofs. As an instance of this scheme we
present a quantified, metric, linear temporal logic containing
processes and conjunctions of processes explicitly. Like a predicate a
process can be regarded as a special kind of atomic formula with its
own intension, a family of sets collecting the observable behavior as
`runs'. A run is comparable with a Hoare-traces or a timed
observational sequence it is a sequence of sequences of values taken
from a set of objects. Each single value can be regarded as a
snapshot of an observable feature at a moment in time, e.g. a value
transmitted through a channel. ... mehr

Volltext §
DOI: 10.5445/IR/44297
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1997
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA442979
KITopen-ID: 44297
Erscheinungsvermerk Karlsruhe 1997. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1997,22.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page