Canonical Selection of Colimits
Till Mossakowski, Florian Rabe, Mihai Codescu
TL;DR
This paper discusses the canonical selection of colimits in category theory, emphasizing their role in combining objects for modeling and specification across different formal languages and standards.
Contribution
It introduces a canonical approach to selecting colimits, enhancing the semantics of parameterized specifications and networks in formal specification languages.
Findings
Provides a systematic method for canonical colimit selection.
Improves the semantics of parameterized specifications in CASL.
Enhances the combination of specifications in DOL.
Abstract
Colimits are a powerful tool for the combination of objects in a category. In the context of modeling and specification, they are used in the institution-independent semantics (1) of instantiations of parameterised specifications (e.g. in the specification language CASL), and (2) of combinations of networks of specifications (in the OMG standardised language DOL).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Business Process Modeling and Analysis · Service-Oriented Architecture and Web Services