Skip to main content
SpringerLink
Log in

On Semantics and Correctness of Reactive Rule-Based Programs

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1755))

Abstract

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.

Man Lin has been supported by TFR (Swedish Research Council for Engineering Sciences) and WITAS (the Wallenberg laboratory for research on Information Technology and Autonomous Systems).

Jacek Malec has been partially supported byMälardalens Real-Time Research Center (MRTC).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. Apt and R. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19/20:9–71, 1994.

    Article  MathSciNet  Google Scholar 

  2. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. MA: Addison-Wesley, 1988.

    MATH  Google Scholar 

  3. T. A. Cooper and N. Wogrin. Rule-based Programming with OPS5. Morgan Kaufmann Publishers, Inc, 1988.

    Google Scholar 

  4. K.R. Dittrich, S. Gatziu, and A. Geppert. The active database management systems manifesto: A rulebase of ADBMS features. In Timos Sellis, editor, Rules in Database System. RIDS’95, Springer Verlag, 1995.

    Google Scholar 

  5. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.

    Google Scholar 

  6. D. Harel and A. Pnueli. On the development of reactive systems. In K. R. Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series. Springer Verlag, 1985.

    Google Scholar 

  7. G. Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of ACM, 27(4):797–821, 1980.

    Article  MATH  MathSciNet  Google Scholar 

  8. M. Lin. Formal Analysis of Reactive Rule-based Programs. Licentiate thesis, Linköping University, 1997. Linköping Studies in Science and Technology, Thesis No 643, ISBN 91-7219-030-2, ISSN 0280-7971.

    Google Scholar 

  9. W. Łukaszewicz. Non-Monotonic Reasoning. Ellis Horwood, 1990.

    Google Scholar 

  10. J. Malec, M. Morin, and U. Palmqvist. Driver support in intelligent autonomous cruise control. In Proceedings of the IEEE Intelligent Vehicles Symposium’94, pages 160–164, Paris, France, October 1994.

    Google Scholar 

  11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.

    Google Scholar 

  12. M. Morin, S. Nadjm-Tehrani, P. Österling, and E. Sandewall. Real-time hierarchical control. IEEE Software, 9(5):51–57, September 1992.

    Article  Google Scholar 

  13. G. Plotkin, C. Stirling, and M. Tofte, editors. Language and Interaction: Essays in Honour of Robin Milner, chapter The Foundations of Esterel. MIT Press, 1998. To Appear.

    Google Scholar 

  14. A. Pnueli and M. Shalev. What is in a step: On the semantics of Statecharts. Theoretical Aspects of Computer Software, LNCS, 526:510–584, 1991.

    Google Scholar 

  15. E. Sandewall. Features and Fluents, volume 1. Clarendon Press. Oxford, 1994.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Linköping University, S-581 83, Linköping, Sweden

    Man Lin & Simin Nadjm-Tehrani

  2. Department of Computer Engineering, Mälardalens Högskola, Box 883, S-721 23, Västerås, Sweden

    Jacek Malec

Authors
  1. Man Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jacek Malec
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Simin Nadjm-Tehrani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technology, Technical University of Denmark, Bldg. 244, 2800, Lyngby, Denmark

    Dines Bjøner

  2. Computer Science Department, Technical University of Munich, Arcisstr. 21, 80290, Munich, Germany

    Manfred Broy

  3. A.P. Ershov Institute of Informatics Systems, av. Ac. Lavrentyev 6, Novosibirsk, 630090, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lin, M., Malec, J., Nadjm-Tehrani, S. (2000). On Semantics and Correctness of Reactive Rule-Based Programs. In: Bjøner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 1999. Lecture Notes in Computer Science, vol 1755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46562-6_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-46562-6_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67102-2

  • Online ISBN: 978-3-540-46562-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation