Tarski: A platform for automated analysis of dynamically configurable traceability semantics

Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas

Research output: Chapter in Book/Report/Conference proceedingConference paperAcademicpeer-review

6 Citations (Scopus)


Traceability can be defined as the degree to which a relationship can be established among work products of the development process. Traceability is important to support the consistency and likewise to ensure that a system is understandable, maintainable and reliable. Several approaches have been proposed to model traceability elements and reason about them by extending a predetermined set of possible trace links with fixed semantics. Furthermore, they do not cope with the need for dynamic adaptation and configuration of traceability semantics. However, different project types usually require various ways of tracing the system to obtain richer and precise automated traceability analysis. In this paper, we introduce a novel approach with its supporting platform which enables the user to rigorously configure the system based on project-specific needs and interactively specify the semantics of traceability elements. The semantics of traceability elements are formalized using first-order relational logic, which are used to facilitate different form of automated analysis. The use of the proposed approach and the corresponding tool is described within the context of an industrial application lifecycle management process.

Original languageEnglish
Title of host publicationProceedings of the Symposium on Applied Computing
Subtitle of host publicationSAC '17
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery
VolumePart F128005
ISBN (Electronic)9781450344869
Publication statusPublished - 2017
Event32nd Annual ACM Symposium on Applied Computing, SAC 2017 - Marrakesh, Morocco
Duration: 4 Apr 20176 Apr 2017


Conference32nd Annual ACM Symposium on Applied Computing, SAC 2017


  • Alloy
  • Automated analysis
  • Domain-specific modeling
  • Formal trace semantics
  • KodKod
  • Traceability

Fingerprint Dive into the research topics of 'Tarski: A platform for automated analysis of dynamically configurable traceability semantics'. Together they form a unique fingerprint.

Cite this