TY - BOOK
T1 - A comparison of timed CSP and time basic nets for the specification of time constraints
AU - Kutar, M.
PY - 1998
Y1 - 1998
N2 - A level crossing case study was specified in times CSP. The same case study was then specified using Time Basic Nets. To provide an element of control a second case study, the secure room, was specified first using Time Basic Nets and then times CSP. Neither Timed CSP nor Time Basic Nets were adequate for the specification of the time constraints contained within the level crossing case study, although both techniques proved suitable for the specification of the secure room. The report concludes with a critique of the two techniques, both as ‘ordinary’ specification languages and in relation to their suitability for the specification of time constraints.
AB - A level crossing case study was specified in times CSP. The same case study was then specified using Time Basic Nets. To provide an element of control a second case study, the secure room, was specified first using Time Basic Nets and then times CSP. Neither Timed CSP nor Time Basic Nets were adequate for the specification of the time constraints contained within the level crossing case study, although both techniques proved suitable for the specification of the secure room. The report concludes with a critique of the two techniques, both as ‘ordinary’ specification languages and in relation to their suitability for the specification of time constraints.
M3 - Other report
T3 - UH Computer Science technical Report
BT - A comparison of timed CSP and time basic nets for the specification of time constraints
PB - University of Hertfordshire
ER -