Please enable JavaScript.
Coggle requires JavaScript to display documents.
Contratos Sensibles al Contexto (cap45.tex) (**Condicionales especiales…
Contratos Sensibles
al Contexto
(cap45.tex)
Hacia la definición
de ContratosDHD
Características que debe
cumplir los ContratosDHD
**Condicionales especiales para las reglas de los
contratos**
Hacia la implementación de los CondicionalesDHD
DMCondicionales
Modelo de integración
MCondicionales
Modelo de integración
Conclusiones
Introducción
Hacia la definición de ContratoDHD
Características que debe cumplir el ContratoDHD
Hacia la definición de ContratoDHD
ContratosDHD: Contratos
Sensible al Contexto
Build in, Preprocessing, Metaprogramming
Sistema que proveen soportes para el desarrollo de software basado
en contratos
Biscotti, Assertion, ContractJava, Jass, Jcontract, Handshake, jContractor,
Def - ContraDHD
Componente esencial tipo #1
◦ Arquitectura para la adaptación del contexto
◦ Funcionalidades
Componente esencial tipo #2
◦ Reglas de coordinación
⋄ Condicionales comunes
⋄ Condicionales especiales
◦ Componentes de conexión
Coordinación de los contratos sensibles al contexto
Coordinación :explode:
Una implementacio del subsistema para CEC#1
Infraestructura para los serviciosDHD :explode:
Todo: Ver de sacar esto
Definición - ServiciosDHD
Componentes esenciales de los contratos sensibles al contexto
Coordinacion
Papers
sobre context-aware
Applying "Design by Contract"
Reutilización - comportamiento
Aplicación de los condicionales DHD en la herramienta
del foro de Sakai
Fig.1. Elementos y relaciones relevantes en la creación de condicionales.
Los tipos de condicionales
Fig. 2. Representación del los elementos de diseño de condicionales.
4 . Inyección de los condicionalesDHD
Fig. 3. Modelo de diseño conceptual de condicionales para contratos sensibles al contexto.
4.1 Ejemplo
Fig. 4. Secuencia de invocación de los valores de verdad.
Tengo que meterlo :explode:
