Publication Details

A Case-Based Reasoning Approach to Reuse of CBS Specifications

ŠVÉDA, M., ZEZULKA, F., VRBA, R. A Case-Based Reasoning Approach to Reuse of CBS Specifications. In Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001. Washington D.C.: University of Stirling, 2001. p. 139-144. ISBN: 1-85-769144-X.
Czech title
Přístup k opakovanému využití specifikací systémů založených na počítačích s využitím usuzování založeném na případech
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Zezulka František, prof. Ing., CSc.
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Keywords

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

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.

Published
2001
Pages
139–144
Proceedings
Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001
ISBN
1-85-769144-X
Publisher
University of Stirling
Place
Washington D.C.
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"
}
Back to top