Automatically deriving an application specification from a web-based application

摘要

A method for deriving an application specification from an enterprise application including mapping the enterprise application to obtain a plurality of states and a plurality of transitions, monitoring the enterprise application to obtain a list of variable usages for each of the plurality of states, parsing source code of the enterprise application to obtain process logic for each of the plurality of transitions, and deriving the application specification using each of the plurality of states, the plurality of transitions, the list of variable usages for each of the plurality of states, and the process logic for each of a plurality of transitions.