You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact

Case-Based Identification and Reuse of Similar Formalised Behaviour


Publication Type:

Report - MRTC




Formal methods are usually intended to include all the de-tails of the final system in the specifi-cation, with the aim of proving that it pos-sesses certain mathematical properties. Telecommunications features are large and complex, making detailed formal specification impractical with current technology [Mataga & Zave, 1993]. Fortunately, the behaviour they provid to telephone users is often simple enough to sketch and much of the complexity stems from details of the implementation. The principal characteristics of a service can be approximated by simple varieties of logic. We address the problem of determining these services, from a library of services accompa-nied by their behavioural approximations, which might be appropriate for reuse, by using graphical input examples to sketch the behav-iour desired and a case-based approach to identify behaviourally similar telecommunica-tions features. The CABS system can also per-form simple verifications against the input ex-amples and identify when the feature does not include all the behaviour exemplified in the in-put examples. Seventeen telephone features (call waiting, call back, etc.) have been for-malised. These telephone features are stored in the case library as cases, each consisting of a set of transition rules. Input examples for the requested behaviour enables CABS to identi-fies the corresponding formalised case.


author = {Peter Funk},
title = {Case-Based Identification and Reuse of Similar Formalised Behaviour},
number = {ISSN 1404-3041 ISRN MDH-MRTC-17/2000-1-SE},
month = {March},
year = {2000},
url = {}