The problem of the rapid creation of effective web-applications of one class with using formal means are considered. The conceptual approach to its solution is offered on the basis of analysis of the peculiarities of web-applications construction. The approach is based on defining the standard web application architecture and selecting its components using formal methods in accordance with user requirements. A formal logical system is used, which uses the design of web-applications as a process of outputting the formula specified according to the needs of the user, which defines the schemes of execution of the modules of the system. An important feature of the approach is the ability to 3D-visualize the process of designing the system, which creates conditions for effective interaction between developers and machine development tools.
The article proposes the concept of a platform for the development, accumulation and use of specialized applications – bots that automate functions related to informing, ordering and fulfilling orders, the implementation of multi-stage processes using capabilities of social networks and messenger programs. Individual stages of these processes depend on various circumstances, most important and influential being events and features of participants who are abonents of the said social networks and users of messengers. Differences in such features and circumstances affect complexity, structure and overall composition of the whole application, determining the entire end-to-end flow of the development process. Due to that, creation of the said applications require thorough planning and coherent, thought-out approach to conduction of design work on stages crucial to the whole multistage process. Based on those assumptions, a general approach to creating bots using formal models is described, including usage of state machines, logical models, and descriptions of business processes. Diagram specifications are built based on analysis of business processes to facilitate the conduction of implementation of proposed bot applications. In the platform implementation plan, the practical implementation of the component is proposed, which ensures the construction of the logic for processing user actions within the implementation of the given business process in accordance with the diagram specification. An example of using a practical implementation of a component to create a bot is described to better illustrate peculiarities and features of individual process stages, implementation of bot applications and flow of development as a whole. Development of a platform that is to be composed of such applications is envisioned.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.