On observational equivalence and algebraic specification
Journal of Computer and System Sciences
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Initial behavior semantics for algebraic specifications
Lecture notes in Computer Science on Recent trends in data type specification
Observational implementation of algebraic specifications
Acta Informatica
Handbook of theoretical computer science (vol. B)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Behavioural and abstractor specifications
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
CASL: the common algebraic specification language
Theoretical Computer Science
Implementation and Behavioural Equivalence: A Survey
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
Proceedings of the 9th Colloquium on Automata, Languages and Programming
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Behavioural semantics of algebraic specifications in arbitrary logical systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Generic constructions for behavioral specifications
Theoretical Computer Science
Hi-index | 0.00 |
Many different behavioral refinement notions for algebraic specifications have been proposed in the literature but the relationship between the various concepts is still unclear. In this paper we provide a classification and a comparative study of behavioral refinements according to two directions, the externalized approach which uses an explicit behavioral abstraction operator that is applied to the specification to be implemented, and the internalized approach which uses a built-in behavioral semantics of specifications. We show that both concepts are equivalent under suitable conditions. The formal basis of our study is provided by the COL institution (constructor-based observational logic). Hence, as a side-effect of our study on internalized behavioral refinements, we introduce also a novel concept of behavioral refinement for COL-specifications.