Skip to main content

Constraint Oriented Specification with CSP and Real Time Temporal Logic

Pearson, Justin and Bryans, Jeremy W. (1998) Constraint Oriented Specification with CSP and Real Time Temporal Logic. Technical report. University of Kent (KAR id:21625)

Language: English
Download (470kB) Preview
Language: English
Download (271kB) Preview


A popular specification style, particularly for the initial specification of a system, is the em constraint-oriented style, where the constraints are properties required to hold of the final system. One of the difficulties of using this style is that, for any particular notation, certain types of constraints are much harder to capture than others. In this paper we propose such a specification framework, which allows the specifier a choice of two languages: Communicating Sequential Processes (CSP) and a version of Propositional Temporal Logic (PTL). The components of a specification have to be checked for mutual consistency, to do this we present a common semantic framework for both PTL and CSP.

Item Type: Monograph (Technical report)
Uncontrolled keywords: Constraint Oriented Specification, CSP, Propositional Temporal Logic
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 22 Aug 2009 19:36 UTC
Last Modified: 28 May 2019 14:01 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year