2001 | OriginalPaper | Buchkapitel
Amalgamation in CASL via Enriched Signatures
verfasst von : Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
Erschienen in: Automata, Languages and Programming
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.