O. A. Zimovets, S. I. Matorin, “Integration of formalization tools of graph-analytical models “Unit-Function-Object””, Artificial Intelligence and Decision Making, 2012, Issue 1,Pages <nobr>57

This article is cited in 3 papers

Modeling and control

Integration of formalization tools of graph-analytical models “Unit-Function-Object”

O. A. Zimovets, S. I. Matorin

National Research University "Belgorod State University"

Abstract: The paper considers a new method for formal description of systems in terms of “Unit”, “Function”, “Object” that is based on a comparative study and integration of Grenander algebraic theory of patterns and Milner calculation processes. The decomposition and aggregation procedures of graphical-analytical models of “Unit-Function-Object” are formalized with the proposed method. Keywords:

Keywords: “Unit-Function-Object” approach, theory of patterns, calculation process, formalization of graphical elements, interface decomposition, operations on functions.