Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Constraints for behavioural specifications |
| Συγγραφείς: |
Orejas Valdés, Fernando, Nivela Alós, M. Pilar Brígida |
| Συνεισφορές: |
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
| Έτος έκδοσης: |
1990 |
| Συλλογή: |
Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge |
| Θεματικοί όροι: |
Àrees temàtiques de la UPC::Informàtica, Algebra -- Data processing, Àlgebra -- Processament de dades |
| Περιγραφή: |
Behavioural specifications with constraints for the incremental development of algebraic specifications are presented. The behavioural constraints correspond to the completely defined subparts of a given incomplete behavioural specification. Moreover, the local observability criteria used within a behavioural constraint could not coincide with the global criteria used in the behavioural specification. This is absolutely needed because, otherwise, some constraints could involve only non observable sorts and therefore have trivial semantics. Finally, the extension operations and completion operations for refining specifications are defined. The extension operations correspond to horizontal refinements and build larger specifications on top of existing ones in a conservative way. The completion operations correspond to vertical refinements, they add detail to an incomplete behavioural specification and they do restrict the class of models. ; Postprint (published version) |
| Τύπος εγγράφου: |
report |
| Περιγραφή αρχείου: |
28 p.; application/pdf |
| Γλώσσα: |
English |
| Relation: |
LSI-90-35; Orejas, F.; Nivela, M. "Constraints for behavioural specifications". 1990.; https://hdl.handle.net/2117/191927 |
| Διαθεσιμότητα: |
https://hdl.handle.net/2117/191927 |
| Rights: |
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ ; Open Access ; Attribution-NonCommercial-NoDerivs 3.0 Spain |
| Αριθμός Καταχώρησης: |
edsbas.8F3199FF |
| Βάση Δεδομένων: |
BASE |