Publication detail

A Case-Based Reasoning Approach to Reuse of CBS Specifications

ŠVÉDA, M., ZEZULKA, F., VRBA, R.

Original Title

A Case-Based Reasoning Approach to Reuse of CBS Specifications

Type

conference paper

Language

English

Original Abstract

The paper deals with behavioral specifications employing state or timed-state sequences and with their closed-form descriptions by finite-state or timed automata. To demonstrate reuse of formal specifications, the contribution presents two case studies based on real design projects: petrol pumping station dispenser controller, and multiple lift control system. This contribution focuses both on identification of reusable architectural components and on their retrieval, adaptation, and storage with case-based reasoning support.

Keywords

reuse, formal specifications, timed-state sequences, finit-state automata, timed automata

Authors

ŠVÉDA, M., ZEZULKA, F., VRBA, R.

RIV year

2001

Released

1. 1. 2001

Publisher

University of Stirling

Location

Washington D.C.

ISBN

1-85-769144-X

Book

Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001

Pages from

139

Pages to

144

Pages count

6

BibTex

@inproceedings{BUT5424,
  author="Miroslav {Švéda} and František {Zezulka} and Radimír {Vrba}",
  title="A Case-Based Reasoning Approach to Reuse of CBS Specifications",
  booktitle="Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001",
  year="2001",
  pages="139--144",
  publisher="University of Stirling",
  address="Washington D.C.",
  isbn="1-85-769144-X"
}