Please use this identifier to cite or link to this item:
http://dspace.ucuenca.edu.ec/handle/123456789/34178
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Granda Juca, Maria Fernanda | - |
dc.contributor.author | Condori Fernández, Nelly | - |
dc.contributor.author | Vos, Tanja Ernestina | - |
dc.date.accessioned | 2020-04-16T22:45:33Z | - |
dc.date.available | 2020-04-16T22:45:33Z | - |
dc.date.issued | 2017 | - |
dc.identifier.isbn | 000-0-0000-00 | - |
dc.identifier.issn | 1613-0073 | - |
dc.identifier.uri | http://ceur-ws.org/Vol-1979/paper-10.pdf | - |
dc.description | El lenguaje de modelado unificado (UML) se usa ampliamente para modelar sistemas de software y su integración con lenguajes ejecutables, como el lenguaje de acción para UML fundacional (ALF), proporciona un puente entre las técnicas de especificación gráfica utilizadas por los ingenieros de software convencionales y el análisis preciso y técnicas de validación esenciales para el desarrollo basado en modelos de sistemas de información. Hasta donde sabemos, la idea de transformar esquemas conceptuales (CS) basados en diagramas de clase UML en ALF para ejecutar casos de prueba sistemáticos basados en ALF contra estos CS y para informar defectos mediante la verificación de registros no se ha explorado hasta la fecha. En este documento, utilizamos ALF para crear un entorno de prueba para validar los requisitos y verificar algunas propiedades del sistema a nivel CS. También informamos sobre algunos de los detalles de implementación y las decisiones de diseño de nuestra herramienta de prueba de concepto, así como sus limitaciones y posibles escenarios de uso. | - |
dc.description.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. | - |
dc.language.iso | es_ES | - |
dc.publisher | CEUR-WS | - |
dc.source | ER-Forum-Demos 2017 Forum and Demos at ER 2017 | - |
dc.subject | UML to ALF | - |
dc.subject | Conceptual schema validation | - |
dc.subject | Model validation | - |
dc.subject | UML class diagram | - |
dc.subject | CoSTest tool | - |
dc.title | Using ALF within the CoSTest process for validation of UML-based conceptual schema | - |
dc.title.alternative | Uso de ALF dentro del proceso CoSTest para la validación de esquemas conceptuales basados en UML | - |
dc.type | ARTÍCULO DE CONFERENCIA | - |
dc.description.city | Valencia | - |
dc.ucuenca.idautor | 0702952441 | - |
dc.ucuenca.idautor | 0000-0002-1044-3871 | - |
dc.ucuenca.idautor | Sgrp-2105-3 | - |
dc.ucuenca.version | Versión publicada | - |
dc.ucuenca.areaconocimientounescoamplio | 06 - Información y Comunicación (TIC) | - |
dc.ucuenca.afiliacion | Granda, M., Universidad de Cuenca, Departamento de Ciencias de la Computación, Cuenca, Ecuador | - |
dc.ucuenca.afiliacion | Condori, N., Vrije Universiteit Amsterdam, Amsterdam, Holanda | - |
dc.ucuenca.afiliacion | Vos, T., Universitat Politècnica de València, Valencia, España | - |
dc.ucuenca.correspondencia | Granda Juca, Maria Fernanda, fernanda.granda@ucuenca.edu.ec | - |
dc.ucuenca.volumen | Volumen 1979 | - |
dc.ucuenca.indicebibliografico | SCOPUS | - |
dc.ucuenca.factorimpacto | 0.18 | - |
dc.ucuenca.numerocitaciones | 0 | - |
dc.ucuenca.areaconocimientofrascatiamplio | 2. Ingeniería y Tecnología | - |
dc.ucuenca.pais | ESPAÑA | - |
dc.ucuenca.conferencia | The 36th International Conference on Conceptual Modeling | - |
dc.ucuenca.areaconocimientofrascatiespecifico | 2.2 Ingenierias Eléctrica, Electrónica e Información | - |
dc.ucuenca.areaconocimientofrascatidetallado | 2.2.4 Ingeniería de La Comunicación y de Sistemas | - |
dc.ucuenca.areaconocimientounescoespecifico | 061 - Información y Comunicación (TIC) | - |
dc.ucuenca.areaconocimientounescodetallado | 0613 - Software y Desarrollo y Análisis de Aplicativos | - |
dc.ucuenca.fechainicioconferencia | 2017-11-06 | - |
dc.ucuenca.fechafinconferencia | 2017-11-09 | - |
dc.ucuenca.organizadorconferencia | Universidad Politécnica de Valencia | - |
dc.ucuenca.comiteorganizadorconferencia | Oscar Pastor;Ignacio Panach;Victoria Torres | - |
dc.ucuenca.urifuente | http://ceur-ws.org/Vol-1979/ | - |
dc.contributor.ponente | Granda Juca, Maria Fernanda | - |
Appears in Collections: | Artículos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
documento.pdf | document | 538.19 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Centro de Documentacion Regional "Juan Bautista Vázquez" | ||||||||||
|