{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T01:07:58Z","timestamp":1770512878867,"version":"3.49.0"},"reference-count":97,"publisher":"Informa UK Limited","issue":"5","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Enterprise Information Systems"],"published-print":{"date-parts":[[2018,5,28]]},"DOI":"10.1080\/17517575.2018.1432769","type":"journal-article","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T04:55:31Z","timestamp":1517460931000},"page":"638-657","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":18,"title":["Extension of specification language for soundness and completeness of service workflow"],"prefix":"10.1080","volume":"12","author":[{"given":"Wattana","family":"Viriyasitavat","sequence":"first","affiliation":[{"name":"Business Information Technology Division, Department of Statistics, Faculty of Commerce and Accountancy, Chulalongkorn University, Bangkok 10300, Thailand"}]},{"given":"Li Da","family":"Xu","sequence":"additional","affiliation":[{"name":"Information Technology & Decision Sciences, Old Dominion University, Norfolk, VA, 23529, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8145-7883","authenticated-orcid":false,"given":"Zhuming","family":"Bi","sequence":"additional","affiliation":[{"name":"Department of Civil and Mechanical Engineering, Purdue University Fort Wayne, Fort Wayne, IN 46805, USA"}]},{"given":"Assadaporn","family":"Sapsomboon","sequence":"additional","affiliation":[{"name":"Business Information Technology Division, Department of Statistics, Faculty of Commerce and Accountancy, Chulalongkorn University, Bangkok 10300, Thailand"}]}],"member":"301","published-online":{"date-parts":[[2018,1,31]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1145\/1938551.1938564"},{"key":"CIT0002","first-page":"715","volume":"3911","author":"Alt M.","year":"2005","journal-title":"Lncs"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.010"},{"key":"CIT0004","first-page":"13","volume-title":"In Proc. 19th Computer Security Foundations Workshop","author":"Bartoletti M.","year":"2006"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70740"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1080\/23270012.2014.992985"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1177\/0954405413519788"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1108\/IntR-02-2014-0043"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1108\/IntR-02-2016-0056"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2300338"},{"key":"CIT0011","doi-asserted-by":"crossref","unstructured":"Bianculli, D., C. Ghezzi, and P. S. Pietro. 2013. \u201cThe Tale of SOLOIST: A Specification Language for Service Compositions Interactions.\u201e \u00a0C. S. P\u0103s\u0103reanu and G. Sala\u00fcn eds. Heidelberg: FACS 2012. LNCS, Springer. Formal Aspects of Component Software7684: 55\u201372.","DOI":"10.1007\/978-3-642-35861-6_4"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2007.136"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2008.24"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2015.18"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Branger, J., and Z. Pang. 2015.From Automated Home to Sustainable, Healthy and Manufacturing Home: A New Story Enabled by the Internet-Of-Things and Industry 4.0.\u201c Journal of Management Analytics 2 (4): 314\u2013332.","DOI":"10.1080\/23270012.2015.1115379"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.92"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1109\/32.798321"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.03.001"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2016.04.004"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.19"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1115\/1.4034303"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2016.1218088"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2381640"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2188511"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2253552"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2014.2303077"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.5"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2005.1558629"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.58"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1142\/S2424862217500099"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1109\/4236.845389"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2598335"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2009.05.018"},{"key":"CIT0034","first-page":"149","volume-title":"Proceedings of the 8th IEEE Intl Enterprise Distributed Object Computing Conf (EDOC 2004)","author":"Jaeger M. C.","year":"2004"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1142\/S2424862216500081"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1142\/S2424862217500117"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.909436"},{"issue":"1","key":"CIT0038","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TII.2015.2503126","volume":"12","author":"Li H.","year":"2016","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1016\/j.techfore.2017.05.028"},{"key":"CIT0040","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-008-9108-1"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-014-9492-7"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.37"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258677"},{"key":"CIT0044","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2015.1053415"},{"key":"CIT0045","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2016.2554143"},{"key":"CIT0046","first-page":"75","volume-title":"Proceedings of International Symposium on Logistics and Industrial Informatics","author":"Lorincz P.","year":"2007"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1142\/S242486221650007X"},{"key":"CIT0048","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2017.04.005"},{"key":"CIT0049","doi-asserted-by":"publisher","DOI":"10.1109\/LatinCloud.2013.6842219"},{"key":"CIT0050","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2593903"},{"key":"CIT0051","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.43"},{"key":"CIT0052","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2010.100"},{"key":"CIT0053","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.33"},{"key":"CIT0054","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2013.49"},{"key":"CIT0055","first-page":"1","author":"Philips E.","year":"2011","journal-title":"Sciences Computation Program 78 (2):"},{"key":"CIT0056","doi-asserted-by":"publisher","DOI":"10.1109\/IMIS.2011.99"},{"key":"CIT0057","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2016.2556668"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2008.98"},{"key":"CIT0059","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.18"},{"key":"CIT0060","volume-title":"Industry 4.0 Challenges and Solutions for the Digital Transformation and Use of Exponential Technologies","author":"Schlapfer R. C.","year":"2015"},{"key":"CIT0061","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2013.2260072"},{"key":"CIT0062","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2010.504888"},{"key":"CIT0063","doi-asserted-by":"publisher","DOI":"10.1002\/9781118554609"},{"key":"CIT0064","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2306383"},{"key":"CIT0065","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2426147"},{"key":"CIT0066","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2013.79"},{"key":"CIT0067","unstructured":"Viriyasitavat, W. 2013, A Framework of Trust in Service Workflows, D.Phill. dissertation, Dept. of Computer Science, University of Oxford, Oxford."},{"key":"CIT0068","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2016.03.003"},{"key":"CIT0069","doi-asserted-by":"publisher","DOI":"10.1109\/EUC.2010.111"},{"key":"CIT0070","first-page":"492","volume":"251","author":"Viriyasitavat W.","year":"2011","journal-title":"Communicable Computation Information Sciences"},{"issue":"3","key":"CIT0071","first-page":"911","volume":"14","author":"Viriyasitavat W.","year":"2012","journal-title":"IEEE Communications Surveys & Tutorials"},{"key":"CIT0072","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2017.07.002"},{"key":"CIT0073","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2182519"},{"key":"CIT0074","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2301143"},{"key":"CIT0075","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2301132"},{"key":"CIT0076","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2300346"},{"key":"CIT0077","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2006.10.004"},{"key":"CIT0078","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.05.049"},{"key":"CIT0079","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2006.01.011"},{"key":"CIT0080","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2010.147"},{"key":"CIT0081","unstructured":"Wikipedia 2017, Cloud Manufacturing, https:\/\/en.wikipedia.org\/wiki\/Cloud_manufacturing (accessed 12 December 2017)."},{"key":"CIT0082","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2238231"},{"key":"CIT0083","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2015.1053416"},{"key":"CIT0084","doi-asserted-by":"publisher","DOI":"10.1080\/17517570712331393320"},{"key":"CIT0085","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2300753"},{"key":"CIT0086","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-008-9114-3"},{"key":"CIT0087","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2167156"},{"key":"CIT0088","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2016.04.001"},{"key":"CIT0089","doi-asserted-by":"publisher","DOI":"10.1002\/sres.v26:3"},{"key":"CIT0090","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2187908"},{"key":"CIT0091","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2013.31"},{"key":"CIT0092","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2016.56"},{"key":"CIT0093","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2449302"},{"key":"CIT0094","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2044409"},{"key":"CIT0095","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2014.2341235"},{"key":"CIT0096","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2015.2404807"},{"key":"CIT0097","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.27"}],"container-title":["Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17517575.2018.1432769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T20:06:15Z","timestamp":1693512375000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17517575.2018.1432769"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,31]]},"references-count":97,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2018,5,28]]}},"alternative-id":["10.1080\/17517575.2018.1432769"],"URL":"https:\/\/doi.org\/10.1080\/17517575.2018.1432769","relation":{},"ISSN":["1751-7575","1751-7583"],"issn-type":[{"value":"1751-7575","type":"print"},{"value":"1751-7583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,31]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=teis20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=teis20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2017-12-11","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-01-22","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-01-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}