26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), November 4–9, 2018, Lake Buena Vista, FL, USA

Desktop Layout

Tool Demonstrations
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev, and Bedir Tekinerdogan
(UNIT Information Technologies, Turkey; University of Luxembourg, Luxembourg; Altran, Netherlands; Wageningen University, Netherlands)
Publisher's Version
Supplementary Material
Abstract: We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require that software systems be specified in various models (e.g., requirements models, architecture models, test models, and source code). It is crucial to reason about those models to ensure the correct and complete system specifications. AlloyInEcore~allows the user to specify metamodels with their static semantics, while, using the semantics, it automatically detects inconsistent models, and completes partial models. It has been evaluated on three industrial case studies in the automotive domain (


Time stamp: 2019-05-22T17:25:34+02:00