On semantics and correctness of reactive rule-based programs
2000 (English)In: Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings / [ed] Dines Bjøner, Manfred Broy and Alexandre V. Zamulin, Springer Berlin/Heidelberg, 2000, Vol. 1755, 235-246 p.Chapter in book (Refereed)
The rule-based paradigm for knowledge representation appears in many disguises within computer science. In this paper we address special issues which arise when the rule-based programming paradigm is employed in the development of reactive systems. We begin by presenting a rule-based language RL which has emerged while developing intelligent cruise control systems. We define a desired declarative semantics and correctness criteria for rule-based programs which respect causality, synchrony assumption and desired determinism. Two alternative approaches are proposed to analyze RL programs. Both approaches build upon static checks of a rule-based program. In the first approach we accept programs which are correct with respect to a constructive semantics while in the second approach, a stratification check is imposed. The combination of rules and reactive behaviour, together with a formal analysis of this behaviour is the main contribution of our work.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2000. Vol. 1755, 235-246 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 1755
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-49501DOI: 10.1007/3-540-46562-6_21ISBN: 3-540-67102-1ISBN: 978-3-540-67102-2ISBN: e-978-3-540-46562-1OAI: oai:DiVA.org:liu-49501DiVA: diva2:270397