Amalgamation in CASL via Enriched Signatures

Authors:
Lutz Schröder;Till Mossakowski;Andrzej Tarlecki
Affiliations:
-;-;-
Venue:
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Year:
2001

Citing 15
Cited 0

Specifications in an arbitrary institution

Information and Computation - Semantics of Data Types
Fundamentals of algebraic specification 2: module specifications and constraints

Fundamentals of algebraic specification 2: module specifications and constraints
Abstract and concrete categories

Abstract and concrete categories
A framework for defining logics

Journal of the ACM (JACM)
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Toward formal development of programs from algebraic specifications: parameterisation revisited

Acta Informatica
Logical support for modularisation

Papers presented at the second annual Workshop on Logical environments
Functorial theory of parameterized specifications in a general specification framework

Theoretical Computer Science
Logical systems for structured specifications

Theoretical Computer Science
Extending Development Graphs with Hiding

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Semantics of Architectural Specifications in CASL

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
CASL: A Guided Tour of Its Design

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Types, Subtypes, and ASL+

Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Permissive Subsorted Partial Logic in CASL

AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Using category theory to design implicit conversions and generic operators

Semantics-Directed Compiler Generation, Proceedings of a Workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

We construct a representation of the institution of the algebraic specification language CASL in an institution called enriched CASL. Enriched CASL satisfies the amalgamation property, which fails in the CASL institution, as well as its converse. Thus, the previously suggested institution-independent semantics of architectural specifications is actually applicable to CASL. Moreover, a variety of results for institutions with amalgamation, such as computation of normal forms and theorem proving for structured specifications, can now be used for CASL.