Article ID Journal Published Year Pages File Type
4952400 Theoretical Computer Science 2016 14 Pages PDF
Abstract
We provide a precise mathematical definition for first-order views used in parameterised specifications and we also provide a dual semantics for them that captures both their syntactic and model theoretic effects. We show that this semantics is functorial. Parameter instantiation is defined here as a (special kind of) pushout in the category of views; moreover the corresponding pushout squares are shown to enjoy a crucial model amalgamation property that ensures the consistency of the parameter instantiation process.
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
,