Chapter
A Reasoning System for Satisfiability of Diagrammatic Specifications
Abstract
Diagrammatic modelling is the foundation of many popular knowledge representation and software development techniques. In Model Driven Software Engineering, domain specific modelling languages are represented as metamodels and domain specific specifications are represented as models. The (meta-)models are represented by graphs and (models) instances are represented by graphs typed by the (meta)model. The typing relation is formalised by graph …
Authors
Lamo Y; MacCaull W
Book title
Ewa Orłowska on Relational Methods in Logic and Computer Science
Series
Outstanding Contributions to Logic
Volume
17
Pagination
pp. 371-402
Publisher
Springer Nature
Publication Date
2018
DOI
10.1007/978-3-319-97879-6_15