| 摘要 |
<p>The present invention provides a user-centric method and system for programming software modules based on automatic source code prototyping directly from functional requirements. It enables, before producing any source code, distribution of implemented business rules among predefined software modules. The invention is based on the formal characterization of the properties intrinsic to functional analysis and independent of any implementation techniques, conditioning the possibility of implementing business rules as a textually contiguous set of elementary instructions. The invention starts with an initial functional analysis wherein the functional requirements of a system are expressed in terms of rules. An automatic functional analysis completion algorithm produces a locally complete functional analysis from the initial functional analysis. Next, a filtered functional analysis presents the computational properties of a correct implementation from the locally complete functional analysis. Finally, the filtered functional analysis can be automatically translated into object oriented program source code.</p> |
