Hierachical Model of Behavior On-line Testing for Distributed Information Systems

The paper presents a three-level decomposition model of behavioral on-line testing for distributed information systems of the application level. The model is based on the representation of distributed information systems by a three-tier composition of Petri nets, the identification of reference positions/transitions, recognition of behavioral reference fragments, hierarchical inheritance of the recognized behavior. In Petri nets space-time check models are distinguished, which allow the decomposition of the behavior of a distributed system. The following tasks are solved - definition of distributed information systems analytical models - hierarchical extended Petri nets with structural spatial and temporal decomposition of processes and construction of multi-level analytical models of behavioral online testing of distributed information systems - a multi-level fixed extended behavior of the hierarchical extended Petri nets with additional recognition and encapsulation operations, relations of preordering and inheritance, that are defined on it. Behavioral online testing assumes the preceding definition of recognition of reference positions/transitions, reference fragments and their structures and is applicable for model of project verification and verification of implementations for real distributed information systems.