Automatic Proofs for Scalecharts

A scalechart is a set of statecharts, operating in a dense time domain, whose behavior is self-similar at different scales. The simplicity of extracting proofs of behavior from scalecharts is demonstrated, based on the < and co relationships. An algorithm is presented which automatically extracts < relationships from a simplified version of scalecharts.

• Type: Conference
• Year: 2004
• Where: DIAGRAMS
• Authors: Richard Bosworth
• Keywords: Artificial Intelligence, Behavior, Dense Time, DIAGRAMS 2004, Different Scales