Hierarchical Annotated Action Diagrams

Hierarchical Annotated Action Diagrams

4.11 - 1251 ratings - Source

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: a€c the vertex set of CG is A a€c 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
Author:Eduard Cerny
Publisher:Springer Science & Business Media - 1998-10-31


You Must CONTINUE and create a free account to access unlimited downloads & streaming