2013 | OriginalPaper | Chapter
Misbehavior Discovery through Unified Software-Knowledge Models
Author : Iaakov Exman
Published in: Knowledge Discovery, Knowledge Engineering and Knowledge Management
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
UML statecharts are a widely accepted standard for modeling software behavior. But, despite the increasing importance of semantics for software behavior, semantics has been treated within UML as mere reasoning add-ons. We propose fully integration of UML statecharts with behavioral knowledge obtained from novel behavioral ontologies into a Unified Software-Knowledge model. These unified models have two important characteristics: first, misbehaviors are explicitly represented; second, behavioral ontologies generate graphs isomorphic to UML statecharts, by construction. This approach is applicable to run time measurements, to check the actual software behavior correctness and efficiency. Measurement discrepancies may trigger knowledge discovery mechanisms to update the unified models. The approach is illustrated with statechart examples from the domain of GOF software design patterns.