Detail publikace

A Case-Based Reasoning Approach to Reuse of CBS Specifications

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

Originální název

A Case-Based Reasoning Approach to Reuse of CBS Specifications

Anglický název

A Case-Based Reasoning Approach to Reuse of CBS Specifications

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

Dokumenty

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",
  annote="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.",
  address="University of Stirling",
  booktitle="Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001",
  chapter="5424",
  institution="University of Stirling",
  year="2001",
  month="january",
  pages="139--144",
  publisher="University of Stirling",
  type="conference paper"
}