点击次数：

论文类型：期刊论文

发表时间：2014-01-01

发表刊物：COMPUTER SCIENCE AND INFORMATION SYSTEMS

收录刊物：SCIE

卷号：11

期号：1

页面范围：1-27

ISSN号：1820-0214

关键字：computer software re-engineering; workflow management; precondition-based workflow model; whole-condition of an activity

摘要：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 re-engineering 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 pm-pose, 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.