liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On semantics and correctness of reactive rule-based programs
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
Mälardalens Högskola, Västerås.
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
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)
Abstract [en]

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.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 1755
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-49501DOI: 10.1007/3-540-46562-6_21ISBN: 3-540-67102-1 (print)ISBN: 978-3-540-67102-2 (print)ISBN: e-978-3-540-46562-1 OAI: oai:DiVA.org:liu-49501DiVA: diva2:270397
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2014-01-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textfind book in another country/hitta boken i ett annat landfind book in another country/hitta boken i ett annat land

Authority records BETA

Nadjm-Tehrani, Simin

Search in DiVA

By author/editor
Nadjm-Tehrani, Simin
By organisation
Department of Computer and Information ScienceThe Institute of TechnologyRTSLAB - Real-Time Systems Laboratory
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 33 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf