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
@{BUT123658
}