A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics

Erata, Ferhat; Göknil, Arda; Tekinerdogan, Bedir; Kardas, Geylani

doi:10.1145/3106237.3122825

Reference : A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics


	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/31835

Title :	A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Language :	English
Author, co-author :	Erata, Ferhat [Wageningen University - WUR]
	Göknil, Arda [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Tekinerdogan, Bedir [Wageningen University - WUR]
	Kardas, Geylani [Ege University]
Publication date :	2017
Main document title :	11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017))
Pages :	959-963
Peer reviewed :	Yes
Audience :	International
Event name :	ESEC / FSE 2017
Event date :	from 04-09-2017 to 08-09-2017
Event place (city) :	Paderborn
Event country :	Germany
Keywords :	[en] Traceability ; Domain-Specific Modeling ; Formal Trace Semantics
Abstract :	[en] We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of traces be modeled between and within development artifacts. For any given artifact (e.g., requirements, architecture models and source code), Tarski allows the user to specify new trace types and their configurable semantics, while, using the semantics, it automatically infers new traces based on existing traces provided by the user, and checks the consistency of traces. It has been evaluated on three industrial case studies in the automotive domain (https://modelwriter.github.io/Tarski/).
Permalink :	http://hdl.handle.net/10993/31835
DOI :	10.1145/3106237.3122825

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Tarski_FSE.pdf		Publisher postprint	1.14 MB	View/Open

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

University of Luxembourg Library | Feedback | Legal notices