Authors
Matorin S.
|
Degree
|
Dr of Technique, Professor, «SoftConnect» Ltd. |
|---|---|
|
E-mail
|
matorin@softconnect.ru |
|
Location
|
Belgorod |
|
Articles
|
Formalized visual modeling of administrative proceduresNew methods for graph-analytical and algebraic description of administrative procedures are considered. The administrative procedures being analyzed provide public and municipal services in electronic form within the framework of «Electronic Russia» federal program. A method for systems formal description in terms of «unit», «function» and «object» is presented. Read more...Simulation modeling of using system-object approachThe article discusses the importance of the development of methods and simulation tools, primarily
by converting visual (graphic-analytical) organizational and business models and production processes.
It describes the basic concepts and formalisms for system-object approach «Unit-Function-
Object» (UFO-approach) and the system-object methods of knowledge representation (SOMKR) using
the apparatus of algebraic of the patterns theory Grenander, calculus processes Milner and calculus
objects Abadi-Kardelj. Substantiates the prospects of the use of these funds for the creation of new
methods of simulation. We present two methods of simulation using the system-object approach «Unit-
Function-Object». Firstly, by formalizing the system-object graphical-analytical models of knowledge
of business processes by means of algebraic calculation objects and, secondly, by converting the visual
system-object models to describe them in the language of the simulation of production processes
«CHI» (c). The results suggest the possibility and feasibility of simulation tools using in the based
UFO-approach, which is implemented in the new version of software tools UFO-toolkit, automates
the procedure described in the article modeling.
Read more...
Formalization of the system-object approach «Unit-Function-Object»
The aim of the work is to study the possibility of formalizing the system-object approach «Unit-
Function-Object». To achieve this goal, the ideas of calculating Abadi-Kardeli objects were used in the
formal description of the conceptual provisions of this approach. In terms of this calculus, a special object
is formulated that represents the system as an element of Unit-Function-Object (UFO-element), and
a corresponding graphical representation is proposed. Some algebraic operations with special objects
as UFO-elements are described: connection of objects, association of objects on an input, association
of objects on an exit. The described operations are considered as basic operations of the proposed system
calculus as UFO-elements. They correspond to three structural phenomena and three kinds of objects
from which any structure and system of any complexity can be created: a simple stream (a simple
object), a merger of flows (a merging object), and a branching of the flow (branching object). As
a matter of fact, these operations are reduced to describing in the terms of the Grenander pattern theory
the «image» obtained by constructing a «configuration» of non-derivative objects (graphic formalisms)
and describing non-closed connections. The classification of these elements by their nodes
is proposed, which is based on the basic hierarchy of connection classes used within the system-object
approach. This classification allows us to use a limited alphabetic set of elements when modeling
systems. The developed calculus of systems as UFO-elements provides aggregation of such elements
and facilitates their decomposition. In addition, this calculus allows us to take into account a number
of system-wide regularities. The obtained results show the expediency of constructing a formalized
system theory by expanding and improving the calculus formalizing the system-object approach,
the foundations of which are presented in the work.
Read more...
|
