{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:31:17Z","timestamp":1743042677104,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319484716"},{"type":"electronic","value":"9783319484723"}],"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-319-48472-3_3","type":"book-chapter","created":{"date-parts":[[2016,10,17]],"date-time":"2016-10-17T08:43:13Z","timestamp":1476693793000},"page":"43-60","source":"Crossref","is-referenced-by-count":5,"title":["Process Synthesis with Sequential and Parallel Constraints"],"prefix":"10.1007","author":[{"given":"Richard","family":"Mrasek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jutta","family":"M\u00fclle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klemens","family":"B\u00f6hm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,18]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-642-21640-4_31","volume-title":"Advanced Information Systems Engineering","author":"A Awad","year":"2011","unstructured":"Awad, A., Gor\u00e9, R., Thomson, J., Weidlich, M.: An iterative approach for business process template synthesis from compliance rules. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 406\u2013421. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21640-4_31"},{"issue":"6","key":"3_CR2","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1007\/s11390-008-9196-x","volume":"23","author":"Y Jian","year":"2008","unstructured":"Jian, Y., et al.: Synthesizing service composition models on thebasis of temporal business rules. J. Comput. Sci. Technol. 23(6), 885\u2013894 (2008)","journal-title":"J. Comput. Sci. Technol."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-319-19069-3_24","volume-title":"Advanced Information Systems Engineering","author":"R Mrasek","year":"2015","unstructured":"Mrasek, R., M\u00fclle, J., B\u00f6hm, K.: Automatic generation of optimized process models from declarative specifications. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 382\u2013397. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-19069-3_24"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/978-3-642-23059-2_11","volume-title":"Business Process Management","author":"N Lohmann","year":"2011","unstructured":"Lohmann, N.: Compliance by design for artifact-centric business processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 606\u2013618. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-23059-2_11"},{"issue":"12","key":"3_CR5","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics andanalysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Mrasek, R., M\u00fclle, J., B\u00f6hm, K.: A new verification technique for large processes based on identification of relevant tasks. Inf. Syst. 47, 82\u201397 (2015)","DOI":"10.1016\/j.is.2014.07.001"},{"key":"3_CR7","unstructured":"Rinderle-Ma, S., Thao, L.L., Dadam, P.: Businessprocess compliance. In: 2008 EMISA Forum, pp. 24\u201329 (2008)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-319-10172-9_19","volume-title":"Business Process Management","author":"R Mrasek","year":"2014","unstructured":"Mrasek, R., M\u00fclle, J., B\u00f6hm, K., Becker, M., Allmann, C.: User-friendly property specification and process verification \u2013 a case study with vehicle-commissioning processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 301\u2013316. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-10172-9_19"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume-title":"Business Process Management","author":"A Awad","year":"2008","unstructured":"Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326\u2013341. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85758-7_24"},{"key":"3_CR10","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-17722-4_6","volume-title":"Information Systems Evolution","author":"LT Ly","year":"2011","unstructured":"Ly, L.T., Knuplesch, D., Rinderle-Ma, S., G\u00f6ser, K., Pfeifer, H., Reichert, M., Dadam, P.: SeaFlows Toolset \u2013 compliance verification made easy for process-aware information systems. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 76\u201391. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-17722-4_6"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-stateverification. In: International Conference on Software Engineering, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"3_CR12","series-title":"Machine that Changed theWorld","volume-title":"Massachusetts Institute of Technology","author":"JP Womack","year":"2007","unstructured":"Womack, J.P., Jones, D.T., Roos, D.: Massachusetts Institute of Technology. Machine that Changed theWorld. Free Press, London (2007)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Pe\u0161i\u0107, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: 11th IEEE Intl. EDOC 2007, pp. 287\u2013287 (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Mrasek, R., M\u00fclle, J., B\u00f6hm, K.: AutomaticGeneration of Optimized Process Models from DeclarativeSpecifications. Technical Report 2014-15. Karlsruhe: KITScientific Publishing, Nov. 2014","DOI":"10.1007\/978-3-319-19069-3_24"},{"issue":"2","key":"3_CR15","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1016\/j.dam.2004.02.017","volume":"145","author":"RM McConnell","year":"2005","unstructured":"McConnell, R.M., de Montgolfier, F.: Linear-timemodular decomposition of directed graphs. Discrete Appl. Math. 145(2), 198\u2013209 (2005)","journal-title":"Discrete Appl. Math."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Zimmermann, W., Schmidgall, R.: Bussysteme in derFahrzeugtechnik - Protokolle, Standards und Softwarearchitektur (2011)","DOI":"10.1007\/978-3-8348-9845-6"},{"issue":"1","key":"3_CR17","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0166-218X(83)90012-4","volume":"5","author":"J Blazewicz","year":"1983","unstructured":"Blazewicz, J., Lenstra, J.K., RinnooyKan, A.H.G.: Scheduling subject to resource constraints: classificationand complexity. Discrete Appl. Math. 5(1), 11\u201324 (1983)","journal-title":"Discrete Appl. Math."},{"issue":"6","key":"3_CR18","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1016\/j.is.2011.10.005","volume":"37","author":"A Polyvyanyy","year":"2012","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M.: Structuring acyclic process models. Inf. Syst. 37(6), 518\u2013538 (2012). BPM 2010","journal-title":"Inf. Syst."},{"key":"3_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformanceand Enhancement of Business Processes","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformanceand Enhancement of Business Processes, 1st edn. Springer, Heidelberg (2011)","edition":"1"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11912873_18","volume-title":"Web Information Systems \u2013 WISE 2006","author":"J Yu","year":"2006","unstructured":"Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern based property specification and verification for service composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol. 4255, pp. 156\u2013168. Springer, Heidelberg (2006). doi: 10.1007\/11912873_18"},{"issue":"9","key":"3_CR21","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, A.J.M.M., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2016 Conferences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48472-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T18:10:06Z","timestamp":1601143806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48472-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319484716","9783319484723"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48472-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}