|
Artificial Intelligence and Decision Making, 2012, Issue 1, Pages 57–64
(Mi iipr422)
|
|
|
|
This article is cited in 3 scientific papers (total 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.
Citation:
O. A. Zimovets, S. I. Matorin, “Integration of formalization tools of graph-analytical models “Unit-Function-Object””, Artificial Intelligence and Decision Making, 2012, no. 1, 57–64; Scientific and Technical Information Processing, 40:6 (2013), 396–402
Linking options:
https://www.mathnet.ru/eng/iipr422 https://www.mathnet.ru/eng/iipr/y2012/i1/p57
|
Statistics & downloads: |
Abstract page: | 9 | Full-text PDF : | 6 | References: | 1 |
|