Behavioral Interfaces and Resources Clause Samples

Behavioral Interfaces and Resources. Baseline. Interface automata [67] provide an automata-based language that captures the interaction between a com- ponent and its environment. The formalism of interface automata supports algorithms for checking compatibility and refinement. In order to further specify quantitive information, nondeterministic weighted automata are described in [60] which are finite automata with numerical weights on transitions. Recently, a new formalism of Resource Driven Automata Nets (RDA-nets) was presented in [33]. This formalism allows the description of the distribution of agents and resources, and their interactions.