Result 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.
Type
conference paper
Language
English
Authors
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
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
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"
}
Research groups
Departments