Input-Output Conditions for Automatic Program Generation Using Petri Nets

Abstract

Abstract. Recently, demand for software has been increasing due to the influence of factory and office automation, so a software crisis has begun. Concerned with this situation, interest of automatic program generation has been increased. An automatic program generation system MAPP(Module Aided Programming system by Prolog) uses specifications written in easily understood language, and data structures with customized target objects using the generic Prolog module library. During program generation, using input and output conditions of modules, MAPP tries to compensate for any missing specifications when they are not completely described. In this paper, Petri nets will be used corresponds input-output conditions check of MAPP modules. The reachability of Petri net is mathematically analyzable using state equation, algebraic equation or incidence matrices of Petri nets.

Patterns of Software Development Process

“…The classical Leontief model on the correlation of the economy in different industries with respect to their inputs and outputs [32], is also a generalized model of software processes, for example in testing [33], [34], requirements engineering [35], programming [36], among other activities of the development process. Input-Output pattern allows clear identification of the process inputs that are required for its execution and that will be transformed to achieve the expected outputs ( Figure 7).…”