Structural-dynamic approach to the formalization of information exchange objects under Integrated Information Environment

Abstract

The structural-dynamic approach to the formalization of the information exchange objects structure and behavior under Integrated Information Environment is considered: electronic design document and a typical design object. For the objects formalization and modeling the basic of subject-oriented ontologies, automata and set theory were used. The subject area (scope) and the electronic design document structure is formalized in ontology. Graphic representation of the information exchange objects life cycle performed as colored oriented nets. The ontological approach and colored networks allows revealing the relationship between structure and behavior of information objects, avoiding information inconsistency of complex multiply connected structures. The proposed approach provides an opportunity to take into attention the entirety of electronic design documents submission and design objects, which is difficult to ensure using alternative modeling methods.