{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:52:39Z","timestamp":1743108759094,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642121852"},{"type":"electronic","value":"9783642121869"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12186-9_5","type":"book-chapter","created":{"date-parts":[[2010,3,16]],"date-time":"2010-03-16T12:00:21Z","timestamp":1268740821000},"page":"42-52","source":"Crossref","is-referenced-by-count":1,"title":["From Requirements to Executable Processes: A Literature Study"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Gehlert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olha","family":"Danylevych","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimka","family":"Karastoyanova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Dresbach, S.: Modeling by Construction: A New Methodology for Constructing Models for Decision Support. Lehrstuhl f\u00fcr Wirtschaftsinformatik und Operations Research, University of Cologne, Germany (1995)","DOI":"10.1109\/HICSS.1996.495397"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., Atlee, J.M.: Research Directions in Requirements Engineering. In: Conference on the Future of Software Engieering (FOSE 2007), Washington, USA, pp. 285\u2013303 (2007)","DOI":"10.1109\/FOSE.2007.17"},{"key":"5_CR3","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley Professional, Reading (2000)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, pp. 314\u2013323 (2000)","DOI":"10.1145\/337180.337217"},{"key":"5_CR5","unstructured":"Nawrocki, J.R., Nedza, T., Ochodek, M., Olek, L.: Describing Business Processes with Use Cases. In: Abramowicz, W., Mayr, H.C. (eds.) 9th International Conference on Business Information Systems (BIS 2006), Klagenfurt, Austria, vol.\u00a085, pp. 13\u201327 (2006)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Leymann, F., Reisig, W., Thatte, S.R., van der Aalst, W.M.P. (eds.) The Role of Business Processes in Service Oriented Architectures, Dagstuhl, Germany, vol. 06291 (2006)","DOI":"10.1007\/11841197_1"},{"key":"5_CR7","unstructured":"Keller, G., N\u00fcttgens, M., Scheer, A.-W.: Semantische Proze\u00dfmodellierung auf der Grundlage Ereignisgesteuerter Proze\u00dfketten (EPK). Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik (IWi). Universit\u00e4t des Saarlandes (1992)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering\u00a029, 99\u2013115 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR9","unstructured":"OMG: UML 2.0 Superstructure Specification (2003)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/52.663783","volume":"15","author":"K. Weidenhaupt","year":"1998","unstructured":"Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenarios in System Development: Current Practice. IEEE Software\u00a015, 34\u201345 (1998)","journal-title":"IEEE Software"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-48213-X_17","volume-title":"SDL 2001: Meeting UML","author":"A. Miga","year":"2001","unstructured":"Miga, A., Amyot, D., Bordeleau, F., Cameron, D., Woodside, C.M.: Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 268\u2013287. Springer, Heidelberg (2001)"},{"key":"5_CR12","unstructured":"ITU: Message Sequence Charts. International Telecomunication Union, Telecommunication Standardization Sector (1996)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"L\u00fcbke, D., Schneider, K., Weidlich, M.: Visualizing Use Case Sets as BPMN Processes. In: 3rd International Workshop on Requirements Engineering Visualization (REV 2008), Barcelona, Spain (2008)","DOI":"10.1109\/REV.2008.8"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","first-page":"417","volume-title":"Advanced Information Systems Engineering","author":"C. Ouyang","year":"2006","unstructured":"Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.H.M.: Translating Standard Process Models to BPEL. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 417\u2013432. Springer, Heidelberg (2006)"},{"key":"5_CR15","unstructured":"L\u00fcbke, D.: Transformation of Use Cases to EPC Models}. 5. Workshop der Gesellschaft f\u00fcr Informatik e.V (GI) und Treffen ihres Arbeitskreises. In: Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK). CEUR Workshop Proceedings, vol.\u00a0224, Vienna, Austria, pp. 137\u2013156 (2006)"},{"key":"5_CR16","unstructured":"Ziemann, J., Mendling, J.: EPC-Based Modelling of BPEL Processes: A Pragmatic Transformation Approach. In: International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2005) Genoa, Italy (2005)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/j.datak.2009.02.009","volume":"68","author":"R. Lu","year":"2009","unstructured":"Lu, R., Sadiq, S., Governatori, G.: On Managing Business Processes Variants. Data & Knowledge Engineering\u00a068, 642\u2013664 (2009)","journal-title":"Data & Knowledge Engineering"},{"key":"5_CR18","unstructured":"Gagn\u00e9, D., Trudel, A.: A Formal Temporal Semantics for Microsoft Project based on Allen\u2019s Interval Algebra. In: Abramowicz, W., Maciaszek, L.A., Kowalczyk, R., Speck, A. (eds.) Business Process, Services Computing and Intelligent Service Management, Leipzig, Germany, vol.\u00a0137, pp. 32\u201345 (2009)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM\u00a026, 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"F\u00f6rster, A., Engels, G., Schattkowsky, T., Straeten, R.v.D.: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Shanghai, China, pp. 197\u2013208 (2007)","DOI":"10.1109\/TASE.2007.56"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-540-77619-2_8","volume-title":"Software Architectures, Components, and Applications","author":"M. Marzolla","year":"2008","unstructured":"Marzolla, M., Mirandola, R.: Performance Prediction of Web Service Workflows. In: Overhage, S., Szyperski, C., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol.\u00a04880, pp. 127\u2013144. Springer, Heidelberg (2008)"},{"key":"5_CR22","unstructured":"Rud, D., Kunz, M., Schmietendorf, A., Dumke, R.: Performance Analysis in WS-BPEL-Based Infrastructures. In: 23rd Annual UK Performance Engineering Workshop (UKPEW 2007), Edge Hill University, Ormskirk, Lancashire, UK, pp. 130\u2013141 (2007)"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1016\/j.compind.2007.12.007","volume":"59","author":"I. Vanderfeesten","year":"2008","unstructured":"Vanderfeesten, I., Reijers, H.A., Aalst, W.M.P.v.d.: Evaluating Workflow Process Designs using Cohesion and Coupling Metrics. Computers in Industry\u00a059, 429\u2013437 (2008)","journal-title":"Computers in Industry"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/32.295895","volume":"20","author":"S.R. Chidamber","year":"1994","unstructured":"Chidamber, S.R., Kemerer, C.F.: A Metrics Suite for Object Oriented Design. IEEE Transactions on Software Engineering\u00a020, 476\u2013493 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-85758-7_5","volume-title":"Business Process Management","author":"H. Reijers","year":"2008","unstructured":"Reijers, H., Mendling, J.: Modularity in Process Models: Review and Effects. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 20\u201335. Springer, Heidelberg (2008)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/11837862_13","volume-title":"Business Process Management Workshops","author":"J. Cardoso","year":"2006","unstructured":"Cardoso, J., Mendling, J., Neumann, G., Reijers, H.A.: A Discourse on Complexity of Process Models (Survey Paper). In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 117\u2013128. Springer, Heidelberg (2006)"},{"key":"5_CR27","first-page":"521","volume-title":"11th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2006)","author":"J. Recker","year":"2006","unstructured":"Recker, J., Mendling, J.: On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modelling Languages. In: Krogstie, J., Halpin, T.A., Proper, H.A. (eds.) 11th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2006), pp. 521\u2013532. Namur University Press, Namur (2006)"},{"key":"5_CR28","unstructured":"Born, M., Brelage, C., Markovic, I., Weber, I.: Semantic Business Process Modeling: from Business Goals to Execution-Level Business Processes. Forschungszentrum Informatik, Karlsruhe (2008)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Markovic, I., Kowalkiewicz, M.: Linking Business Goals to Process Models in Semantic Business Process Modeling. In: 12th International IEEE Enterprise Distributed Object Computing Conference, 2008 (EDOC 2008), Munich, Germany, pp. 332\u2013338 (2008)","DOI":"10.1109\/EDOC.2008.43"},{"key":"5_CR30","unstructured":"Weidlich, M., Grosskopf, A., L\u00fcbke, D., Schneider, K., Knauss, E., Singer, L.: Verzahnung von Requirements Engineering und Gesch\u00e4ftsprozessdesign. 1. In: Workshops f\u00fcr Requirements Engineering und Business Prcess Management (REBPM 2009), Kaiserslautern, Deutschland (2009)"},{"key":"5_CR31","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-540-79396-0_15","volume-title":"11th International Conference on Business Information Systems (BIS 2008)","author":"J.L. Vara","year":"2008","unstructured":"Vara, J.L.: Improving Requirements Analysis through Business Process Modelling: a Participative Approach. In: Fensel, D., Abramowicz, W. (eds.) 11th International Conference on Business Information Systems (BIS 2008), pp. 165\u2013176. Springer, Heidelberg (2008)"},{"key":"5_CR32","unstructured":"White, S.A.: Using BPMN to Model a BPEL Process. BPTrends, 1\u201318 (2005)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12186-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T13:44:22Z","timestamp":1739972662000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-12186-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642121852","9783642121869"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12186-9_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2010]]}}}