A tool for automated reasoning about traces based on configurable formal semantics

Ferhat Erata; A. Göknil; B. Tekinerdogan; G. Kardas

doi:10.1145/3106237.3122825

A tool for automated reasoning about traces based on configurable formal semantics

Ferhat Erata, A. Göknil, B. Tekinerdogan, G. Kardas

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

4 Citations (Scopus)

Abstract

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/).

Original language	English
Title of host publication	Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017)
Publisher	ACM
Pages	959-963
ISBN (Print)	9781450351058
DOIs	https://doi.org/10.1145/3106237.3122825
Publication status	Published - 2017

Keywords

Alloy
Automated Reasoning
Domain-Specific Modeling
Formal Trace Semantics
KodKod
Traceability

Access to Document

10.1145/3106237.3122825

Cite this

@inproceedings{6745a473f6304231ba1cc8addeb1d3d4,

title = "A tool for automated reasoning about traces based on configurable formal semantics",

abstract = "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/).",

keywords = "Alloy, Automated Reasoning, Domain-Specific Modeling, Formal Trace Semantics, KodKod, Traceability",

author = "Ferhat Erata and A. G{\"o}knil and B. Tekinerdogan and G. Kardas",

year = "2017",

doi = "10.1145/3106237.3122825",

language = "English",

isbn = "9781450351058",

pages = "959--963",

booktitle = "Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017)",

publisher = "ACM",

}

A tool for automated reasoning about traces based on configurable formal semantics. / Erata, Ferhat; Göknil, A.; Tekinerdogan, B. et al.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017). ACM, 2017. p. 959-963.

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

TY - GEN

T1 - A tool for automated reasoning about traces based on configurable formal semantics

AU - Erata, Ferhat

AU - Göknil, A.

AU - Tekinerdogan, B.

AU - Kardas, G.

PY - 2017

Y1 - 2017

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

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

KW - Alloy

KW - Automated Reasoning

KW - Domain-Specific Modeling

KW - Formal Trace Semantics

KW - KodKod

KW - Traceability

U2 - 10.1145/3106237.3122825

DO - 10.1145/3106237.3122825

M3 - Conference paper

SN - 9781450351058

SP - 959

EP - 963

BT - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017)

PB - ACM

ER -

A tool for automated reasoning about traces based on configurable formal semantics

Abstract

Keywords

Access to Document

Fingerprint

Cite this