Title: Hierarchical development of concurrent systems in a temporal logic framework
Abstract: This paper presents a formal specification and hierarchic development method for concurrent systems. The approach is based on a temporal logic to enable the specification of both safety and liveness properties in a single uniform framework. Two main problems are addressed, firstly, the reconciliation of temporal logic and compositionality in a structured specification approach, and secondly, to possess natural and easy to use proof rules for justifying parallel decomposition steps. To solve the first, we use a simple modification to the usual temporal logic model; to solve the second, we advocate the use of past time temporal operators in a new systematic and structured style for writing specifications.
Publication Year: 1985
Publication Date: 1985-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 37
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot