Formalización de OASIS en lógica dinámica incluyendo especificaciones de proceso
Ver/
Identificadores
URI: http://hdl.handle.net/10317/731Compartir
Métricas
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemÁrea de conocimiento
Lenguajes y Sistemas InformáticosFecha de publicación
1998Editorial
Universidad Politécnica de ValenciaCita bibliográfica
LETELIER, P., SÁNCHEZ, P., RAMOS, I., PASTOR, O. Formalización de OASIS en Lógica Dinámica incluyendo especificaciones de proceso. Informe Técnico DSIC-II/2/98. Valencia : Universidad de Valencia, 1998.Palabras clave
OASISLógica dinámica
Álgebra de procesos para Objetos (APO)
Resumen
OASIS en su versión 2.2 de OASIS utiliza como marco formal una variante
de Lógica Dinámica. Sin embargo, la sección de especificación de procesos
en la plantilla de una clase es formalmente tratada mediante un Algebra de
Procesos para objetos. Este trabajo presenta una nueva visión para
especificaciones de procesos en OASIS. Desde una perspectiva deóntica una
especificación de clase en OASIS es un conjunto de axiomas de prohibición y
obligación de ocurrencia de acciones, además de un conjunto de axiomas que
establecen los mundos previos e inmediatamente posteriores a la ocurrencia
de una acción. Consecuentemente, se distinguen dos tipos de especificaciones
de procesos: aquellos que establecen prohibiciones (patterns) y aquellos que
establecen obligaciones (operations). Se muestra cómo una especificación de
procesos básica, incluyendo operadores de secuencia y alternativa, puede ser
vista como un conjunto de axiomas en Lógica Dinámica. Esto permite
formalizar toda la plantilla ...
Colecciones
- Informes [57]
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales