{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:07:11Z","timestamp":1729620431780,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/somet.2013.6645663","type":"proceedings-article","created":{"date-parts":[[2013,10,31]],"date-time":"2013-10-31T00:12:38Z","timestamp":1383178358000},"page":"203-207","source":"Crossref","is-referenced-by-count":0,"title":["Dependencies in business process rule hierarchies"],"prefix":"10.1109","author":[{"given":"Elke","family":"Pulvermuller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Speck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Feja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soren","family":"Witt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"ARIS Platform","year":"2011","author":"software","key":"19"},{"key":"17","first-page":"98","article-title":"Guaranteeing soundnessof configurable process variants in provop","author":"hallerbach","year":"2009","journal-title":"11th IEEEConference on Commerce and Enterprise Computing (CEC'09)"},{"key":"18","first-page":"95","article-title":"Correctness ensuring process configuration: An approach based onpartner synthesis","volume":"6336","author":"van der aalst","year":"2010","journal-title":"Business Process Management-8th InternationalConference BPM 2010 Ser Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/EMS.2011.68"},{"key":"16","first-page":"117","article-title":"Model checking with graphical validationrules","author":"feja","year":"2008","journal-title":"15th IEEE International Conference on the Engineeringof Computer-Based Systems (ECBS 2008)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.56"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1772690.1772906"},{"key":"11","first-page":"3","article-title":"Detecting common errors in event-drivenprocess chains by label analysis","volume":"6","author":"gruhn","year":"2011","journal-title":"Enterprise Modelling and Information Systems Architectures"},{"key":"12","first-page":"84","article-title":"Checking properties of business process models with logicprogramming","author":"gruhn","year":"2007","journal-title":"5th International Workshop on Modeling Simulation Verification and Validation of Enterprise Information Systems(MSVVEIS'07)"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","author":"kang","year":"1990","journal-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study"},{"key":"3","first-page":"155","article-title":"Modellierungund validierung von datenschutzanforderungen in prozessmodellen","volume":"162","author":"feja","year":"2010","journal-title":"Vernetzte IT F?ur Einen Effektiven Staat-Gemeinsame FachtagungVerwaltungsinformatik (FTVI) und Fachtagung Rechtsinformatik (FTRI) ser LNI"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.45"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97731-2"},{"journal-title":"Business Process Model and Notation (BPMN) Version 2 0","year":"2011","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80445-6"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00016-6"},{"journal-title":"Metrics for Process Models Empirical Foundations of Verification Error Prediction and Guidelines for Correctness","year":"2008","author":"mendling","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89762-0_3"},{"key":"4","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/2320765.2320821","article-title":"Integrated privacy modelingand validation for business process models","author":"witt","year":"2012","journal-title":"Proceedings of the 2012Joint EDBT\/ICDT Workshops ACM"},{"key":"9","first-page":"186","article-title":"Bam: A requirements validationand verification framework for business process models","author":"feja","year":"2011","journal-title":"11thInternational Conference on Quality Software"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2010.03.005"}],"event":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","start":{"date-parts":[[2013,9,22]]},"location":"Budapest, Hungary","end":{"date-parts":[[2013,9,24]]}},"container-title":["2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6636142\/6645635\/06645663.pdf?arnumber=6645663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,11]],"date-time":"2022-03-11T03:46:44Z","timestamp":1646970404000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6645663\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/somet.2013.6645663","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}