Loading...
Please wait, while we are loading the content...
Similar Documents
JSD ŒD CSP – TLZ-A Case Study
| Content Provider | Semantic Scholar |
|---|---|
| Author | Rijsbergen, C. J. Van Hinchey, Michael G. |
| Copyright Year | 1996 |
| Abstract | We present a case study in the use of JSD, a popular structural design method, as a unifying mechanism for formal notations addressing different aspects of a system design. An asynchronous variant of CSP is used to address issues relating to time-ordering of events and communication between processes, while TLZ (a hybrid of Z and TLA) addresses state-based aspects of the system design and permits the expression of timing constraints and fairness conditions. The result is a hybrid real-time design method, appropriate for particular classes of real-time systems. The novelty is that a structural design method (with simplified semantics) serves to provide various views of the design, with the benefits and proof systems of the various formal methods being maintained. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.bcs.org/upload/pdf/ewic_mi96_paper8.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
