{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T10:42:20Z","timestamp":1782384140646,"version":"3.54.5"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Zhejiang Provincial Natural Science Foundation of China","award":["LY15F02007"],"award-info":[{"award-number":["LY15F02007"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61272129"],"award-info":[{"award-number":["61272129"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Science and Technology Supporting Program of China","award":["2015BAH18F02"],"award-info":[{"award-number":["2015BAH18F02"]}]},{"name":"NewCentury Excellent Talents Program"},{"DOI":"10.13039\/501100002338","name":"Ministry of Education of China","doi-asserted-by":"crossref","award":["NCET-12-0491"],"award-info":[{"award-number":["NCET-12-0491"]}],"id":[{"id":"10.13039\/501100002338","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2017,11,1]]},"DOI":"10.1109\/tsc.2016.2519899","type":"journal-article","created":{"date-parts":[[2016,1,20]],"date-time":"2016-01-20T15:57:29Z","timestamp":1453305449000},"page":"841-853","source":"Crossref","is-referenced-by-count":15,"title":["Service Pattern: An Integrated Business Process Model for Modern Service Industry"],"prefix":"10.1109","volume":"10","author":[{"given":"Jianwei","family":"Yin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiling","family":"Luo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ying","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhaohui","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/3-540-45372-5_2","article-title":"An apriori-based algorithm for mining frequent substructures from graph data","author":"inokuchi","year":"0","journal-title":"Proc 4th European Conf on Principles of Data Mining and Knowledge Discovery"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2001.989534"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2013.79"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2013.20"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33155-8_10"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_22"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03848-8_5"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"ref35","first-page":"1","article-title":"Enterprise pattern: Integrating the business process into a unified enterprise model of modern service company","author":"li","year":"2015","journal-title":"Enterprise Inform Syst"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19509-4_7"},{"key":"ref10","first-page":"9","article-title":"Evaluation index system of modern service industry and its empirical analysis [j]","volume":"10","author":"zelin","year":"2012","journal-title":"Technology and Economics"},{"key":"ref40","first-page":"721","article-title":"gSpan: Graph-based substructure pattern mining","author":"yan","year":"0","journal-title":"Proc IEEE Int Conf Data Mining"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2418765"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"ref13","first-page":"265","article-title":"Process modeling notations and workflow patterns","volume":"2004","author":"white","year":"2004","journal-title":"Workflow Handbook"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_16"},{"key":"ref16","article-title":"Evaluation of the bpel4people and ws-humantask extensions to ws-bpel 2.0 using the workflow resource patterns","volume":"513","author":"russell","year":"2007"},{"key":"ref17","first-page":"127","article-title":"An intuitionistic theory of types","volume":"36","author":"martin-lof","year":"1998","journal-title":"Twenty-five Years of Constructive Type Theory"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70189-2"},{"key":"ref19","article-title":"The coq proof assistant reference manual: Version 6.1","author":"barras","year":"1997"},{"key":"ref28","first-page":"292","article-title":"Verifiable UML artifact-centric business process models (extended version)","author":"calvanese","year":"0","journal-title":"Proc Bus Process Manage Workshop"},{"key":"ref4","first-page":"1","article-title":"Business process management: A survey","author":"van der aalst","year":"2003","journal-title":"Business Process Management"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60566-288-6.ch023"},{"key":"ref3","article-title":"A hybrid model for business process event and outcome prediction","author":"le","year":"2014","journal-title":"Expert Syst"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442.ch6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40176-3_26"},{"key":"ref5","article-title":"Web services business process execution language version 2.0 primer","author":"barreto","year":"2007","journal-title":"OASIS Web Services Business Process Execution Language (WSBPEL) TC"},{"key":"ref8","author":"aalst","year":"2004","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref7","article-title":"Introduction to BPMN","author":"white","year":"0","journal-title":"IBM Cooperation"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258677"},{"key":"ref9","author":"wu","year":"2013","journal-title":"Business model innovation of modern service company a value network perspective"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.4324\/9780203081327","author":"jeston","year":"2014","journal-title":"Business Process Management"},{"key":"ref20","first-page":"265","article-title":"Constructive type theory","volume":"79","author":"howe","year":"2012","journal-title":"Logic Algebra and Computation International Summer School"},{"key":"ref22","author":"huang","year":"2010","journal-title":"Cases of Business Model Innovation in Service Sector"},{"key":"ref21","article-title":"Business model generation: A handbook for visionaries, game changers and challengers","volume":"5","author":"osterwalder","year":"2011","journal-title":"African J Business Management"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2014.37"},{"key":"ref23","article-title":"Spdl technological manual","author":"zhiling","year":"0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514924"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_21"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4629386\/8169176\/07387773.pdf?arnumber=7387773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:41:44Z","timestamp":1641987704000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7387773\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,1]]},"references-count":41,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsc.2016.2519899","relation":{},"ISSN":["1939-1374"],"issn-type":[{"value":"1939-1374","type":"print"}],"subject":[],"published":{"date-parts":[[2017,11,1]]}}}