Geodesic
A Precondition-based Approach to Workflow Oriented Software Re-engineering
Computer Science and Information Systems, Tome 11 (2014) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Workflow management systems (WfMSs) become the basic technology for organisations to build their Information Systems. To understand the business processes already implemented in the existing software systems and then build the workflow oriented Information System is a time-consuming and error prone process. This paper proposes a unified software reengineering approach from a business process perspective. A workflow extraction method is developed to elicit the business processes from existing systems. A precondition-based workflow model is designed for this purpose, which is an activity-centred method for program analysis. The calculation of the activity’s whole condition provides powerful analysis techniques to verify the correctness of the recovered workflow model. Through the proposed approach, the workflow procedures can be recovered from the existing system and verified by the precondition analysis.
Keywords: software re-engineering, workflow management, precondition-based workflow model, whole-condition of an activity 
@article{CSIS_2014_11_1_a4,
     author = {Feng Chen and Da Tang and Hongji Yang and Mohammed Alawairdhi},
     title = {A {Precondition-based} {Approach} to {Workflow} {Oriented} {Software} {Re-engineering}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {11},
     number = {1},
     year = {2014},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2014_11_1_a4/}
}
TY  - JOUR
AU  - Feng Chen
AU  - Da Tang
AU  - Hongji Yang
AU  - Mohammed Alawairdhi
TI  - A Precondition-based Approach to Workflow Oriented Software Re-engineering
JO  - Computer Science and Information Systems
PY  - 2014
VL  - 11
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2014_11_1_a4/
ID  - CSIS_2014_11_1_a4
ER  - 
%0 Journal Article
%A Feng Chen
%A Da Tang
%A Hongji Yang
%A Mohammed Alawairdhi
%T A Precondition-based Approach to Workflow Oriented Software Re-engineering
%J Computer Science and Information Systems
%D 2014
%V 11
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2014_11_1_a4/
%F CSIS_2014_11_1_a4
Feng Chen; Da Tang; Hongji Yang; Mohammed Alawairdhi. A Precondition-based Approach to Workflow Oriented Software Re-engineering. Computer Science and Information Systems, Tome 11 (2014) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2014_11_1_a4/