Publication Details

A Case-Based Reasoning Approach to Reuse of CBS Specifications

ŠVÉDA Miroslav, ZEZULKA František and VRBA Radimí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, pp. 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, Doc. Ing., CSc. (DCSE FEECS BUT)
Zezulka František, doc. Ing., CSc. (DAME FEECS BUT)
Vrba Radimír, prof. Ing., CSc. (UMEL FEECS BUT)
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
Conference
The 2nd IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001, Washington D.C., US
ISBN
1-85-769144-X
Publisher
University of Stirling
Place
Washington D.C., US
BibTeX 
@INPROCEEDINGS{FITPUB6519,
   author = "Miroslav \v{S}v\'{e}da and Franti\v{s}ek Zezulka and Radim\'{i}r Vrba",
   title = "A Case-Based Reasoning Approach to Reuse of CBS Specifications",
   pages = "139--144",
   booktitle = "Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001",
   year = 2001,
   location = "Washington D.C., US",
   publisher = "University of Stirling",
   ISBN = "1-85-769144-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6519"
}
Back to top