Verifying data integration agents with deduction-based models
Radosław Klimek, Łukasz Faber, Marek Kisiel‐Dorohinicki · 2013
Abstract—The paper shows how an agent-based system can be subjected to formal verification using a deductive approach. The particular system for gathering open source intelligence is considered, which is build on a framework for data integra-tion. Techniques allowing for automatic extraction of logical specifications are described with emphasis on pattern-based and rule-based approaches. An example illustrates how the proposed method works in a scenario with iterated agent tasks combining these two approaches. I.