Details
| Original language | English |
|---|---|
| Title of host publication | Management and Processing of Complex Data Structures |
| Subtitle of host publication | 3rd Workshop on Information Systems and Artificial Intelligence, Proceedings |
| Editors | Kai von Luck, Heinz Marburger |
| Publisher | Springer Verlag |
| Pages | 22-43 |
| Number of pages | 22 |
| ISBN (print) | 9783540578024 |
| Publication status | Published - 1994 |
| Event | 3rd Workshop on Information Systems and Artificial Intelligence, 1994 - Hamburg, Germany Duration: 28 Feb 1994 → 2 Mar 1994 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 777 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
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.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Management and Processing of Complex Data Structures : 3rd Workshop on Information Systems and Artificial Intelligence, Proceedings. ed. / Kai von Luck; Heinz Marburger. Springer Verlag, 1994. p. 22-43 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 777 LNCS).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Object-Oriented System Specification Using Defaults
AU - Lipeck, Udo W.
AU - Brass, Stefan
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1994.
PY - 1994
Y1 - 1994
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84974711271&partnerID=8YFLogxK
U2 - 10.1007/3-540-57802-1_2
DO - 10.1007/3-540-57802-1_2
M3 - Conference contribution
AN - SCOPUS:84974711271
SN - 9783540578024
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 22
EP - 43
BT - Management and Processing of Complex Data Structures
A2 - von Luck, Kai
A2 - Marburger, Heinz
PB - Springer Verlag
T2 - 3rd Workshop on Information Systems and Artificial Intelligence, 1994
Y2 - 28 February 1994 through 2 March 1994
ER -