Using ALF within the CoSTest process for validation of UML-based conceptual schema

Maria Fernanda Granda; Nelly Condori-Fernández; Tanja E.J. Vos

Using ALF within the CoSTest process for validation of UML-based conceptual schema

Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E.J. Vos

Software and Sustainability (S2)

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

Abstract

The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical specification techniques used by mainstream software engineers and the precise analysis and validation techniques essential for the model-driven development of information systems. As far as we know, the idea of transforming Conceptual Schemas (CS) based on UML Class Diagrams into ALF to execute systematic ALF-based test cases against these CSs and to report defects by checking logs has not been explored to date. In this paper, we use ALF to create a testing environment to validate requirements and verify some system properties at the CS level. We also report on some of the implementation details and design decisions of our proof-of-concept tool, as well as its limitations and possible use scenarios.

Original language	English
Title of host publication	ER-Forum-Demos 2017 Forum and Demos at ER 2017
Subtitle of host publication	Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017) Valencia, Spain, November 6-9, 2017
Editors	Cristina Cabanillas, Sergio España, Siamak Farshidi
Publisher	CEUR-WS.org
Pages	271-284
Number of pages	14
Publication status	Published - 2017

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR Workshop Proceedings
Volume	1979
ISSN (Print)	1613-0073

Funding

This work is supported by SENESCYT of the Republic of Ecuador, Spanish Ministry of Economy, Industry, Competitiveness and the Generalitat Valenciana under the projects the PGE (TIN2016-78011-C4-1-R), FEDER (TIN2013-46238-C4-3-R), TIN2016-80811-P and PROMETEO II/2014/039, and cofinanced with ERDF.

Funders	Funder number
Ministry of Economy, Industry, Competitiveness and the Generalitat Valenciana	TIN2016-78011-C4-1-R
PROMETEO	II/2014/039
Secretaría de Educación Superior, Ciencia, Tecnología e Innovación
European Regional Development Fund	TIN2016-80811-P, TIN2013-46238-C4-3-R

Keywords

Conceptual schema validation
CoSTest tool
Model validation
UML class diagram
UML to ALF

Access to Document

https://ceur-ws.org/Vol-1979/paper-10.pdf

Persistent URL (handle)

Persistent link

Cite this

Granda, M. F., Condori-Fernández, N., & Vos, T. E. J. (2017). Using ALF within the CoSTest process for validation of UML-based conceptual schema. In C. Cabanillas, S. España, & S. Farshidi (Eds.), ER-Forum-Demos 2017 Forum and Demos at ER 2017: Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017) Valencia, Spain, November 6-9, 2017 (pp. 271-284). (CEUR Workshop Proceedings; Vol. 1979). CEUR-WS.org. https://ceur-ws.org/Vol-1979/paper-10.pdf

Granda, Maria Fernanda ; Condori-Fernández, Nelly ; Vos, Tanja E.J. / Using ALF within the CoSTest process for validation of UML-based conceptual schema. ER-Forum-Demos 2017 Forum and Demos at ER 2017: Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017) Valencia, Spain, November 6-9, 2017. editor / Cristina Cabanillas ; Sergio España ; Siamak Farshidi. CEUR-WS.org, 2017. pp. 271-284 (CEUR Workshop Proceedings).

@inproceedings{46e4fd178b6e4178a047e0ad2049fa8d,

title = "Using ALF within the CoSTest process for validation of UML-based conceptual schema",

abstract = "The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical specification techniques used by mainstream software engineers and the precise analysis and validation techniques essential for the model-driven development of information systems. As far as we know, the idea of transforming Conceptual Schemas (CS) based on UML Class Diagrams into ALF to execute systematic ALF-based test cases against these CSs and to report defects by checking logs has not been explored to date. In this paper, we use ALF to create a testing environment to validate requirements and verify some system properties at the CS level. We also report on some of the implementation details and design decisions of our proof-of-concept tool, as well as its limitations and possible use scenarios.",

keywords = "Conceptual schema validation, CoSTest tool, Model validation, UML class diagram, UML to ALF",

author = "Granda, {Maria Fernanda} and Nelly Condori-Fern{\'a}ndez and Vos, {Tanja E.J.}",

year = "2017",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

pages = "271--284",

editor = "Cristina Cabanillas and Sergio Espa{\~n}a and Siamak Farshidi",

booktitle = "ER-Forum-Demos 2017 Forum and Demos at ER 2017",

}

Granda, MF, Condori-Fernández, N & Vos, TEJ 2017, Using ALF within the CoSTest process for validation of UML-based conceptual schema. in C Cabanillas, S España & S Farshidi (eds), ER-Forum-Demos 2017 Forum and Demos at ER 2017: Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017) Valencia, Spain, November 6-9, 2017. CEUR Workshop Proceedings, vol. 1979, CEUR-WS.org, pp. 271-284. <https://ceur-ws.org/Vol-1979/paper-10.pdf>

Using ALF within the CoSTest process for validation of UML-based conceptual schema. / Granda, Maria Fernanda; Condori-Fernández, Nelly; Vos, Tanja E.J.
ER-Forum-Demos 2017 Forum and Demos at ER 2017: Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017) Valencia, Spain, November 6-9, 2017. ed. / Cristina Cabanillas; Sergio España; Siamak Farshidi. CEUR-WS.org, 2017. p. 271-284 (CEUR Workshop Proceedings; Vol. 1979).

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

TY - GEN

T1 - Using ALF within the CoSTest process for validation of UML-based conceptual schema

AU - Granda, Maria Fernanda

AU - Condori-Fernández, Nelly

AU - Vos, Tanja E.J.

PY - 2017

Y1 - 2017

N2 - The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical specification techniques used by mainstream software engineers and the precise analysis and validation techniques essential for the model-driven development of information systems. As far as we know, the idea of transforming Conceptual Schemas (CS) based on UML Class Diagrams into ALF to execute systematic ALF-based test cases against these CSs and to report defects by checking logs has not been explored to date. In this paper, we use ALF to create a testing environment to validate requirements and verify some system properties at the CS level. We also report on some of the implementation details and design decisions of our proof-of-concept tool, as well as its limitations and possible use scenarios.

AB - The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical specification techniques used by mainstream software engineers and the precise analysis and validation techniques essential for the model-driven development of information systems. As far as we know, the idea of transforming Conceptual Schemas (CS) based on UML Class Diagrams into ALF to execute systematic ALF-based test cases against these CSs and to report defects by checking logs has not been explored to date. In this paper, we use ALF to create a testing environment to validate requirements and verify some system properties at the CS level. We also report on some of the implementation details and design decisions of our proof-of-concept tool, as well as its limitations and possible use scenarios.

KW - Conceptual schema validation

KW - CoSTest tool

KW - Model validation

KW - UML class diagram

KW - UML to ALF

UR - http://www.scopus.com/inward/record.url?scp=85035070094&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85035070094&partnerID=8YFLogxK

UR - https://ceur-ws.org/Vol-1979/

M3 - Conference contribution

AN - SCOPUS:85035070094

T3 - CEUR Workshop Proceedings

SP - 271

EP - 284

BT - ER-Forum-Demos 2017 Forum and Demos at ER 2017

A2 - Cabanillas, Cristina

A2 - España, Sergio

A2 - Farshidi, Siamak

PB - CEUR-WS.org

ER -

Granda MF, Condori-Fernández N, Vos TEJ. Using ALF within the CoSTest process for validation of UML-based conceptual schema. In Cabanillas C, España S, Farshidi S, editors, ER-Forum-Demos 2017 Forum and Demos at ER 2017: Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017) Valencia, Spain, November 6-9, 2017. CEUR-WS.org. 2017. p. 271-284. (CEUR Workshop Proceedings). Epub 2017 Nov 5.

Using ALF within the CoSTest process for validation of UML-based conceptual schema

Abstract

Publication series

Funding

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this