Track:
Contents
Downloads:
Abstract:
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.