The authors propose the method of graph model development for specified problem domain used in design of software complex architecture and in organization of computational processes by finite state machine model. Authors emphasize using model in order to reconstruct the structure of bundled software formed from separate software components that gives ability to judge architecture and correct modules linking by formalized characteristics before starting programming. Also authors describe main construction principles for finite state machine model needed to define basic behavior properties of software subsystems.
graph model, problem domain, finite state machine, bundled software
"Orhanyzatsyia vыchyslytelnыkh protsessov dlia zadannoi predmetnoi oblasty s yspolzovanyem modely konechnыkh avtomatov" [Organization of computational processes for specified problem domain with finite state machine model],
Information Processing Systems,