Lenguaje de especificacion de objetos (ocl)

República Bolivariana de Venezuela
Instituto Universitario Politécnico “Santiago Mariño”
Maturín-Monagas












[pic]











Facilitadora: Participantes:
Ing. Mariyaen Barreto. Mata Angélica. C.I. 19.257.083
Sección: G mañana. Moreno Oranmix. C.I. 19.403.264
Intensivo de Sistemas II PereiraOscar. C.I. 14.620.391






Maturín, Agosto de 2012


ÍNDICE


|Introducción………………………………………………………………….. |3 |
|Especificación……………………………………………………………….. |4 |
|Lenguajes formales de especificación…………………………………….|4 |
|OCL (lenguaje de especificación de objetos)……………………………. |5 |
|En donde usar OCL………………………………………………………… |6 |
|Características del OCL……………………………………………………|7 |
|Usos frecuentes DEL OCL………………………………………………………… |8 |
|El porqué debes aprender OCL…………………………………………… |9 |
|Especificación con OCL…………………………………………………… |10|
|Expresiones booleanas y tipos……………………………………………. |10 |
|Definiendo el contexto……………………………………………………… |11 |
|El uso de Self………………………………………………………………... |12 ||Invariantes…………………………………………………………………… |12 |
|Tipos predefinidos de OCL……………………………………………….. |13 |
|Conclusión…………………………………………………………………… |16 |
|Bibliografia……………………………………………………………………|17 |



























INTRODUCCION
Es ampliamente conocido que la parte más crítica del desarrollo de software corresponde a la identificación y especificación de requerimientos .Para facilitar el proceso de desarrollo de software, muchos desarrolladores trabajan con una variedad de métodos yherramientas reconocidos. Si se quiere que los métodos formales sean utilizados en el desarrollo de proyectos de software.


El lenguaje OCL (Object Constraint Language o Lenguaje de Restricciones sobre Objetos) se utiliza como complemento a UML. OCL permite describir de manera más precisa y sin ambigüedades los sistemas descritos con UML.
Las especificaciones hechas en un lenguaje dedescripción no suelen ser interpretables o ejecutables, sin embargo existen algunos ambientes de desarrollo basados en lenguajes de descripción, que permiten la generación del sistema a partir del modelo. Los lenguajes de especificación pueden dividirse en semi-formales y formales.
Fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. OCL es un lenguaje para la descripciónformal de expresiones en los modelos UML. Sus expresiones pueden representar invariantes, precondiciones, postcondiciones, inicializaciones, guardias, reglas de derivación, así como consultas a objetos para determinar sus condiciones de estado. Se trata de un lenguaje sin efectos de borde, de manera que la verificación de una condición, que se presupone una operación instantánea,...