{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T21:04:58Z","timestamp":1649106298339},"reference-count":27,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2012,9]]},"abstract":"<jats:p> With the rapid development of economic globalization and informationization, the Chinese e-government is still in its adolescence with a long way ahead. Based on some recent research in Guangdong province, we find that e-government affair systems play important roles therein and represent a certain kind of application called Form-centered Application Systems (FAS). After much investigation and analysis on e-government's background, daily routine and regulations, we summarize some rules and disciplines of its business process modeling, based on which we characterize requirements of FAS. Though currently many process modeling approaches or techniques have been proposed and widely used, they can not fully and easily meet the special needs. In this paper, we introduce a new business process model called Double-State Based Business Process Description Model (DSBPDM), which is composed of Business Process Model (BPM) and Dispatching Model (DM), where BPM enriches Finite State Machine (FSM) Model by three constraint checks, business logic and message passing, whereas DM delineates the dispatching and executing status of the business object in its lifetime. After presenting DSBPDM's formal definition, we discuss the essence of process forwarding by deducing its operational semantics formally. In this way, key issues such as explicit state and operation representation, rigorous constraint expression, complex authorization check, and full picture of the dispatching and executing of business objects are nicely tackled. Our practice shows that building FAS system with DSBPDM and its supporting platform fits the requirements well, provides an open and transparent view of business process, satisfies the needs of the public and officials, and helps to get a comprehensive insight into the meaning of business process forwarding. <\/jats:p>","DOI":"10.1142\/s0218194012500210","type":"journal-article","created":{"date-parts":[[2012,11,6]],"date-time":"2012-11-06T03:48:30Z","timestamp":1352173710000},"page":"801-837","source":"Crossref","is-referenced-by-count":0,"title":["DOUBLE-STATE BASED BUSINESS PROCESS DESCRIPTION MODEL AND ITS OPERATIONAL SEMANTICS"],"prefix":"10.1142","volume":"22","author":[{"given":"YUNXIANG","family":"ZHENG","sequence":"first","affiliation":[{"name":"School of Educational Information Technology, South China Normal University, 55 Western ZhongShan Ave, Guangzhou, 510631, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TIANXIANG","family":"ZHENG","sequence":"additional","affiliation":[{"name":"Shenzhen Tourism College of Jinan University, Overseas Chinese Town, Shenzhen, 518053, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YANFEN","family":"ZHANG","sequence":"additional","affiliation":[{"name":"School of Educational Information Technology, South China Normal University, 55 Western ZhongShan Ave, Guangzhou, 510631, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HAI","family":"WAN","sequence":"additional","affiliation":[{"name":"School of Software, Sun Yat-sen University, 132 East Waihuan Road, Guangzhou, 510275, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,11,6]]},"reference":[{"key":"rf2","first-page":"189","volume":"6","author":"Peng G. L.","journal-title":"Modern Information"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"rf6","volume-title":"Structured Analysis and System Specification","author":"DeMarco T.","year":"1978"},{"key":"rf7","first-page":"307","volume":"57","author":"Holt A.","journal-title":"Electrical Communication"},{"key":"rf8","volume-title":"The Unified Modeling Language User Guide","author":"Jacobson I.","year":"1999"},{"key":"rf9","volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh J.","year":"1999"},{"key":"rf13","volume-title":"Petri Net Theory and Modeling of Systems","author":"Peterson J. L.","year":"1981"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/S0957-4174(00)00036-1"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/S0736-5845(00)00045-4"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"rf23","volume-title":"BPEL4WS Business Processes with WebSphere Business Integration: Understanding, Modeling, Migrating","author":"Keen M.","year":"2004"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.08.004"},{"key":"rf32","doi-asserted-by":"publisher","DOI":"10.1360\/jos170670"},{"key":"rf33","doi-asserted-by":"crossref","first-page":"333","DOI":"10.17705\/1jais.00193","volume":"10","author":"Recker J.","journal-title":"Journal of the Association for Information Systems"},{"key":"rf34","first-page":"30","volume":"9","author":"Green P.","journal-title":"Australasian Journal of Information Systems"},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.1108\/14637151011018001"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2009.04.006"},{"key":"rf40","volume":"11","author":"Tob\u00f3n H. G.","journal-title":"Business Rules Journal"},{"key":"rf41","doi-asserted-by":"crossref","first-page":"20","DOI":"10.17221\/2503-AGRICECON","volume":"55","author":"R\u00e1bov\u00e1 I.","journal-title":"Journal of Agricultural Economics \u2013 Czech"},{"key":"rf42","volume-title":"The Foundations of Program Verification","author":"Loeckx J.","year":"1984"},{"key":"rf43","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-5273(03)00102-6"},{"key":"rf44","doi-asserted-by":"publisher","DOI":"10.1145\/1824795.1824799"},{"key":"rf45","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-4972(01)00103-1"},{"key":"rf46","doi-asserted-by":"crossref","first-page":"175","DOI":"10.17705\/1jais.00119","volume":"8","author":"Soffer P.","journal-title":"Journal of the Association for Information Systems"},{"key":"rf47","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.01.002"},{"key":"rf48","first-page":"43","volume":"6","author":"Olbrich S.","journal-title":"The Electronic Journal of e-Government"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194012500210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T09:10:39Z","timestamp":1565169039000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194012500210"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":27,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2012,11,6]]},"published-print":{"date-parts":[[2012,9]]}},"alternative-id":["10.1142\/S0218194012500210"],"URL":"https:\/\/doi.org\/10.1142\/s0218194012500210","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9]]}}}