Sciweavers

JUCS
2006

Proving Properties for Behavioural Specifications with Term Observation

13 years 3 months ago
Proving Properties for Behavioural Specifications with Term Observation
: 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. Key Words: behavioural specifications, term observation, observable contexts, covering contexts Category: F.3.1, F.4.1
Narjes Berregeb
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JUCS
Authors Narjes Berregeb
Comments (0)