Progrqamacion orientada a objetos

Solo disponible en BuenasTareas
  • Páginas : 2 (460 palabras )
  • Descarga(s) : 9
  • Publicado : 25 de noviembre de 2009
Leer documento completo
Vista previa del texto
El ciclo de vida de un objeto puede resumirse de la siguiente manera:
Crear el objeto
Modificarlo
Manipulación
Borrar
Las actividades conocidas que ocurren durante su ciclo devida son:
Asignación de Tarea
Panel de control
Alarma audible
La mayoría de las propuestas que modelizan declarativamente el ciclode vida de un objeto, utilizan la idea de que elcomportamiento de un objeto puedemodelizarse como un conjunto de trazas de ocurrencias de eventos. Estas trazas sonmodelo de los axiomas lógicos que describen el comportamiento del objeto. En estoscasos,la herencia se modeliza como una relación de subconjunto en los conjuntos detrazas.
Los conceptos en los que nos hemos basado para formalizar la herencia del ciclode vida son los que se presentana continuación.Sea una clase Cs un especialización de la clase Cp. Llamaremos Cp a la clasepadre de la clase especializada Cs :
• Todos los atributos y eventos definidos para las instancias de laclase Cp sonatributos y eventos de las instancias de la clase Cs. Las instancias de laespecialización pueden enriquecerse definiendo tanto nuevos atributos comoeventos.
• Todas las restricciones deintegridad definidas para las instancias de la Cp sonrestricciones de las instancias de la clase Cs. De igual forma, la Cs puedeañadir nuevas restricciones de integridad sobre el rango de los posiblesvaloresde los atributos, siempre que éstas sean más restrictivas. De esta forma, unainstancia de la clase especializada siempre satisfará todas las restriccionesdefinidas para las instancias de laclase padre.
• Una precondición asociada a un evento o acción es una condición necesariaque ha de cumplirse para que pueda ocurrir éste. Cuando especialicemos, si seredefinen las precondiciones,éstas serán más restrictivas (más fuertes). Así, sim es un evento definido en la clase Cp y m ocurre en la vida de una instancia ide la clase Cs, entonces también es una ocurrencia de evento válida en...
tracking img