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

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

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


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 languageEnglish
Title of host publicationER-Forum-Demos 2017 Forum and Demos at ER 2017
Subtitle of host publicationProceedings 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
EditorsCristina Cabanillas, Sergio España, Siamak Farshidi
Number of pages14
Publication statusPublished - 2017

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR Workshop Proceedings
ISSN (Print)1613-0073


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.

FundersFunder number
Ministry of Economy, Industry, Competitiveness and the Generalitat ValencianaTIN2016-78011-C4-1-R
Secretaría de Educación Superior, Ciencia, Tecnología e Innovación
European Regional Development FundTIN2016-80811-P, TIN2013-46238-C4-3-R


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


    Dive into the research topics of 'Using ALF within the CoSTest process for validation of UML-based conceptual schema'. Together they form a unique fingerprint.

    Cite this