More Web Proxy on the site http://driver.im/

research-article

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

Authors:

Moharram Challenger,

Bedir Tekinerdogan,

Geylani KardasAuthors Info & Claims

SAC '17: Proceedings of the Symposium on Applied Computing

Pages 1607 - 1614

https://doi.org/10.1145/3019612.3019747

Published: 03 April 2017 Publication History

Abstract

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.

References

[1]

J.-R. Abrial. The B-book: assigning programs to meanings. Cambridge University Press, 2005.

Digital Library

[2]

N. Aizenbud-Reshef, R. F. Paige, J. Rubin, Y. Shaham-Gafni, and D. S. Kolovos. Operational semantics for traceability. In ECMDA Traceability Workshop (ECMDA-TW), pages 8--14, 2005.

[3]

P. Bourque and R. E. Fairley. Guide to the Software Engineering Body of Knowledge (SWEBOK) Version 3.0. IEEE Computer Society Press, 3rd edition, 2014.

Digital Library

[4]

D. Chappell. What is Application Lifecycle Management? Chappell & Associates, 2008.

[5]

P. P.-S. Chen. The Entity-relationship Model; toward a unified view of data. ACM Trans. Database Syst., 1(1):9--36, Mar. 1976.

Digital Library

[6]

N. Drivalos, D. S. Kolovos, R. F. Paige, and K. J. Fernandes. Engineering a DSL for Software Traceability, pages 151--167. Springer Berlin Heidelberg, 2009.

Digital Library

[7]

J. Edwards, D. Jackson, and E. Torlak. A type system for object models. SIGSOFT Softw. Eng. Notes, 29(6):189--199, Oct. 2004.

Digital Library

[8]

A. A. El Ghazi and M. Taghdiri. Relational reasoning via SMT solving. In International Symposium on Formal Methods, pages 133--148. Springer, 2011.

Digital Library

[9]

A. Goknil, I. Kurtev, and K. V. D. Berg. Generation and validation of traces between requirements and architecture based on formal trace semantics. Journal of Systems and Software, 88:112 -- 137, 2014.

[10]

A. Goknil, I. Kurtev, K. van den Berg, and W. Spijkerman. Change impact analysis for requirements: A metamodeling approach. Information and Software Technology, 56(8):950 -- 972, 2014.

[11]

A. Goknil, I. Kurtev, K. van den Berg, and J.-W. Veldhuis. Semantics of trace relations in requirements models for consistency checking and inferencing. Softw. Syst. Model, 10(1):31--54, 2011.

Digital Library

[12]

A. Graf, N. Sasidharan, and Ö. Gürsoy. Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (ReqIF), pages 187--199. Springer Berlin Heidelberg, 2012.

[13]

M. Hammer and D. McLeod. The Semantic Data Model: A modelling mechanism for data base applications. In ACM SIGMOD International Conference on Management of Data, pages 26--36, New York, NY, USA, 1978.

Digital Library

[14]

IBM. Rational DOORS: A requirements management tool for systems and advanced IT applications, 2011.

[15]

D. Jackson. Alloy: A lightweight object modelling notation. ACM Transaction Software Engineering Methodology, 11(2):256--290, Apr. 2002.

Digital Library

[16]

D. Jackson. Software Abstractions: logic, language, and analysis. MIT press, 2012.

Digital Library

[17]

D. Kolovos, R. Paige, and F. Polack. Detecting and repairing inconsistencies across heterogeneous models. In 1st International Conference on Software Testing, Verification, and Validation, pages 356--364, 2008.

Digital Library

[18]

S. Nair, J. L. de la Vara, and S. Sen. A review of traceability research at the requirements engineering conferencere. In 21st IEEE International Requirements Engineering Conference, pages 222--229, July 2013.

[19]

R. F. Paige, N. Drivalos, D. S. Kolovos, K. J. Fernandes, C. Power, G. K. Olsen, and S. Zschaler. Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model., 10(4):469--487, 2011.

Digital Library

[20]

M. Sabetzadeh, S. Nejati, S. Liaskos, S. Easterbrook, and M. Chechik. Consistency checking of conceptual models via model merging. In International Requirements Engineering Conf., pages 221--230, 2007.

[21]

M. Soares and J. Vrancken. Model-driven user requirements specification using SysML. Journal of Software, 3(6):57--68, 2008.

[22]

J. M. Spivey. The Z notation: a reference manual. Prentice-Hall, New York, NY, 1992.

Digital Library

[23]

D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro. EMF: Eclipse Modeling Framework. Pearson Education, 2008.

Digital Library

[24]

A. Tarski. On the calculus of relations. The Journal of Symbolic Logic, 6(03):73--89, 1941.

[25]

E. Torlak. A constraint solver for software engineering: finding models and cores of large relational specifications. PhD thesis, Massachusetts Institute of Technology, 2008.

Digital Library

[26]

S. Winkler and J. Pilgrim. A survey of traceability in requirements engineering and model-driven development. Softw. Syst. Model., 9(4):529--565, 2010.

Digital Library

Cited By

Ozkaya MAkdur DToptani EKocak BKardas G(2023)Practitioners’ Perspectives towards Requirements Engineering: A SurveySystems10.3390/systems1102006511:2(65)Online publication date: 27-Jan-2023
https://doi.org/10.3390/systems11020065
Wen HWu JJiang JLi JHong Z(2023)A Formal Approach for Traceability Preservation in Software Development ProcessTheoretical Computer Science10.1007/978-981-99-7743-7_2(18-35)Online publication date: 26-Nov-2023
https://doi.org/10.1007/978-981-99-7743-7_2
Ltaief HKaraduman BBoussaid BChallenger M(2022)Agent based implementation of a Robot Arm and Smart Production Line using Jade Framework2022 11th Mediterranean Conference on Embedded Computing (MECO)10.1109/MECO55406.2022.9797162(1-12)Online publication date: 7-Jun-2022
https://doi.org/10.1109/MECO55406.2022.9797162
Show More Cited By

Index Terms

Tarski: a platform for automated analysis of dynamically configurable traceability semantics
1. Software and its engineering

Recommendations

A tool for automated reasoning about traces based on configurable formal semantics
ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

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 ...
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning
ESEC/FSE 2018: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

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 ...
Towards B as a High-Level Constraint Modelling Language
ABZ 2014: Proceedings of the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 8477

We argue that B is a good language to conveniently express a wide range of constraint satisfaction problems. We also show that some problems can be solved quite effectively by the ProB tool. We illustrate our claim on several examples, such as the jobs ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '17: Proceedings of the Symposium on Applied Computing

April 2017

2004 pages

ISBN:9781450344869

DOI:10.1145/3019612

Conference Chair:
Sung Y. Shin
South Dakota State University
,
Program Chairs:
Dongwan Shin
New Mexico Tech
,
Maria Lencastre
University of Pernambuco, Brazil

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 April 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Türkiye Bilimsel ve Teknolojik Ara_tirma Kurumu
Direction Générale des Entreprises
European Cooperation in Science and Technology

Conference

SAC 2017

Sponsor:

SIGAPP

SAC 2017: Symposium on Applied Computing

April 3 - 7, 2017

Marrakech, Morocco

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
95
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)3

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ozkaya MAkdur DToptani EKocak BKardas G(2023)Practitioners’ Perspectives towards Requirements Engineering: A SurveySystems10.3390/systems1102006511:2(65)Online publication date: 27-Jan-2023
https://doi.org/10.3390/systems11020065
Wen HWu JJiang JLi JHong Z(2023)A Formal Approach for Traceability Preservation in Software Development ProcessTheoretical Computer Science10.1007/978-981-99-7743-7_2(18-35)Online publication date: 26-Nov-2023
https://doi.org/10.1007/978-981-99-7743-7_2
Ltaief HKaraduman BBoussaid BChallenger M(2022)Agent based implementation of a Robot Arm and Smart Production Line using Jade Framework2022 11th Mediterranean Conference on Embedded Computing (MECO)10.1109/MECO55406.2022.9797162(1-12)Online publication date: 7-Jun-2022
https://doi.org/10.1109/MECO55406.2022.9797162
Schoofs EKisaakye JKaraduman BChallenger M(2021)Software Agent-based Multi-Robot Development: A Case Study2021 10th Mediterranean Conference on Embedded Computing (MECO)10.1109/MECO52532.2021.9460210(1-8)Online publication date: 7-Jun-2021
https://doi.org/10.1109/MECO52532.2021.9460210
Hamdi MGhannem AKessentini M(2021)Requirements traceability recovery for the purpose of software reuse: an interactive genetic algorithm approachInnovations in Systems and Software Engineering10.1007/s11334-021-00418-218:1(193-213)Online publication date: 1-Dec-2021
https://doi.org/10.1007/s11334-021-00418-2
Tekinerdogan BErata F(2020)Automated reasoning framework for traceability management of system of systemsScience of Computer Programming10.1016/j.scico.2020.102416(102416)Online publication date: Feb-2020
https://doi.org/10.1016/j.scico.2020.102416
Erata FGoknil AKurtev ITekinerdogan BLeavens GGarcia APăsăreanu C(2018)AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoningProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3264588(920-923)Online publication date: 26-Oct-2018
https://dl.acm.org/doi/10.1145/3236024.3264588
Elamin ROsman R(2018)Implementing Traceability Repositories as Graph Databases for Software Quality Improvement2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS.2018.00040(269-276)Online publication date: Jul-2018
https://doi.org/10.1109/QRS.2018.00040
Erata FGardent CGyawali BShimorina ALussaud YTekinerdogan BKardas GMonceaux ARosu GDi Penta MNguyen T(2017)ModelWriter: text and model-synchronized document engineering platformProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering10.5555/3155562.3155676(907-912)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.5555/3155562.3155676
Erata FGoknil ATekinerdogan BKardas GBodden ESchäfer WDeursen AZisman A(2017)A tool for automated reasoning about traces based on configurable formal semanticsProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3122825(959-963)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3122825
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents