{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:00:50Z","timestamp":1725850850079},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662493892"},{"type":"electronic","value":"9783662493908"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49390-8_52","type":"book-chapter","created":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T18:17:15Z","timestamp":1457374635000},"page":"533-543","source":"Crossref","is-referenced-by-count":2,"title":["Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach"],"prefix":"10.1007","author":[{"given":"Thi-Hoa-Hue","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Nhan","family":"Le-Thanh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.tcs.2005.10.035","volume":"353","author":"S Lu","year":"2006","unstructured":"Lu, S., Bernstein, A.J., Lewis, P.M.: Automatic workflow verification and generation. Theor. Comput. Sci. 353, 71\u201392 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"52_CR2","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-319-06932-6_14","volume-title":"Beyond Databases, Architectures, and Structures","author":"T-H-H Nguyen","year":"2014","unstructured":"Nguyen, T.-H.-H., Le-Thanh, N.: An Ontology-Enabled Approach for Modelling Business Processes. In: Kozielski, S., Mrozek, D., Kasprowski, P., Ma\u0142ysiak-Mrozek, B. (eds.) BDAS 2014. CCIS, vol. 424, pp. 139\u2013147. Springer, Heidelberg (2014)"},{"key":"52_CR3","unstructured":"W3C: Sparql 1.1 query language. W3C Recommendation (2013). http:\/\/www.w3.org\/TR\/sparql11-query\/"},{"key":"52_CR4","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"LM Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner\u2019s guide to coloured petri nets. STTT 2, 98\u2013132 (1998)","journal-title":"STTT"},{"key":"52_CR5","unstructured":"Corby, O., et al.: Corese\/kgram. https:\/\/wimmics.inria.fr\/corese"},{"key":"52_CR6","volume-title":"Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) Co-located with 21st European Conference on Artificial Intelligence (ECAI 2014)","author":"THH Nguyen","year":"2014","unstructured":"Nguyen, T.H.H., Le-Thanh, N.: Ensuring the semantic correctness of workflow processes: an ontological approach. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) Co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), vol. 1289. CEUR Workshop Proceedings, Prague (2014)"},{"key":"52_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8, 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"52_CR8","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H Verbeek","year":"1999","unstructured":"Verbeek, H., Basten, T., van der Aalst, W.: Diagnosing workflow processes using woflan. Comput. J. 44, 246\u2013279 (1999)","journal-title":"Comput. J."},{"key":"52_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1023\/B:ITEM.0000031583.16306.0f","volume":"5","author":"HH Bi","year":"2004","unstructured":"Bi, H.H., Zhao, J.L.: Applying propositional logic to workflow verification. Inf. Technol. Manage. 5, 293\u2013318 (2004)","journal-title":"Inf. Technol. Manage."},{"key":"52_CR10","doi-asserted-by":"crossref","unstructured":"Wainer, J.: Logic representation of processes in work activity coordination. In: Proceedings of the 2000 ACM Symposium on Applied Computing, SAC 2000, vol. 1, pp. 203\u2013209. ACM, New York (2000)","DOI":"10.1145\/335603.335745"},{"key":"52_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25, 117\u2013134 (2000)","journal-title":"Inf. Syst."},{"key":"52_CR12","unstructured":"Koschmider, A., Oberweis, A.: Ontology based business process description. In: EMOI-INTEROP, pp. 321\u2013333. Springer (2005)"},{"key":"52_CR13","doi-asserted-by":"crossref","unstructured":"Sebastian, A., Tudorache, T., Noy, N.F., Musen, M.A.: Customizable workflow support for collaborative ontology development. In: 4th International Workshop on Semantic Web Enabled Software Engineering (SWESE) at ISWC 2008 (2008)","DOI":"10.1007\/978-3-540-88564-1_2"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49390-8_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:58:38Z","timestamp":1720789118000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-49390-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662493892","9783662493908"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49390-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}