Institutions for OCL-like expression languages

DOI10.1007/978-3-319-15545-6_14MaRDI QIDQ5256349zbMATH OpenOpenAlexFDO

Authors Alexander Knapp, María Victoria Cengarle

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44294

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Recommendations

• Logic Foundations of the OCL Modelling Language
• scientific article; zbMATH DE number 2085181
• A Heterogeneous Approach to UML Semantics
• scientific article; zbMATH DE number 1946736
• scientific article; zbMATH DE number 2085187

Cites work

• A Heterogeneous Approach to UML Semantics
• Foundations of algebraic specification and formal software development.
• scientific article; zbMATH DE number 1189288 (Why is no real title available?)
• scientific article; zbMATH DE number 3997131 (Why is no real title available?)
• Institutions for OCL-like expression languages
• Institutions: abstract model theory for specification and programming
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• What Is a Multi-modeling Language?

Cited in

(5)

• Relating CASL with other specification languages: the institution level.
• Term charters
• scientific article; zbMATH DE number 2085179 (Why is no real title available?)
• Institutions for OCL-like expression languages
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper

Describes a project that uses

Uses Software

• Hets

This page was built for publication: Institutions for OCL-like expression languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256349)