{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:04:35Z","timestamp":1786979075101,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31095-9_24","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T06:08:19Z","timestamp":1342246099000},"page":"366-381","source":"Crossref","is-referenced-by-count":4,"title":["Validation of User Intentions in Process Models"],"prefix":"10.1007","author":[{"given":"Gerd","family":"Gr\u00f6ner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohsen","family":"Asadi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bardia","family":"Mohabbati","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dragan","family":"Ga\u0161evi\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Silva Parreiras","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marko","family":"Bo\u0161kovi\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"24_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.is.2011.09.003","volume":"37","author":"M. Dumas","year":"2012","unstructured":"Dumas, M., Recker, J., Weske, M.: Management and engineering of process-aware information systems: Introduction to the special issue. Information Systems\u00a037(2), 77\u201379 (2012)","journal-title":"Information Systems"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/11837862_39","volume-title":"Business Process Management Workshops","author":"G. Koliadis","year":"2006","unstructured":"Koliadis, G., Vranesevic, A., Bhuiyan, M.A., Krishna, A., Ghose, A.K.: Combining i* and BPMN for Business Process Model Lifecycle Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 416\u2013427. Springer, Heidelberg (2006)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Kueng, P., Kawalek, P.: Goal-based Business Process Models: Creation and evaluation. Business Process Management Journal, 17\u201338 (1997)","DOI":"10.1108\/14637159710161567"},{"key":"24_CR4","unstructured":"Santos, E., Castro, J., S\u00e1nchez, J., Pastor, O.: A Goal-Oriented Approach for Variability in BPMN. In: Workshop em Engenharia de Requisitos, WER (2010)"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11431855_17","volume-title":"Advanced Information Systems Engineering","author":"B. Andersson","year":"2005","unstructured":"Andersson, B., Bergholtz, M., Edirisuriya, A., Ilayperuma, T., Johannesson, P.: A Declarative Foundation of Process Models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 233\u2013247. Springer, Heidelberg (2005)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-540-30464-7_54","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"M. Bergholtz","year":"2004","unstructured":"Bergholtz, M., Jayaweera, P., Johannesson, P., Wohed, P.: A Pattern and Dependency Based Approach to the Design of Process Models. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 724\u2013739. Springer, Heidelberg (2004)"},{"key":"24_CR7","unstructured":"Russel, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View. Technical report, BPM Center Report BPM-06-22, BPMcenter.org (2006)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Yu, E., Giorgin, P., Maiden, N., Mylopoulos, J. (eds.): Social Modeling for Requirements Engineering. MIT (2011)","DOI":"10.7551\/mitpress\/7549.001.0001"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.engappai.2004.11.017","volume":"18","author":"P. Giorgini","year":"2005","unstructured":"Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the TROPOS methodology. Engineering Applications of Artificial Intelligence\u00a018, 159\u2013171 (2005)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering, 1st edn. Springer (1999)","DOI":"10.1007\/978-1-4615-5269-7_1"},{"key":"24_CR11","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"key":"24_CR12","unstructured":"ITU-T: Recommendation Z.151 (09\/08): User Requirements Notation (URN) Language Definition (2008)"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1002\/int.20433","volume":"25","author":"D. Amyot","year":"2010","unstructured":"Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.: Evaluating Goal Models within the Goal-Oriented Requirement Language. International Journal on Intelligent Systems\u00a025, 841\u2013877 (2010)","journal-title":"International Journal on Intelligent Systems"},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1555392.1555395","volume":"19","author":"C. Ouyang","year":"2009","unstructured":"Ouyang, C., Dumas, M., Aalst, W.M.P.V.D., Hofstede, A.H.M.T., Mendling, J.: From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol. 19, 2:1\u20132:37 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Humphrey, W.S.: Software process development and enactment: concepts and definitions. In: Second International Conference on the Software Process, Continuous Software Process Improvement, pp. 28\u201340 (February 1993)","DOI":"10.21236\/ADA258465"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The Program Structure Tree: Computing Control Regions in Linear Time. In: PLDI, pp. 171\u2013185 (1994)","DOI":"10.1145\/773473.178258"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-85758-7_19","volume-title":"Business Process Management","author":"J.M. K\u00fcster","year":"2008","unstructured":"K\u00fcster, J.M., Gerth, C., F\u00f6rster, A., Engels, G.: Detecting and Resolving Process Model Differences in the Absence of a Change Log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 244\u2013260. Springer, Heidelberg (2008)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"},{"key":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-45140-4_29","volume-title":"Advanced Information Systems Engineering","author":"B. Kiepuszewski","year":"2000","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On Structured Workflow Modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.\u00a01789, pp. 431\u2013445. Springer, Heidelberg (2000)"},{"key":"24_CR20","unstructured":"van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. In: Distributed and Parallel Databases (2003)"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"24_CR22","unstructured":"Lau, S.Q.: Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates. Master\u2019s thesis, University of Waterloo, Waterloo (2006)"},{"key":"24_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-75183-0_18","volume-title":"Business Process Management","author":"A. Lapouchnian","year":"2007","unstructured":"Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-Driven Design and Configuration Management of Business Processes. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 246\u2013261. Springer, Heidelberg (2007)"},{"key":"24_CR24","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-17722-4_3","volume-title":"Information Systems Evolution","author":"K. Decreus","year":"2011","unstructured":"Decreus, K., Poels, G.: A Goal-Oriented Requirements Engineering Method for Business Processes. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol.\u00a072, pp. 29\u201343. Springer, Heidelberg (2011)"},{"key":"24_CR25","unstructured":"Frankova, G., Frankova, G., Massacci, F., Massacci, F., Seguran, M., Seguran, M.: From early requirements analysis towards secure workflows. Technical Report TR DIT-07-036, University of Trento (2007)"},{"key":"24_CR26","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., Roveri, M.: A framework for integrating business processes and business requirements. In: Proc. IEEE DOC 2004 Conf., pp. 9\u201320 (2004)","DOI":"10.1109\/EDOC.2004.1342501"},{"key":"24_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/978-3-540-25975-6_37","volume-title":"Advanced Information Systems Engineering","author":"P. Soffer","year":"2004","unstructured":"Soffer, P., Wand, Y.: Goal-Driven Analysis of Process Model Validity. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 521\u2013535. Springer, Heidelberg (2004)"},{"key":"24_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-540-75183-0_29","volume-title":"Business Process Management","author":"P. Soffer","year":"2007","unstructured":"Soffer, P., Wand, Y., Kaner, M.: Semantic Analysis of Flow Patterns in Business Process Modeling. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 400\u2013407. Springer, Heidelberg (2007)"},{"key":"24_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-21640-4_8","volume-title":"Advanced Information Systems Engineering","author":"S. Liaskos","year":"2011","unstructured":"Liaskos, S., Litoiu, M., Jungblut, M.D., Mylopoulos, J.: Goal-Based Behavioral Customization of Information Systems. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol.\u00a06741, pp. 77\u201392. Springer, Heidelberg (2011)"},{"key":"24_CR30","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"M. Rosa La","year":"2009","unstructured":"La Rosa, M., van der Aalst, W., Dumas, M., ter Hofstede, A.: Questionnaire-based Variability Modeling for System Configuration. Software and Systems Modeling\u00a08, 251\u2013274 (2009)","journal-title":"Software and Systems Modeling"},{"issue":"2","key":"24_CR31","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1142\/S0218843008001798","volume":"17","author":"F. Gottschalk","year":"2008","unstructured":"Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H., Rosa, M.L.: Configurable workflow models. International Journal on Cooperative Information Systems\u00a017(2), 177\u2013221 (2008)","journal-title":"International Journal on Cooperative Information Systems"},{"key":"24_CR32","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-009-0112-0","volume":"22","author":"W. Aalst van der","year":"2010","unstructured":"van der Aalst, W., Dumas, M., Gottschalk, F., ter Hofstede, A., La Rosa, M., Mendling, J.: Preserving correctness during business process model configuration. Formal Aspects of Computing\u00a022, 459\u2013482 (2010)","journal-title":"Formal Aspects of Computing"},{"key":"24_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/978-3-642-21640-4_41","volume-title":"Advanced Information Systems Engineering","author":"G. Gr\u00f6ner","year":"2011","unstructured":"Gr\u00f6ner, G., Wende, C., Bo\u0161kovi\u0107, M., Silva Parreiras, F., Walter, T., Heidenreich, F., Ga\u0161evi\u0107, D., Staab, S.: Validation of Families of Business Processes. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol.\u00a06741, pp. 551\u2013565. Springer, Heidelberg (2011)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31095-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T00:26:59Z","timestamp":1743726419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31095-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783319981765","9783319981772"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31095-9_24","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}