UML/OCL
A UML/OCL Framework for the Analysis of Graph Transformation Rules
... for OCL based on the Higher-Order Logic theorem prover ...on UML/OCL specifications like the correctness properties defined in Section ...HOL- OCL are complete : given a UML/OCL ...
22
Towards a metric suite for OCL expressions expressed within UML/OCL models
... of UML diagrams at a high level design ...a UML model are complemented by expressions written in Object Constraint Language (OCL), that is a UML/OCL ...Due OCL is essential in ...
7
Herramientas CASE para la validación de modelos UML a través de invariantes OCL
... modelos UML a trav´es de invariantes OCL, sino que como agregado se logra la r´ apida adaptabilidad tanto a otras notaciones gr´aficas basadas en metamodelos, como as´ı tambi´en a otros esquemas de ...
12
From Declarative to Imperative UML/OCL Operation Specifications
... for UML models allow expressing queries in OCL itself or in some similar language, see ...the OCL expression/s targeted by the pattern and its corresponding translation into a set of structural ...
16
Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
... de OCL con ...en UML una especificación inicial en RSL, nos encontramos construyendo un conjunto de reglas de transformación de restricciones de OCL a ...
3
Extensión de USE para soportar incertidumbre de medida en los datos primitivos OCL/UML
... En la actualidad, está surgiendo la necesidad de modelar sistemas que traten con factores físicos. Con la llegada del Internet de las cosas [IoT] hay cada vez más sistemas software conectados a sensores que no dan una ...
74
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
... para OCL. El beneficio de un meta modelo para OCL es que define la sintaxis de todos los conceptos de OCL (como los tipos, expresiones, y valores) precisamente y de una manera abstracta y por medio ...
13
Aplicativo web para la corrección de modelos UML/OCL
... Dentro de todo proceso de desarrollo de software, la etapa de modelización de datos (análisis) es una de las fases más importantes. En esta etapa los estudiantes aprenden a definir la información del dominio que la ...
61
Definición de métrica con OCL para el diseño orientado a aspectos usando perfiles UML
... con UML (Unified Modeling Language) y las restricciones semánticas de las mismas se especificarán con OCL (Object Constraint ...Perfiles UML, OCL, Métricas Orientadas a ...
8
Incorporating Measurement Uncertainty into OCL/UML Primitive Datatypes
... In UML, a PrimitiveType defines a predefined data- type and there is an independent package, named Pri- mitiveTypes, which defines a set of reusable primi- tive types that are commonly used in the definition of ...
27
Generació automàtica de les constraints a partir de un diagrama de classes UML amb restriccions especificades en OCL
... a UML només garanteixen que l’OCL que se li ha escrit és sintàcticament correcte amb el model que se ha representat amb elles, els camps existeixen i les seves operacions són permeses o fins i tot ni això, però no ...
76
Análisis del Lenguaje UML OCL 2 0 a través del Framework ECO NET Guiados por Modelos, Caso Práctico: Emisión del Certificado de no Adeudar en Ninguna Dependencia Previo a la Obtención del Título Académico en la ESPOCH
... componentes UML y OCL que incluyen el Framework ECO, y SQL Server 2005 de Microsoft, las dos herramientas comerciales; desarrollando la aplicación web con ...
236
Expressing Measurement Uncertainty in OCL/UML Datatypes
... of OCL and UML models by means of executing the UML models and checking its OCL ...the OCL/UML language in USE by adding the previously described uncertain types as basic ...
16
Aplicando restricciones en un datawarehouse temporal utilizando UML/OCL
... Un datawarehouse es una colección de datos no volátiles, variables en el tiempo y orientado a un tema específico utilizado para tomar decisiones. La necesidad de registrar valores que permitan evaluar tendencias, ...
13
Teaching Model Views with UML and OCL
... This paper presents a simple case study that we have devel- oped and successfully used in class, which permits students to develop the principal views of a system, simulate them, and understand their relationships. We ...
6
Definición de métricas para la complejidad de expresiones OCL de forma metodológica
... [10] Fenton N. and Pfleeger S., Software Metrics: A Rigorous and Practical Approach. Chapman & Hall, London, 2nd Edition. International Thomson Publishing Inc. 1997. [11] Genero M., Piattini M., and Calero C., “Early ...
5
Reduciendo la ambigüedad en el modelo del dominio mediante invariantes OCL
... La parte más crítica del desarrollo de software corresponde a la iden- tificación y especificación de requerimientos [1]. Para facilitar el proceso de especificación de requerimientos se hace uso de modelos y diagramas. ...
9
Definición de métricas en un metamodelo usando OCL para diseño Web
... Este enfoque utiliza como idea principal ini- ciar el PDS a partir de modelos de alto nivel de abstracción, para posteriormente ir transformando estas abstracciones en primitivas de más bajo ni- vel (M2M), hasta que en ...
5
Incremental Evaluation of OCL Constraints
... In this paper, we propose a new method for coping with the incremental evaluation of ICs at the conceptual level. We assume that CSs are specified in UML [12] and that ICs are defined as invariants written in ...
15
UML 1.4 versus UML 2.0 as Languages to Describe Software Architectures.
... UML 1.4 [18] has become the standard for representing the software products ob- tained in the various activities (like requirement acquisition, requirement analysis, system design, or system deployment) of a ...
15