skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

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

Carlos Mario Zapata ; Guillermo González

Revista Ingenierías Universidad de Medellín, 01 January 2008, Vol.7(12), pp.169-191 [Tạp chí có phản biện]

ISSN: 1692-3324 ; E-ISSN: 2248-4094

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi
  • Nhan đề:
    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
  • Tác giả: Carlos Mario Zapata ; Guillermo González
  • Chủ đề: 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 ; Engineering
  • Là 1 phần của: Revista Ingenierías Universidad de Medellín, 01 January 2008, Vol.7(12), pp.169-191
  • Mô tả: 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.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
  • Ngôn ngữ: English
  • Số nhận dạng: ISSN: 1692-3324 ; E-ISSN: 2248-4094

Đang tìm Cơ sở dữ liệu bên ngoài...