Paper published in a book (Scientific congresses, symposiums and conference proceedings)
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Erata, Ferhat; Göknil, Arda; Kurtev, Ivan et al.
2018In 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Peer reviewed
 

Files


Full Text
AlloyInEcore_FSE2018.pdf
Author postprint (769.48 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] 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 (https://modelwriter.github.io/AlloyInEcore/).
Disciplines :
Computer science
Author, co-author :
Erata, Ferhat;  Unit Information Technologies R&D
Göknil, Arda ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kurtev, Ivan;  Altran Netherlands
Tekinerdogan, Bedir;  Wageningen University
External co-authors :
yes
Language :
English
Title :
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Publication date :
2018
Event name :
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Event date :
from 04-11-2018 to 09-11-2018
Audience :
International
Main work title :
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Peer reviewed :
Peer reviewed
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 07 August 2018

Statistics


Number of views
113 (22 by Unilu)
Number of downloads
296 (12 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
1
OpenCitations
 
2
WoS citations
 
2

Bibliography


Similar publications



Contact ORBilu