{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:59:59Z","timestamp":1742975999957,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319190686"},{"type":"electronic","value":"9783319190693"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19069-3_24","type":"book-chapter","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T15:26:23Z","timestamp":1432653983000},"page":"382-397","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Automatic Generation of Optimized Process Models from Declarative Specifications"],"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":[[2015,5,27]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer Publishing Company, Incorporated, 1st edn. (2011)","DOI":"10.1007\/978-3-642-19345-3_1"},{"issue":"1","key":"24_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"9","key":"24_CR3","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Albert, P., Henocque, L., Kleiner, M.: Configuration based workflow composition. In: IEEE International Conference on Web Services, vol. 1, pp. 285\u2013292, July 2005","DOI":"10.1109\/ICWS.2005.38"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-76298-0_2","volume-title":"The Semantic Web","author":"JL Ambite","year":"2007","unstructured":"Ambite, J.L., Kapoor, D.: Automatically composing data workflows with relational descriptions and shim services. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 15\u201329. Springer, Heidelberg (2007)"},{"key":"24_CR6","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)"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Chinthaka, E., Ekanayake, J., Leake, D., Plale, B.: CBR based workflow composition assistant. In: IEEE World Conference on Services, pp. 352\u2013355, July 2009","DOI":"10.1109\/SERVICES-I.2009.51"},{"key":"24_CR8","unstructured":"Hendler, J., Tate, A., Drummond, M.: AI Planning: Systems and Techniques. Tech. rep., University of Maryland at College Park, College Park, MD, USA (1990)"},{"issue":"6","key":"24_CR9","doi-asserted-by":"publisher","first-page":"1691","DOI":"10.1109\/TVCG.2008.174","volume":"14","author":"D Koop","year":"2008","unstructured":"Koop, D., Scheidegger, C., Callahan, S., Freire, J., Silva, C.: VisComplete: Automating Suggestions for Visualization Pipelines. IEEE Transactions on Visualization and Computer Graphics 14(6), 1691\u20131698 (2008)","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"issue":"1","key":"24_CR10","first-page":"3","volume":"4","author":"O Kopp","year":"2009","unstructured":"Kopp, O., Martin, D., Wutke, D., Leymann, F.: The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages. Enterprise Modelling and Information Systems Architecture 4(1), 3\u201313 (2009)","journal-title":"Enterprise Modelling and Information Systems Architecture"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Lau, J.M., Iochpe, C., Thom, L., Reichert, M.: Discovery and analysis of activity pattern cooccurrences in business process models. In: Int\u2019l Conf. on Enterprise Information Systems, Milan, Italy, pp. 83\u201388, May 2009","DOI":"10.5220\/0001958800830088"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2013","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311\u2013329. Springer, Heidelberg (2013)"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-07734-5_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from incomplete event logs. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 91\u2013110. Springer, Heidelberg (2014)"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-36189-8_17","volume-title":"Web Services, E-Business, and the Semantic Web","author":"M Matskin","year":"2002","unstructured":"Matskin, M., Rao, J.: Value-added web services composition using automatic program synthesis. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 213\u2013224. Springer, Heidelberg (2002)"},{"issue":"2","key":"24_CR15","doi-asserted-by":"publisher","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-time modular decomposition of directed graphs. Discrete Applied Mathematics 145(2), 198\u2013209 (2005)","journal-title":"Discrete Applied Mathematics"},{"issue":"1","key":"24_CR16","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pe\u0161i\u0107, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies. ACM Trans. Web 4(1), 3:1\u20133:62 (2010)","journal-title":"ACM Trans. Web"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Mrasek, R., M\u00fclle, J., B\u00f6hm, K.: Automatic Generation of Optimized Process Models from Declarative Specifications. Technical Report 2014\u201315, KIT, Karlsruhe, November 2014. http:\/\/digbib.ubka.uni-karlsruhe.de\/volltexte\/1000044586","DOI":"10.1007\/978-3-319-19069-3_24"},{"key":"24_CR18","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. Information Systems (2014)","DOI":"10.1016\/j.is.2014.07.001"},{"key":"24_CR19","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)"},{"key":"24_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-16164-3_11","volume-title":"Model Checking Software","author":"M Pe\u0161i\u0107","year":"2010","unstructured":"Pe\u0161i\u0107, M., Bo\u0161na\u010dki, D., van der Aalst, W.M.P.: Enacting declarative languages using LTL: avoiding errors and improving performance. In: van de Pol, J., Weber, M. (eds.) Model Checking Software. LNCS, vol. 6349, pp. 146\u2013161. Springer, Heidelberg (2010)"},{"key":"24_CR21","volume-title":"Structuring Process Models","author":"A Polyvyanyy","year":"2012","unstructured":"Polyvyanyy, A.: Structuring Process Models. University of Potsdam, Potsdam (2012)"},{"issue":"3","key":"24_CR22","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/TSMCA.2010.2087017","volume":"41","author":"H Reijers","year":"2011","unstructured":"Reijers, H., Mendling, J.: A Study Into the Factors That Influence the Understandability of Business Process Models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 41(3), 449\u2013462 (2011)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"issue":"2\u20133","key":"24_CR23","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0166-3615(91)90031-4","volume":"17","author":"J V\u00e1ncza","year":"1991","unstructured":"V\u00e1ncza, J., M\u00e1rkus, A.: Genetic algorithms in process planning. Computers in Industry 17(2\u20133), 181\u2013194 (1991)","journal-title":"Computers in Industry"},{"issue":"8","key":"24_CR24","doi-asserted-by":"publisher","first-page":"1818","DOI":"10.1016\/j.jss.2012.03.005","volume":"85","author":"Y Yang","year":"2012","unstructured":"Yang, Y., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Polyvyanyy, A., Zhang, L.: Generalized aggregate Quality of Service computation for composite services. Journal of Systems and Software 85(8), 1818\u20131830 (2012)","journal-title":"Journal of Systems and Software"},{"issue":"6","key":"24_CR25","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1007\/s11390-008-9196-x","volume":"23","author":"J Yu","year":"2008","unstructured":"Yu, J., Han, Y.B., Han, J., Jin, Y., Falcarin, P., Morisio, M.: Synthesizing Service Composition Models on the Basis of Temporal Business Rules. Journal of Computer Science and Technology 23(6), 885\u2013894 (2008)","journal-title":"Journal of Computer Science and Technology"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19069-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,9]],"date-time":"2022-05-09T11:53:50Z","timestamp":1652097230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19069-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319190686","9783319190693"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19069-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"27 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}