{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:53:48Z","timestamp":1725846828391},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491911"},{"type":"electronic","value":"9783662491928"}],"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"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49192-8_14","type":"book-chapter","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T15:47:27Z","timestamp":1452181647000},"page":"171-182","source":"Crossref","is-referenced-by-count":3,"title":["Using Attribute Grammars to Model Nested Workflows with Extra Constraints"],"prefix":"10.1007","author":[{"given":"Roman","family":"Bart\u00e1k","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"issue":"8","key":"14_CR1","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1109\/TKDE.2004.20","volume":"16","author":"J Bae","year":"2004","unstructured":"Bae, J., Bae, H., Kang, S.-H., Kim, Z.: Automatic control of workflow processes using ECA rules. IEEE Trans. Knowl. Data Eng. 16(8), 1010\u20131023 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-85776-1_20","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"R Bart\u00e1k","year":"2008","unstructured":"Bart\u00e1k, R., \u010cepek, O.: Nested precedence networks with alternatives: recognition, tractability, and models. In: Dochev, D., Pistore, M., Traverso, P. (eds.) AIMSA 2008. LNCS (LNAI), vol. 5253, pp. 235\u2013246. Springer, Heidelberg (2008)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Bart\u00e1k, R., Cully, M., Ja\u0161ka, M., Nov\u00e1k, L., Rovensk\u00fd, V., Sheahan, C., Skalick\u00fd, T., Thanh-Tung, D.: Workflow optimization with FlowOpt, on modelling, optimizing, visualizing, and analysing production workflows. In: Proceedings of Conference on Technologies and Applications of Artificial Intelligence (TAAI 2011), pp. 167\u2013172. IEEE Conference Publishing Services (2011)","DOI":"10.1109\/TAAI.2011.36"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"904","DOI":"10.1016\/j.eswa.2013.08.021","volume":"41","author":"R Bart\u00e1k","year":"2014","unstructured":"Bart\u00e1k, R., Rovensk\u00fd, V.: On verification of nested workflows with extra constraints: from theory to practice. Expert Syst. Appl. 41(3), 904\u2013918 (2014)","journal-title":"Expert Syst. Appl."},{"key":"14_CR5","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"DE Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theory 2(2), 127\u2013145 (1968)","journal-title":"Math. Syst. Theory"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"DS Nau","year":"2003","unstructured":"Nau, D.S., Au, T.-C., Ilghami, O., Kuter, U., Murdock, J.W., Wu, D., Yaman, F.: SHOP2: an HTN planning system. J. Artif. Intell. Res. (JAIR) 20, 379\u2013404 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W Aalst van der","year":"2005","unstructured":"van der Aalst, W., ter Hofstede, A.H.M.: Yawl: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2016: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49192-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:06:55Z","timestamp":1559380015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49192-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662491911","9783662491928"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49192-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}