Composing and Refining Dense Temporal Logic Specifications
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Composing and Refining Dense Temporal Logic Specifications
|
| Id. |
46316092 |
| Idioma |
inglés
|
| Titulo |
Composing and Refining Dense Temporal Logic Specifications |
| Autor(es) |
Antonio Cau
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.487
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. A dense temporal logic development method for the specification, refinement, composition and verification of reactive systems is introduced. A reactive system is specified by a pair consisting of a machine and a condition that indicate the valid computations of this machine. Compositionality is achieved by adding to each machine step whether it is a environment, system or communication step. Refinement can be expressed straightforward in the logic because the stutter problem is elegantly solved by using the dense structure of the logic. Compositionality enables us to break refinement between complex systems into refinement between small and simple systems. The latter can then be verified by existing proof rules for refinement which are reformulated in our formalism. 1. Introduction We present a compositional refinement method for reactive systems. A system is called reactive if it maintains some ongoing interaction with its environment, for example an operating system. This contrast...
|
| Tipo |
application/postscript
|
| Palabras clave |
Temporal Logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cse.dmu.ac.uk/~cau/papers/root2e.ps.gz
[References] 10.1.1.85.2760
[References] 10.1.1.43.9418
[References] 10.1.1.32.9786
[References] 10.1.1.33.1637
[References] 10.1.1.35.6454
[References] 10.1.1.16.9617
[References] 10.1.1.37.1923
[References] 10.1.1.27.4805
[References] 10.1.1.20.6078
[References] 10.1.1.47.3699
[References] 10.1.1.17.5332
[References] 10.1.1.102.3767
|
| Fecha de contribución |
23-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
