{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T01:08:43Z","timestamp":1746407323221,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/rebpm.2014.6890732","type":"proceedings-article","created":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T15:52:00Z","timestamp":1410364320000},"page":"19-28","source":"Crossref","is-referenced-by-count":5,"title":["Deriving user requirements from business process models for automation: A case study"],"prefix":"10.1109","author":[{"given":"Banu","family":"Aysolmaz","sequence":"first","affiliation":[]},{"given":"Onur","family":"Demirors","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MiSE.2013.6595298"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1108\/14637151011018001"},{"journal-title":"Unified Business Process Modeling Methodology (UPROM) Application Case Study Results METU\/II-TR-2014-32","year":"2014","author":"aysolmaz","key":"17"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2012.38"},{"journal-title":"CMMI for Development Version 1 3 CMMI-DEV V1 3","year":"2010","key":"18"},{"journal-title":"Business Process Model and Notation (BPMN) formal\/2011-01-03","year":"2011","key":"33"},{"key":"15","article-title":"UPROM Tool : A Unified Business Process Modeling Tool for Generating Software Life Cycle Artifacts","author":"aysolmaz","year":"2014","journal-title":"Proceedings of the CAiSE Forum"},{"key":"34","first-page":"333","article-title":"Business process modeling: A comparative analysis","volume":"10","author":"recker","year":"2009","journal-title":"J Assoc Inf Syst"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2593770.2593775"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.2307\/248684"},{"key":"13","doi-asserted-by":"crossref","first-page":"1291","DOI":"10.1016\/j.infsof.2009.04.001","article-title":"On the generation of requirements specifications from software engineering models: A systematic literature review","volume":"51","author":"nicols","year":"2009","journal-title":"Inf Softw Technol"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-005-0010-9"},{"key":"37","article-title":"Transformation from EPC to BPMN","author":"tscheschner","year":"2006","journal-title":"Business Process Technology"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICECT.2005.60"},{"key":"38","first-page":"200","volume":"5","author":"yin","year":"2002","journal-title":"Case Study Research Design and Methods 3rd Edition (Applied Social Research Methods"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2004.09.002"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97738-1"},{"key":"20","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/225014.225016","article-title":"deriving specifications from requirements: an example","author":"jackson","year":"1995","journal-title":"1995 17th International Conference on Software Engineering icse"},{"journal-title":"The COSMIC Functional Size Measurement Method Version 4 0 Measurement Manual","year":"2014","author":"cosmic","key":"43"},{"journal-title":"A Guide to the Business Analysis Body of Knowledge (BABOK Guide)","year":"2009","author":"brennan","key":"42"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.08.004"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9102-8"},{"journal-title":"IEEE Recommended Practice for Software Requirements Specications-IEEE Std 830-1998","year":"1998","key":"45"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-007-9033-4"},{"key":"22","first-page":"1","article-title":"Bflow? toolbox-an open-source modeling tool","volume":"2010","author":"b\ufffdhme","year":"2010","journal-title":"Business Process Management Demonstration Track"},{"key":"23","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/11678564_44","article-title":"Business process reference models: Survey and classification","author":"fettke","year":"2006","journal-title":"Bus Process Manag Work"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2012.6389398"},{"key":"25","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-642-01190-0_12","article-title":"A requirements engineering approach for data modelling of process-aware information systems","volume":"21","author":"vara","year":"2009","journal-title":"Business Information Systems SE-12"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.30"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20013"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/MCETECH.2008.30"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/CPSM.2013.6703085"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442"},{"key":"2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-45594-9_3","article-title":"Guidelines of business process modeling","volume":"2000","author":"becker","year":"2000","journal-title":"Business Process Management"},{"journal-title":"Software & Systems Requirements Engineering In Practice","year":"2009","author":"berenbach","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.365"},{"journal-title":"Archimate","year":"0","author":"the open group","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MISE.2012.6226021"},{"year":"0","key":"6"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2003.1231624"},{"key":"5","article-title":"Business process modeling: Perceived benefits","volume":"5829","author":"indulska","year":"0","journal-title":"Conceptual Modeling-ER 2009 SE"},{"key":"31","first-page":"20","article-title":"Bridging the gap between business process modeling and software requirements analysis: A case study","author":"coskuncay","year":"2010","journal-title":"MCIS 2010 Proc"},{"key":"4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-00899-3_1","article-title":"Process-aware information systems: Lessons to be learned from process mining","author":"aalst der van","year":"2009","journal-title":"Transactions on Petri Nets and Other Models of Concurrency"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00416-2"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICDS.2007.9"}],"event":{"name":"2014 IEEE 1st International Workshop on the Interrelations between Requirements Engineering & Business Process Management (REBPM)","start":{"date-parts":[[2014,8,25]]},"location":"Karlskrona, Sweden","end":{"date-parts":[[2014,8,25]]}},"container-title":["2014 IEEE 1st International Workshop on the Interrelations between Requirements Engineering and Business Process Management (REBPM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6883271\/6890725\/06890732.pdf?arnumber=6890732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T21:37:16Z","timestamp":1565818636000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6890732\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/rebpm.2014.6890732","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}