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

Abstract

yesA new method for the formal description of systems in terms of “Unit”, “Function”, and “Object” based on the comparative study and integration of tools from the Grenander algebraic theory of pat terns and Milner’s process calculus is considered. Decomposition and aggregation procedures are formalized for the graphic-analytical models “Unit-Function-Object” using the proposed approachBelgorod State Universit

    Similar works

    Full text

    thumbnail-image