{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T04:09:39Z","timestamp":1685419779801},"reference-count":0,"publisher":"National Library of Serbia","issue":"1","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ComSIS","COMPUT SCI INF SYST","COMPUT SCI INFORM SY","COMPUTER SCI INFORM","COMSIS J"],"published-print":{"date-parts":[[2014]]},"abstract":"Workflow management systems (WfMSs) become the basic technology for\n organizations to build their Information Systems. To understand the business\n processes already implemented in the existing software systems and then build\n the workflow oriented Information System is a time-consuming and error prone\n process. This paper proposes a unified software reengineering approach from a\n business process perspective. A workflow extraction method is developed to\n elicit the business processes from existing systems. A precondition-based\n workflow model is designed for this purpose, which is an activity-centred\n method for program analysis. The calculation of the activity?s whole\n condition provides powerful analysis techniques to verify the correctness of\n the recovered workflow model. Through the proposed approach, the workflow\n procedures can be recovered from the existing system and verified by the\n precondition analysis.<\/jats:p>","DOI":"10.2298\/csis121021064c","type":"journal-article","created":{"date-parts":[[2013,8,13]],"date-time":"2013-08-13T10:20:13Z","timestamp":1376389213000},"page":"1-27","source":"Crossref","is-referenced-by-count":0,"title":["A precondition-based approach to workflow oriented software re-engineering"],"prefix":"10.2298","volume":"11","author":[{"given":"Feng","family":"Chen","sequence":"first","affiliation":[{"name":"Software Technology Research Laboratory, De Montfort University, Leicester, England"}]},{"given":"Da","family":"Tang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Dalian University of Technology, Dalian, China"}]},{"given":"Hongji","family":"Yang","sequence":"additional","affiliation":[{"name":"Software Technology Research Laboratory, De Montfort University, Leicester, England"}]},{"given":"Mohammed","family":"Alawairdhi","sequence":"additional","affiliation":[{"name":"College of Computer and Information Sciences, Al-Imam Muhammad Ibn Saud Islamic University, Saudi Arabia"}]}],"member":"1078","container-title":["Computer Science and Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T08:31:13Z","timestamp":1685349073000},"score":1,"resource":{"primary":{"URL":"https:\/\/doiserbia.nb.rs\/Article.aspx?ID=1820-02141300064C"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014]]}},"URL":"https:\/\/doi.org\/10.2298\/csis121021064c","relation":{},"ISSN":["1820-0214","2406-1018"],"issn-type":[{"value":"1820-0214","type":"print"},{"value":"2406-1018","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}