Reference : AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for...

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/36289

Title :	AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Language :	English
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]
Publication date :	2018
Main document title :	26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Peer reviewed :	Yes
Audience :	International
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
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/).
Permalink :	http://hdl.handle.net/10993/36289
DOI :	10.1145/3236024.3264588
Framework Programme / European Project :	H2020 ; 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access AlloyInEcore_FSE2018.pdf Author postprint 751.45 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map