Especificación del Lenguaje de Restricciones para Objetos versión 1 1 de Septiembre de 1997



Descargar 356,76 Kb.
Página1/5
Fecha de conversión02.10.2017
Tamaño356,76 Kb.
  1   2   3   4   5


Especificación del Lenguaje de Restricciones para Objetos


versión 1.1

1 de Septiembre de 1997
Rational Software Microsoft  Hewlett-Packard  Oracle
Sterling Software  MCI Systemhouse  Unisys ICON Computing
IntelliCorp  i-Logix  IBM  ObjecTime  Platinum Technology  Ptech
Taskon  Reich Technologies  Softeam

Traducción al Español : Baufest Software

Copyright © 1997 IBM Corporation.
Copyright © 1997 Rational Software Corporation.
Copyright © 1997 Microsoft Corporation.
Copyright © 1997 Hewlett-Packard Company.
Copyright © 1997 Oracle Corporation.
Copyright © 1997 Sterling Software.
Copyright © 1997 MCI Systemhouse Corporation.
Copyright © 1997 Unisys Corporation.
Copyright © 1997 ICON Computing.
Copyright © 1997 IntelliCorp.
Copyright © 1997 i-Logix.
Copyright © 1997 ObjecTime Limited.
Copyright © 1997 Platinum Technology Inc.
Copyright © 1997 Ptech Inc.
Copyright © 1997 Taskon A/S.
Copyright © 1997 Reich Technologies.
Copyright © 1997 Softeam.
Copyright © 1998 de la traducción al Español Baufest Software.

Está permitido fotocopiar, distribuir electrónicamente, o traducir a otros idiomas este documento, si es reproducido en su totalidad y acompañado con esta nota completa, incluida la siguiente frase:

Las actualizaciones más recientes del Lenguaje Unificado para Modelado están disponibles vía Internet, en Inglés en el sitio: http://www.rational.com/uml y en Español en el sitio: http://www.baufest.com/uml.

Un programa analizador (parser) gratuito de OCL y la información más reciente sobre el Lenguaje de Restricciones para Objetos está disponible vía Internet en el sitio: http://www.software.ibm.com/ad/ocl.

El logo de UML es una marca registrada de Rational Software Corp.

Contenido


1. Nota preliminar 1

1.1 Porqué OCL? 1

1.2 Dónde Usar el OCL 2

2. introduccion 2

2.1 Leyenda 2

2.2 Diagrama de Clases Ejemplo 3

3. Conexion con el metamodelo del uml 3

3.1 Instancia (Self) 3

3.2 Invariantes 3

3.3 Pre y Post-condiciones 4

3.4 Guardas 4

3.5 Expresiones Generales 4



4. Valores y Tipos Basicos 5

4.1 Tipos Provenientes del Modelo UML 5

4.2 Tipos Enumeración 5

4.3 Concordancia de Tipos 6

4.4 Transformación de Tipo (Casting) 6

4.5 Reglas de Precedencia 7

4.6 Comentarios 7

4.7 Valores Indefinidos 7



5. Objetos y Propiedades 7

5.1 Propiedades 8

5.2 Propiedades: Atributos 8

5.3 Propiedades: Operaciones 8

5.4 Propiedades: Extremo de Asociación y Navegación 9

5.5 Navegación hacia Tipos Asociación 10

5.6 Navegación desde Clases Asociación 11

5.7 Navegación a través de Asociaciones Cualificadas 11

5.8 Utilización de Caminos para Paquetes y Propiedades 11

5.9 Características Predefinidas para todos los Objetos 12

5.10 Características propias de los Tipos 13

5.11 Colecciones 13

5.12 Colecciones de Colecciones 14

5.13 Jerarquía de Tipos de las Colecciones y Reglas de Concordancia de Tipo 14

5.14 Valor Previo en las Post-condiciones 15

6. Operaciones de las Colecciones 16

6.1 Operaciones Seleccionar y Descartar (Select, Reject) 16

6.2 Operación Recolectar (Collect) 17

6.3 Operación ParaTodos (ForAll) 18

6.4 Operación Existe (Exists) 19

6.5 Operación Iterar (Iterate) 19



7. Tipos predefinidos Del OCL 20

7.1 Tipos Básicos 20

7.2 Tipos de Colecciones 26

8. Gramatica del OCL 32




  1   2   3   4   5


La base de datos está protegida por derechos de autor ©absta.info 2016
enviar mensaje

    Página principal