Requirements for Configuring Complex Software-Based Systems

Christian Kühn

Numerous applications exist already for the knowledgebased configuration of technical systems, however the majority of approaches are confined to the structural composition of the systems, without looking at the system’s behavior. The reactive behavior of the produced system plays a central role in the configuration of software-based systems. Therefore this paper proposes to combine knowledge-based configuration methods with system validation and verification technology. The necessary derived demands on modeling techniques and problem solving methods will be presented in this paper.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.