Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model
En el ciclo de vida del software, durante las fases de definición y análisis, se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que repr...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad de Medellín
2008-01-01
|
| Series: | Revista Ingenierías Universidad de Medellín |
| Subjects: | |
| Online Access: | http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1692-33242008000100010 |
| _version_ | 1818315960524734464 |
|---|---|
| author | Carlos Mario Zapata Guillermo González |
| author_facet | Carlos Mario Zapata Guillermo González |
| author_sort | Carlos Mario Zapata |
| collection | DOAJ |
| description | En el ciclo de vida del software, durante las fases de definición y análisis, se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que representan tanto el problema como su solución. Por lo general, la mayoría de esos modelos se expresan en el lenguaje de modelado unificado -UML-, que define un conjunto de artefactos que permiten especificar los requisitos del software, los cuales deberían guardar consistencia, cuando se trate del mismo modelo. Sin embargo, la consistencia entre diferentes artefactos no se encuentra definida en la especificación de UML y poco se ha trabajado con este tipo de consistencia. En este artículo se propone un método para verificar la consistencia entre el diagrama de clases y el diagrama de casos de uso de UML de una manera formal. Dicho proceso se lleva a cabo evaluando una serie de reglas definidas en el lenguaje de restricciones de objetos -OCL- que se deben cumplir para garantizar que la información brindada por dichos modelos sea consistente. Como se reconoce la participación de los dos diagramas en la elaboración de las interfaces gráficas de usuario -GUI-, se define adicionalmente la consistencia con este artefacto.<br>In a software lifetime, during definition and analysis stages, a specification of requirements is carried out. For such a purpose, it is necessary to get through a process to capture interested persons’ needs and expectations, which will later be translated into a set of models representing both the problem and the solution. Most models are frequently expressed by the UML (Unified Modeling Language) which defines a set of devices for specifying software requirements which should be consistent with the same model. However, consistency among several devices is not defined in the UML specification and not too much work has been made with this type of consistence. This article proposes a method to verify consistence among UML class diagram and use case diagram in a formal way. Such a process is carried out through an evaluation of several rules defined in the OCL (Object Constraint Language), which should be fulfilled to assure that information provided by such models is consistent. As both diagrams participation is recognized when preparing GUI (Graphic User Interfaces) consistence with this device is additionally defined |
| first_indexed | 2024-12-13T09:13:50Z |
| format | Article |
| id | doaj.art-8db85b32853445fbba1102dbd6386e56 |
| institution | Directory Open Access Journal |
| issn | 1692-3324 |
| language | English |
| last_indexed | 2024-12-13T09:13:50Z |
| publishDate | 2008-01-01 |
| publisher | Universidad de Medellín |
| record_format | Article |
| series | Revista Ingenierías Universidad de Medellín |
| spelling | doaj.art-8db85b32853445fbba1102dbd6386e562022-12-21T23:52:53ZengUniversidad de MedellínRevista Ingenierías Universidad de Medellín1692-33242008-01-01712169191Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces modelCarlos Mario ZapataGuillermo GonzálezEn el ciclo de vida del software, durante las fases de definición y análisis, se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que representan tanto el problema como su solución. Por lo general, la mayoría de esos modelos se expresan en el lenguaje de modelado unificado -UML-, que define un conjunto de artefactos que permiten especificar los requisitos del software, los cuales deberían guardar consistencia, cuando se trate del mismo modelo. Sin embargo, la consistencia entre diferentes artefactos no se encuentra definida en la especificación de UML y poco se ha trabajado con este tipo de consistencia. En este artículo se propone un método para verificar la consistencia entre el diagrama de clases y el diagrama de casos de uso de UML de una manera formal. Dicho proceso se lleva a cabo evaluando una serie de reglas definidas en el lenguaje de restricciones de objetos -OCL- que se deben cumplir para garantizar que la información brindada por dichos modelos sea consistente. Como se reconoce la participación de los dos diagramas en la elaboración de las interfaces gráficas de usuario -GUI-, se define adicionalmente la consistencia con este artefacto.<br>In a software lifetime, during definition and analysis stages, a specification of requirements is carried out. For such a purpose, it is necessary to get through a process to capture interested persons’ needs and expectations, which will later be translated into a set of models representing both the problem and the solution. Most models are frequently expressed by the UML (Unified Modeling Language) which defines a set of devices for specifying software requirements which should be consistent with the same model. However, consistency among several devices is not defined in the UML specification and not too much work has been made with this type of consistence. This article proposes a method to verify consistence among UML class diagram and use case diagram in a formal way. Such a process is carried out through an evaluation of several rules defined in the OCL (Object Constraint Language), which should be fulfilled to assure that information provided by such models is consistent. As both diagrams participation is recognized when preparing GUI (Graphic User Interfaces) consistence with this device is additionally definedhttp://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1692-33242008000100010UMLreglas de consistenciaOCLcasos de usodiagrama de clasesinterfaces gráficas de usuarioXMLXMIXqueryUMLconsistence rulesOCLuse casesclass diagramgraphic user interfacesXMLXMIXquery |
| spellingShingle | Carlos Mario Zapata Guillermo González Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model Revista Ingenierías Universidad de Medellín UML reglas de consistencia OCL casos de uso diagrama de clases interfaces gráficas de usuario XML XMI Xquery UML consistence rules OCL use cases class diagram graphic user interfaces XML XMI Xquery |
| title | Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model |
| title_full | Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model |
| title_fullStr | Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model |
| title_full_unstemmed | Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model |
| title_short | Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model |
| title_sort | especificacion formal en ocl de reglas de consistencia entre los diagramas de clases y casos de uso de uml y el modelo de interfaces formal ocl specification of consistency rules between the uml class and the use case models and the interfaces model |
| topic | UML reglas de consistencia OCL casos de uso diagrama de clases interfaces gráficas de usuario XML XMI Xquery UML consistence rules OCL use cases class diagram graphic user interfaces XML XMI Xquery |
| url | http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1692-33242008000100010 |
| work_keys_str_mv | AT carlosmariozapata especificacionformalenocldereglasdeconsistenciaentrelosdiagramasdeclasesycasosdeusodeumlyelmodelodeinterfacesformaloclspecificationofconsistencyrulesbetweentheumlclassandtheusecasemodelsandtheinterfacesmodel AT guillermogonzalez especificacionformalenocldereglasdeconsistenciaentrelosdiagramasdeclasesycasosdeusodeumlyelmodelodeinterfacesformaloclspecificationofconsistencyrulesbetweentheumlclassandtheusecasemodelsandtheinterfacesmodel |