Skip to content

IngSisFAI/sevataxtool

Repository files navigation

SeVaTax Tool

This is the SeVaTax tool implemented for supported the SeVaTax process. It is a Web tool that follows a layered model implemented as a client-server architecture.

In the following figure we show the software components and inputs/outputs included in the SeVaTax architecture. The figure is divided into four modules with the components and input/output flows involved.

Screenshot

Keywords: Analysis of Variability Models; Automatic Analysis; Software Product Line

Implementation

Clone or download the project.

Run ng serve for a localhost implementation. Go to http://localhost:4200/.

The tool only accepts inputs as JSON files.

Examples of datasheets can be found in src/assets/datasheet

More examples can be generated by using the Variability Model Generator tool (https://github.com/IngSisFAI/variabilityModelGenerator)

Publications

A. Buccella, M. Pol'la, E. Ruiz de Galarreta, A. Cechich, A. Combining Automatic Variability Analysis Tools: An SPL Approach for Building a Framework for Composition. Computational Science and Its Applications - ICCSA 2018 - 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part IV. Springer, 2018, Vol. 10963, Lecture Notes in Computer Science, pp. 435–451. doi:10.1007/978-3-319-95171-3_34.

M. Pol'la, A. Buccella, A. Cechich. Using Scope Scenarios to Verify Multiple Variability Models. 19th International Conference on Computational Science and Applications ICCSA (5) 2019: 383-399. Lecture Notes in Computer Science 11619-11624 ISBN-10 : 3030242889.

M. Pol'la, A. Buccella, A. Cechich. Analysis of variability models: a systematic literature review. Software and Systems Modeling (2020). https://doi.org/10.1007/s10270-020-00839-w. ISSN 1619-1366. E-ISSN 1619-1374.

G. Braun, M. Pol’la, L. Cecchi, A. Buccella, P. Fi-llottrani, and A. Cechich. A DL semantics for reasoning over ovm-based variability models.In Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July18-21, 2017.

A. Buccella, M. Pol’la, E. Ruiz de Galarreta, and A. Cechich. Combining automatic variability analysis tools: An spl approach for building a framework for composition.In O. Gervasi, B. Murgante, S. Misra, E. Stankova, C. M. Torre, etol editors. Computational Science and Its Applications – ICCSA 2018, pages 435–451, Cham, 2018.Springer International Publishing.

Acknowledgments

This work is partially supported by the UNComa project 04/F009 "Reuso de Software orientado a Dominios - Parte II" part of the program "Desarrollo de Software Basado en Reuso - Parte II."

This work is part of the PhD thesis of Matías Pol'la. Universidad Nacional del Centro de la Provincia de Buenos Aires. Argentina. 01/06/2021

About

sevatax tool to validate FM model

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published