A Case-Based Reasoning Approach to Reuse of CBS Specifications

článek ve sborníku ve WoS nebo Scopus

angličtina

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.

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

ŠVÉDA, M., ZEZULKA, F., VRBA, R.

2001

1. 1. 2001

University of Stirling

Washington D.C.

1-85-769144-X

Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001

139

144

6