AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

Ferhat Erata; Arda Goknil; Ivan Kurtev; Bedir Tekinerdogan

doi:10.1145/3236024.3264588

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

Ferhat Erata^*, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Academic › peer-review

3 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering
Place of Publication	New York
Publisher	Association for Computing Machinery, Inc
Pages	920-923
ISBN (Print)	9781450355735
DOIs	https://doi.org/10.1145/3236024.3264588
Publication status	Published - 26 Oct 2018
Event	26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018 - Lake Buena Vista, United States Duration: 4 Nov 2018 → 9 Nov 2018

Conference/symposium

Conference/symposium	26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018
Country/Territory	United States
City	Lake Buena Vista
Period	4/11/18 → 9/11/18

Keywords

Alloy
Formal Reasoning
KodKod
Modeling
Relational Logic

Access to Document

10.1145/3236024.3264588

Cite this

Erata, F., Goknil, A., Kurtev, I., & Tekinerdogan, B. (2018). AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. In Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering (pp. 920-923). Association for Computing Machinery, Inc. https://doi.org/10.1145/3236024.3264588

Erata, Ferhat ; Goknil, Arda ; Kurtev, Ivan et al. / AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. New York : Association for Computing Machinery, Inc, 2018. pp. 920-923

@inproceedings{65b07a31bc054655a8e1e0ca01ecc140,

title = "AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning",

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.",

keywords = "Alloy, Formal Reasoning, KodKod, Modeling, Relational Logic",

author = "Ferhat Erata and Arda Goknil and Ivan Kurtev and Bedir Tekinerdogan",

year = "2018",

month = oct,

day = "26",

doi = "10.1145/3236024.3264588",

language = "English",

isbn = "9781450355735",

pages = "920--923",

booktitle = "Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering",

publisher = "Association for Computing Machinery, Inc",

note = "26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018 ; Conference date: 04-11-2018 Through 09-11-2018",

}

Erata, F, Goknil, A, Kurtev, I & Tekinerdogan, B 2018, AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. in Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Association for Computing Machinery, Inc, New York, pp. 920-923, 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018, Lake Buena Vista, United States, 4/11/18. https://doi.org/10.1145/3236024.3264588

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. / Erata, Ferhat; Goknil, Arda; Kurtev, Ivan et al.
Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. New York: Association for Computing Machinery, Inc, 2018. p. 920-923.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Academic › peer-review

TY - GEN

T1 - AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

AU - Erata, Ferhat

AU - Goknil, Arda

AU - Kurtev, Ivan

AU - Tekinerdogan, Bedir

PY - 2018/10/26

Y1 - 2018/10/26

N2 - 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.

AB - 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.

KW - Alloy

KW - Formal Reasoning

KW - KodKod

KW - Modeling

KW - Relational Logic

U2 - 10.1145/3236024.3264588

DO - 10.1145/3236024.3264588

M3 - Conference paper

AN - SCOPUS:85058246774

SN - 9781450355735

SP - 920

EP - 923

BT - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering

PB - Association for Computing Machinery, Inc

CY - New York

T2 - 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018

Y2 - 4 November 2018 through 9 November 2018

ER -

Erata F, Goknil A, Kurtev I, Tekinerdogan B. AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning. In Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. New York: Association for Computing Machinery, Inc. 2018. p. 920-923 doi: 10.1145/3236024.3264588

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

Abstract

Conference/symposium

Keywords

Access to Document

Fingerprint

Cite this