Adaptation of the DFD technology in the modeling of business systems in the environment of RDS

The article is devoted to the description of structural methods of processes modeling, represented by visual languages of business processes modeling of socio-economic systems, designed not only for static functional/information modeling of processes, but also allowing to simulate their behavior.

The description of grammar of structural languages of designing business processes of the enterprise which subsets it is offered to adapt for expansion of input language of the tool complex of RDS (Calculation of Dynamic Systems) that will allow to use opportunities of a complex for the solution of problems of the analysis not only dynamic, but also business models of organizational and economic systems are given. Provides the syntax and semantics of DFD, STD, ERD-notations. For the formal description of the syntax it is proposed to use the apparatus of mixed grammars, which are a combination of graph and ordinary grammars. The article describes the grammar that generates the simplest dialect of DFD-technology, informally describes the semantic aspects of the language, in particular the semantics of relations between the objects of the language.

The basic constructions of the proposed language, its syntax and semantics are presented. Classification of potential errors is given. Non-terminal symbols of the language are presented in detail: diagram, DFD-diagram, STD-diagram, ERD-diagram, mini-specification, service structures are defined (including data dictionary).

The types and sorts of evaluation criteria in the problems of business models quality analysis, syntax errors detection, as well as static semantics errors during their implementation in RDS are described. Static analysis of the business model is carried out in three directions which are syntax, semantics and pragmatics. Analysis methods can be divided into the following classes: syntactical, i.e. those that reveal violations of the syntax of the diagram representation language; semantic, revealing violations of the semantic representation of diagrams and their elements; methods of analyzing the quality of the business model, evaluated by the parameters of connectivity and cohesion.

The implementation of the described methods and mechanisms is assumed as an additional module of simulation modeling of business processes as part of the RDS software complex, which is a tool for building research stands that provide the process of modeling, analysis and synthesis of control systems. The complex was implemented in the framework of projects implemented in the IPU RAS. The article defines the purpose, composition and structure of the business process simulation module.

1. Dorri M.KH., Roshchin A.A. Programmnyy kompleks dlya modelirovaniya i issledovaniya sistem upravleniya “Raschet Dinamicheskikh Sistem” (RDS). CHast’ 1: Ustroystvo RDS i redaktirovaniye skhem. = Software package for modeling and research of control systems “Calculation of Dynamic Systems” (RDS). Part 1: RDS device and circuit editing Moscow: LENARD; 2018. (In Russ.)

2. Kalyanov G.N. Conceptual model of DFDtechnology. Otkrytoye obrazovaniye = Open Education. 2017; 4: 21–26. (In Russ.)

3. Kalyanov G.N. Teoriya i praktika reorganizatsii biznes-protsessov = Theory and practice of reorganization of business processes. Moscow: SINTEG; 2000. (In Russ.)

4. Kalyanov G.N. O teorii biznes-protsessov. Programmnaya inzheneriya = Software Engineering. 2018; 9; 3: 99-109. (In Russ.)

5. Akho A., Ul’man D. Teoriya sintaksicheskogo analiza, perevoda i kompilyatsii = The theory of syntactic analysis, translation and compilation. Moscow: World; 1978. (In Russ.)

6. Rekers J., Schuerr A. A graph grammer aproach to graphical parsing. Visual Languages Proc., 11 IEEE Int. Symp.; 1995: 195-202. (In Russ.)

7. Zhang D.-Q., Zhang K., Cao J. A contextsensitive graph grammar formalism for the specification of visual languages. The Computer Journal. 2001; 44; 3: 186–200.

8. Kalyanov G.N. Formal methods of supporting the reorganization of business processes. Ekonomika, statistika i informatika. Vestnik UMO. = Economics, statistics and computer science. Bulletin of UMO. 2013; 3: 161–165. (In Russ.)

9. Kalyanov G.N. Business Process Verification. Trudy 21-y nauchno-prakticheskoy konferentsii “Inzhiniring predpriyatiy i upravleniye znaniyami”. Tom 1. = Proceedings of the 21st Scientific Practical Conference “Enterprise Engineering and Knowledge Management”. Volume 1. Moscow; 2018: 72–75. (In Russ.)

10. Dorri M.KH., Roshchin A.A. Efficiency of combining the ideas of forecast, open-loop and feedback control in the design of control systems. Automation and Remote Control. 2015; 76; 6: 1049–1057.

11. Dorri M.KH., Roshchin A.A. Raschet Dinamicheskikh Sistem (RDS). Pervonachal’noye znakomstvo s razrabotkoy avtokompiliruyemykh blokov. = Calculation of Dynamic Systems (RDS). Initial acquaintance with the development of autocompiled blocks. Moscow: ICP RAS; 2016. (In Russ.)

12. Kalashyan A.N., Kalyanov G.N. Strukturnyye modeli biznesa: DFD-tekhnologii. = Structural business models: DFD-technology. Moscow: Finance and Statistics; 2003. (In Russ.)

13. Afanas’yev A.N., SHarov O.G., Voyt N.N. Analiz i kontrol’ diagrammaticheskikh modeley pri proyektirovanii slozhnykh avtomatizirovannykh system = Analysis and control of diagrammatic models in the design of complex automated systems. Ul’yanovsk: UlSTU; 2016. (In Russ.)

14. France R.B. Semantically Extended DFD: A Formal Specification Tool. IEEE Transactions on Software Engineering. 1992. SE-18; 4: 329–346.

15. Serrano J.A., Welland R. VCT – a Formal Language for the Specification of Diagrammatic. Modelling Technique, Information and Software Technology. 1998; 40; 9: 463–474.

16. Larsen P.G., Plat N., Toetenel H. A Formal Semantics of Data Flow Diagram. Formal Aspects of Computing. 1994; 6; 6: 586–606.