Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method presents a description methodology that was inspired by Timing Diagrams and Process Algebras, the so-called Hierarchical Annotated Diagrams. It is suitable for specifying systems with complex interface behaviors that govern the global system behavior. A HADD specification can be converted into a behavioral real-time model in VHDL and used to verify the surrounding logic, such as interface transducers. Also, function can be conservatively abstracted away and the interactions between interconnected devices can be verified using Constraint Logic Programming based on Relational Interval Arithmetic.CG(A, C), or simply CG (when A and C are clear from the context), is the directed weighted graph defined as follows: ac the vertex set of CG is A ac for each pair of actions a, , ay, such that aj * a;, define w^ as: Wij = Min( Min (uk), Min (-/p) cte C.;.
|Title||:||Hierarchical Annotated Action Diagrams|
|Publisher||:||Springer Science & Business Media - 1998-10-31|