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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-86-02_Eiden-Linster_HIQUAL-Implementierung-eines-Systems-zur-Darstellung-von-Zeit-und-Kausalität.pdf | 54,91 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.