Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição
Resumo
Aqui mostramos uma técnica de especificação formal baseada em Z e lógica temporal que permite expressar de forma modular o comportamento e a estrutura de sistemas distribuidos.
Referências
A. Pnueli : Applications of Temporal Logic to tho Specification and Verification of Reactive Systems: A Survey of Trends, Department of Applied Mathematics The Weizmann Instituto of Science, Rehovot 78100, Israel.
Bo-Shoe Cheni Formal Specification and Verification of Distributed Systems, IEEE Trans. Software Engineering SE-9 (1983), 710-730.
I. Hayes (ed): Specification Case Studies, Prentice Hall Intl. (UK), 1987.
L. Lamport: Specifying Concurrent Program Modules, TOPLAS 5,2 (1983), 190-222.
L. Lamport: What good is temporal logic?, Proceedings IFIP, (1983), 667-669.
S. Owicki, L. Lamport: Proving Liveness Properties of Concurrent Programs, ACM TOPLAS 4,3 (1982), 455-405.
Bo-Shoe Cheni Formal Specification and Verification of Distributed Systems, IEEE Trans. Software Engineering SE-9 (1983), 710-730.
I. Hayes (ed): Specification Case Studies, Prentice Hall Intl. (UK), 1987.
L. Lamport: Specifying Concurrent Program Modules, TOPLAS 5,2 (1983), 190-222.
L. Lamport: What good is temporal logic?, Proceedings IFIP, (1983), 667-669.
S. Owicki, L. Lamport: Proving Liveness Properties of Concurrent Programs, ACM TOPLAS 4,3 (1982), 455-405.
Publicado
27/10/1988
Como Citar
SALAZAR, Carmen Huamali; MEIRA, Silvio Romero de Lemos.
Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 2. , 1988, Canela/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1988
.
p. 47-60.
DOI: https://doi.org/10.5753/sbes.1988.24244.
