Proving Properties for Behavioural Specifications with Term Observation
| dc.creator | Berregeb,Narjes | |
| dc.date | 2006 | |
| dc.date.accessioned | 2024-02-06T12:54:48Z | |
| dc.date.available | 2024-02-06T12:54:48Z | |
| dc.description | Behavioural specifications allow to focus only on the"observable" behaviour of objects. These observations are made through "observable contexts" which are particular terms with a hole to be filled in with an object. We consider behavioural specifications based on the observation of a specified set of linear terms. The set of observable contexts is often infinite; therefore, we give an algorithm for computing some special contexts that we call "covering contexts", and show that they are sufficient for proving that two terms are behaviourally equal. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-012-10-1413 | |
| dc.identifier | https://lib.jucs.org/article/28689/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9171 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 12(10): 1413-1425 | |
| dc.subject | behavioural specifications | |
| dc.subject | term observation | |
| dc.subject | observable contexts | |
| dc.subject | covering contexts | |
| dc.title | Proving Properties for Behavioural Specifications with Term Observation | |
| dc.type | Research Article |