Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-42208
Titel: HIQUAL Implementierung eines Systems zur Darstellung von Zeit und Kausalität
VerfasserIn: Eiden, Hans-Werner
Linster, Marc
Sprache: Deutsch
Erscheinungsjahr: 1986
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Hiqual is a language for representation and analysis of modularly constructed hierarchical physical or technical systems. Models are the basic elements. They allow the cause-effect description of elementary systems on both the causal and temporal level. Simple hierarchical systems are described in aggregates. Aggregates combine models on two levels of abstraction. More complex hierarchies are described by means of combined aggregates. The analysis of a model description generates a cyclic graph containing all the possible behavioural sequences of the model. Aggregates are checked to make sure that the different Levels of abstraction describe the same, but more or less abstract behaviour. As every model may have an infinite number of behavioural sequences, these tests are only executed for user selected sequences. The analysis is based upon Allen's temporal relations and his propagation algorithm. Hiqual allows to deduce causal relations among events belonging to different models and to find dead-locks caused by inconsistencies. The present paper describes the implementation and mentions those problems that did not find a satisfactory solution, i.e. the representation of inequalities and discontinuous values, and the computational complexity of the analysis.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-422088
hdl:20.500.11880/37906
http://dx.doi.org/10.22028/D291-42208
Schriftenreihe: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Band: 86,2
Datum des Eintrags: 20-Jun-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.