System Specification and Refinement in Temporal Logic
|
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
|
|
|
System Specification and Refinement in Temporal Logic
|
| Id. |
46673754 |
| Idioma |
inglés
|
| Titulo |
System Specification and Refinement in Temporal Logic |
| Autor(es) |
Amir Pnueli
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.6060
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. We consider two types of specifications of reactive systems: requirement specification which lists properties the system should satisfy, and System specification which describes the response of the system to each incoming input. Some of the differences between these two styles of specification are analyzed with the conclusion that both types are needed in an orderly system development. Traditionally, temporal logic was used for requirement specification while process algebras, such as csp and ccs, were used for system specification. Recent developments, mainly represented in Lamport's temporal logic of actions (tla), demonstrated that temporal logic can be used effectively also for system specification. This paper explores the use of temporal logic for systems specification, evaluates some of the advantages and disadvantages of such a use, and demonstrates the use of temporal logic for refinement and systematic development of systems. To allow simulation of a single high level step ...
|
| 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] ftp://ftp.wisdom.weizmann.ac.il/pub/amir/india92.ps.gz
[References] 10.1.1.85.2760
[References] 10.1.1.20.461
[References] 10.1.1.32.9786
[References] 10.1.1.83.7751
[References] 10.1.1.35.6454
[References] 10.1.1.47.1554
[References] 10.1.1.54.1876
[References] 10.1.1.36.4014
[References] 10.1.1.56.9586
[References] 10.1.1.29.8680
[References] 10.1.1.31.964
[References] 10.1.1.22.4356
[References] 10.1.1.36.800
[References] 10.1.1.48.7382
[References] 10.1.1.101.5721
[References] 10.1.1.21.7865
[References] 10.1.1.8.5273
[References] 10.1.1.97.7660
[References] 10.1.1.29.5171
[References] 10.1.1.32.4059
[References] 10.1.1.21.7737
|
| Fecha de contribución |
04-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
