Details
| Original language | English |
|---|---|
| Title of host publication | Recent Trends in Algebraic Development Techniques |
| Subtitle of host publication | 12th International Workshop, WADT 1997, Selected Papers |
| Editors | Francesco Parisi Presicce |
| Publisher | Springer Verlag |
| Pages | 206-222 |
| Number of pages | 17 |
| ISBN (print) | 3540642994, 9783540642992 |
| Publication status | Published - 1998 |
| Event | 12th International Workshop on Algebraic Development Techniques, WADT 1997 - Tarquinia, Italy Duration: 3 Jun 1997 → 7 Jun 1997 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1376 |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
Abstract
We present an abstract specification theory that formalizes non-monotonic composition constructs from specification languages providing explicit non-monotonic mechanisms as a specification facility. This theory generalizes the institutional framework from Goguen and Burstall by adding defeasibility mechanisms to a given institution. The denotation of a specification module consists of defaults (formulas organized by priority) that are assumed to be true in the absence of explicit information to the contrary. In other words defaults are assumed to be true unless they are overridden by other defaults of higher priority. Formulas that cannot be overriden are called axioms. Such structures of axioms and prioritized defaults are called hierarchic specifications. The abstract specification theory of hierarchic specifications consists in formalizing, independently of the underlying logic, the structuring operations of hierarchic specifications. These operations are defined both on the syntactical and semantical levels by canonical constructions on corresponding syntactical and semantical categories, and account for the modular construction of hierarchic specifications by combining, reusing and modifying (with overriding) previously specified modules.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT 1997, Selected Papers. ed. / Francesco Parisi Presicce. Springer Verlag, 1998. p. 206-222 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1376).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Specifying with Defaults
T2 - 12th International Workshop on Algebraic Development Techniques, WADT 1997
AU - Dionìsio, F. Miguel
AU - Lipeck, Udo W.
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1998.
PY - 1998
Y1 - 1998
N2 - We present an abstract specification theory that formalizes non-monotonic composition constructs from specification languages providing explicit non-monotonic mechanisms as a specification facility. This theory generalizes the institutional framework from Goguen and Burstall by adding defeasibility mechanisms to a given institution. The denotation of a specification module consists of defaults (formulas organized by priority) that are assumed to be true in the absence of explicit information to the contrary. In other words defaults are assumed to be true unless they are overridden by other defaults of higher priority. Formulas that cannot be overriden are called axioms. Such structures of axioms and prioritized defaults are called hierarchic specifications. The abstract specification theory of hierarchic specifications consists in formalizing, independently of the underlying logic, the structuring operations of hierarchic specifications. These operations are defined both on the syntactical and semantical levels by canonical constructions on corresponding syntactical and semantical categories, and account for the modular construction of hierarchic specifications by combining, reusing and modifying (with overriding) previously specified modules.
AB - We present an abstract specification theory that formalizes non-monotonic composition constructs from specification languages providing explicit non-monotonic mechanisms as a specification facility. This theory generalizes the institutional framework from Goguen and Burstall by adding defeasibility mechanisms to a given institution. The denotation of a specification module consists of defaults (formulas organized by priority) that are assumed to be true in the absence of explicit information to the contrary. In other words defaults are assumed to be true unless they are overridden by other defaults of higher priority. Formulas that cannot be overriden are called axioms. Such structures of axioms and prioritized defaults are called hierarchic specifications. The abstract specification theory of hierarchic specifications consists in formalizing, independently of the underlying logic, the structuring operations of hierarchic specifications. These operations are defined both on the syntactical and semantical levels by canonical constructions on corresponding syntactical and semantical categories, and account for the modular construction of hierarchic specifications by combining, reusing and modifying (with overriding) previously specified modules.
UR - http://www.scopus.com/inward/record.url?scp=84957870897&partnerID=8YFLogxK
U2 - 10.1007/3-540-64299-4_35
DO - 10.1007/3-540-64299-4_35
M3 - Conference contribution
AN - SCOPUS:84957870897
SN - 3540642994
SN - 9783540642992
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 206
EP - 222
BT - Recent Trends in Algebraic Development Techniques
A2 - Presicce, Francesco Parisi
PB - Springer Verlag
Y2 - 3 June 1997 through 7 June 1997
ER -