Skip to main content
SpringerLink
Log in

Object-oriented system specification using defaults

  • Conference paper
  • First Online:
Management and Processing of Complex Data Structures (IS/KI 1994)

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

Included in the following conference series:

Abstract

This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults in specifications of dynamic system behaviour. Thus overridable rules may be used in specifications which deal not only with state structures, but also with state transitions and sequences. Systems are viewed as societies of interacting objects.

The underlying object specification logic is based on temporal logic and allows to refer to the enabling and occurrence of actions. It is extended with prioritized defaults and module composition. By discussing a variety of examples, we study which default patterns should be used for typical problems of behavioural specification.

This work was partially supported by the CEC under the ESPRIT Working Group 6071 IS-CORE (Information Systems — Correctness and REusability), coordinated by Amílcar Sernadas.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Brass, U. W. Lipeck: Specifying closed world assumptions for logic databases. In J. Demetrovics, B. Thalheim (eds.), 2nd Symp. on Mathetmatical Fundamentals of Database Systems (MFDBS'89), 68–84, LNCS 364, Springer-Verlag, 1989.

    Google Scholar 

  2. S. Brass, U. W. Lipeck: Semantics of inheritance in logical object specifications. In C. Delobel, M. Kifer, Y. Masunaga (eds.), Deductive and Object-Oriented Databases, 2nd Int. Conf. (DOOD'91), 411–430, LNCS 566, Springer-Verlag, 1991.

    Google Scholar 

  3. S. Brass, U. W. Lipeck: Bottom-up query evaluation with partially ordered defaults. In S. Ceri, K. Tanaka, S. Tsur (eds.), Deductive and Object-Oriented Databases, 3rd Int. Conf. (DOOD'93), 252–266, LNCS 760, Springer, 1993.

    Google Scholar 

  4. S. Brass: Deduction with supernormal defaults. In G. Brewka, K. P. Jantke, P. H. Schmitt (eds.), Nonmonotonic and Inductive Logics, 2nd Int. Workshop (NIL'91), 153–174, LNAI 659, Springer-Verlag, 1993.

    Google Scholar 

  5. S. Brass: On the semantics of supernormal defaults. In R. Bajcsy (ed.), Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93), Morgan Kaufmann, 1993.

    Google Scholar 

  6. G. Brewka: Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, 1991.

    Google Scholar 

  7. S. Brass, M. Ryan, U. W. Lipeck: Hierarchical defaults in specifications. In G. Saake, A. Sernadas (eds.), Information Systems — Correctness and Reusability, Workshop IS-CORE '91, 179–201, Informatik-Bericht 91-03, TU Braunschweig, 1991.

    Google Scholar 

  8. J. Dix: Default theories of Poole-type and a method for constructing cumulative versions of default logic. In B. Neumann (ed.), Proc. of the 10th Europ. Conf. on Artificial Intelligence (ECAI 92), 289–293, John Wiley & Sons, 1992.

    Google Scholar 

  9. J. P. Delgrande, W. K. Jackson: Default logic revisited. In J. Allen, R. Fikes, E. Sandewall (eds.), Principles of Knowledge Representation and Reasoning, 2nd Int. Conf. (KR'91), 118–127, Morgan Kaufmann, 1991.

    Google Scholar 

  10. D. W. Etherington, R. E. Mercer, R. Reiter: On the adequacy of predicate circumscription for closed-world reasoning. Computational Intelligence 1 (1985), 11–15.

    Google Scholar 

  11. J. Fiadeiro, T. Maibaum: Towards object calculi. In G. Saake, A. Sernadas (eds.), Information Systems — Correctness and Reusability, Workshop ISCORE '91, 129–178, Informatik-Bericht 91-03, TU Braunschweig, 1991.

    Google Scholar 

  12. S. Hanks, D. McDermott: Nonmonotonic logic and temporal projection. Artificial Intelligence 33 (1987), 379–412.

    Google Scholar 

  13. D. Poole: A logical framework for default reasoning. Artificial Intelligence 36 (1988), 27–47.

    Google Scholar 

  14. R. Reiter: A logic for default reasoning. Artif. Intelligence 13 (1980), 81–132.

    Google Scholar 

  15. R. Reiter: On formalizing database updates — preliminary report. In A. Pirotte, C. Delobel, G. Gottlob (eds.), Advances in Database Technology — EDBT'92, 3rd Int. Conf., 10–20, LNCS 580, Springer-Verlag, 1992.

    Google Scholar 

  16. M. Ryan: Defaults and revision in structured theories. In Proc. of the IEEE Symposium on Logic in Computer Science (LICS'91), 362–373, 1991.

    Google Scholar 

  17. A. Sernadas, C. Sernadas. Denotational semantics of object specification within an arbitrary temporal logic institution. In U. W. Lipeck, G. Koschorreck (eds.), Information Systems — Correctness and Reusability, Workshop ISCORE '93, 61–89, Informatik-Bericht 93-01, Univ. Hannover, 1993.

    Google Scholar 

  18. A. Sernadas, C. Sernadas, J. F. Costa: Object specification logic. Technical report, INESC, Lisbon, June 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Hannover, Lange Laube 22, D-30159, Hannover, Germany

    Udo W. Lipeck & Stefan Brass

Authors
  1. Udo W. Lipeck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Brass
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kai von Luck Heinz Marburger

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lipeck, U.W., Brass, S. (1994). Object-oriented system specification using defaults. In: von Luck, K., Marburger, H. (eds) Management and Processing of Complex Data Structures. IS/KI 1994. Lecture Notes in Computer Science, vol 777. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57802-1_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-57802-1_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57802-4

  • Online ISBN: 978-3-540-48335-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation