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

English Title

A Case-Based Reasoning Approach to Reuse of CBS Specifications

Type

conference paper

Language

en

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.

English 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

RIV year

2001

Released

01.01.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",
  annote="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.",
  address="University of Stirling",
  booktitle="Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001",
  chapter="5424",
  institution="University of Stirling",
  year="2001",
  month="january",
  pages="139--144",
  publisher="University of Stirling",
  type="conference paper"
}