{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:41:12Z","timestamp":1760708472138},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642345487"},{"type":"electronic","value":"9783642345494"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34549-4_4","type":"book-chapter","created":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T23:23:36Z","timestamp":1351812216000},"page":"46-60","source":"Crossref","is-referenced-by-count":4,"title":["Rule Determination and Process Verification Using Business Capabilities"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Stuht","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":"S\u00f6ren","family":"Witt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elke","family":"Pulverm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"15","volume-title":"Enterprise Architecture Management in der Praxis: Wandel, Komplexit\u00e4t und IT-Kosten im Unternehmen beherrschen","author":"R. Barkow","year":"2011","unstructured":"Barkow, R.: Grundlagen von EAM. In: Keuntje, J.H., Barkow, R. (eds.) Enterprise Architecture Management in der Praxis: Wandel, Komplexit\u00e4t und IT-Kosten im Unternehmen beherrschen, pp. 15\u201347. Symposion Publishing GmbH, D\u00fcsseldorf (2011)"},{"key":"4_CR2","unstructured":"BITKOM: Enterprise Architecture Management - neue Disziplin f\u00fcr die ganzheitliche Unternehmensentwicklung (2011), http:\/\/www.bitkom.org\/files\/documents\/EAM_Enterprise_Architecture_Management_-_BITKOM_Leitfaden.pdf"},{"key":"4_CR3","unstructured":"Crown\/Ministry of Defence (UK): MODAF Glossary v1.2 (July 2008), http:\/\/www.mod.uk\/NR\/rdonlyres\/D4CEF7F5-B008-4734-9D05-7DD746B0F166\/0\/20090304_MODAF01_2Glossary_V1_0__1.pdf"},{"key":"4_CR4","unstructured":"AK-VAA: VAA Final Edition. Managementsummary. Version 2.1 prozedural, Version 2.0 objektorientiert (2001), http:\/\/www.gdv-online.de\/vaa\/vaafe_html\/dokument\/asummary.pdf"},{"key":"4_CR5","first-page":"221","volume-title":"Prozessmanagement in der Assekuranz","author":"H. Kleinert","year":"2011","unstructured":"Kleinert, H., van Megen, H., Kohl, T.: Integration von Prozess- und IT-Architekturmanagement. In: Gensch, C., Moormann, J., Wehn, R. (eds.) Prozessmanagement in der Assekuranz, pp. 221\u2013234. Frankfurt-School-Verlag, Frankfurt am Main (2011)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69850-0_1","volume-title":"25 Years of Model Checking","author":"E.M. Clarke","year":"2008","unstructured":"Clarke, E.M.: The Birth of Model Checking. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol.\u00a05000, pp. 1\u201326. Springer, Heidelberg (2008)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08, 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR8","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Feja, S., F\u00f6tsch, D.: Model Checking with Graphical Validation Rules. In: 15th IEEE Intern. Conf. on the Engineering of Computer-Based Systems (ECBS 2008), Belfast, pp. 117\u2013125 (2008)","DOI":"10.1109\/ECBS.2008.45"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Pulverm\u00fcller, E., Feja, S., Speck, A.: Developer-friendly verification of processbased systems. Knowledge-Based Systems\u00a023(7), 667\u2013676 (2010); Special issue on \u201cIntelligent Formal Techniques for Software Design: IFTSD\u201d","DOI":"10.1016\/j.knosys.2010.03.005"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Feja, S., Witt, S., Speck, A.: BAM: A Requirements Validation and Verification Framework for Business Process Models. In: 11th Intern. Conf. on Quality Software, pp. 186\u2013191 (2011)","DOI":"10.1109\/QSIC.2011.33"},{"key":"4_CR13","unstructured":"OMG: Business Process Model and Notation (BPMN) Version 2.0, formal\/2011-01-03 (January 2011), http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"volume-title":"Gabler Versicherungslexikon","year":"2011","key":"4_CR14","unstructured":"Wagner, F. (ed.): Gabler Versicherungslexikon. Gabler, Wiesbaden (2011)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-10003-2_69","volume-title":"Automata, Languages and Programming","author":"E.A. Emerson","year":"1980","unstructured":"Emerson, E.A., Clarke, E.M.: Characterizing Correctness Properties of Parallel Programs Using Fixpoints. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 169\u2013181. Springer, Heidelberg (1980)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers (1993)","DOI":"10.1007\/978-1-4615-3190-6"},{"issue":"10","key":"4_CR17","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information and Software Technology"},{"issue":"3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/j.dss.2003.12.001","volume":"39","author":"B.B. Anderson","year":"2005","unstructured":"Anderson, B.B., Hansen, J.V., Lowry, P.B., Summers, S.L.: Model checking for design and assurance of e-Business processes. Decision Support Systems\u00a039(3), 333\u2013344 (2005)","journal-title":"Decision Support Systems"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-85758-7_14","volume-title":"Business Process Management","author":"G. Decker","year":"2008","unstructured":"Decker, G., Mendling, J.: Instantiation Semantics for Process Models. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 164\u2013179. Springer, Heidelberg (2008)"},{"issue":"1","key":"4_CR20","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCI.2009.935307","volume":"5","author":"W.M.P. Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P.: Process Discovery: Capturing the Invisible. IEEE Computational Intelligence Magazine\u00a05(1), 28\u201341 (2010)","journal-title":"IEEE Computational Intelligence Magazine"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-05148-7_8","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"K. Gerke","year":"2009","unstructured":"Gerke, K., Cardoso, J., Claus, A.: Measuring the Compliance of Processes with Reference Models. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009, Part I. LNCS, vol.\u00a05870, pp. 76\u201393. Springer, Heidelberg (2009)"},{"key":"4_CR22","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-00328-8_2","volume-title":"Business Process Management Workshops","author":"G. Governatori","year":"2009","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol.\u00a017, pp. 5\u201317. Springer, Heidelberg (2009)"},{"key":"4_CR23","unstructured":"Becker, J., Bergener, P., Delfmann, P., Eggert, M., Wei\u00df, B.: Supporting Business Process Compliance in Financial Institutions - A Model-Driven Approach. In: 10th Intern. Conf. on Wirtschaftsinformatik (WI 2011), Z\u00fcrich, pp. 355\u2013364 (2011)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. JVLC\u00a022(1), 30\u201355 (2011); Special Issue on Visual Languages and Logic","DOI":"10.1016\/j.jvlc.2010.11.002"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-13094-6_3","volume-title":"Advanced Information Systems Engineering","author":"L.T. Ly","year":"2010","unstructured":"Ly, L.T., Rinderle-Ma, S., Dadam, P.: Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 9\u201323. Springer, Heidelberg (2010)"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-12082-4_20","volume-title":"Advances in Databases and Information Systems","author":"O. Vasilecas","year":"2010","unstructured":"Vasilecas, O., Smaizys, A.: Business Rule Model Integration into the Model of Transformation Driven Software Development. In: Grundspenkis, J., Kirikova, M., Manolopoulos, Y., Novickis, L. (eds.) ADBIS 2009. LNCS, vol.\u00a05968, pp. 153\u2013160. Springer, Heidelberg (2010)"},{"key":"4_CR27","unstructured":"Medeiros, A.D., Karla, A., Aalst, V.D.: Semantic Process Mining Tools: Core Building Blocks. In: 16th European Conference on Information Systems (2008)"},{"issue":"1","key":"4_CR28","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/AO-2011-0101","volume":"7","author":"A.L. Opdahl","year":"2012","unstructured":"Opdahl, A.L., Berio, G., Harzallah, M., Matulevicius, R.: An ontology for enterprise and information systems modelling. Applied Ontology\u00a07(1), 49\u201392 (2012)","journal-title":"Applied Ontology"},{"key":"4_CR29","unstructured":"Russell, N., ter Hofstede, A.H., van der Aalst, W.M.P., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View; BPM Center Report BPM-06-22, BPMcenter.org (2006), http:\/\/www.workflowpatterns.com\/documentation\/documents\/BPM-06-22.pdf"},{"key":"4_CR30","unstructured":"Russell, N., ter Hofstede, A.H., Edmond, D., van der Aalst, W.M.P.: Workflow Data Patterns; QUT Technical report, FIT-TR-2004-01, Queensland University of Technology, Brisbane (2004), http:\/\/www.workflowpatterns.com\/documentation\/documents\/data_patterns%20BETA%20TR.pdf"},{"key":"4_CR31","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-15402-7_26","volume-title":"Business Information Systems Workshops","author":"K. Sandkuhl","year":"2010","unstructured":"Sandkuhl, K.: Validation and Use of Information Demand Patterns in Higher Education. In: Abramowicz, W., Tolksdorf, R., W\u0119cel, K. (eds.) BIS 2010. LNBIP, vol.\u00a057, pp. 204\u2013213. Springer, Heidelberg (2010)"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1109\/TASE.2007.56","volume-title":"Proceedings of the First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007","author":"A. F\u00f6rster","year":"2007","unstructured":"F\u00f6rster, A., Engels, G., Schattkowsky, T., Van Der Straeten, R.: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: Proceedings of the First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, pp. 197\u2013208. IEEE Computer Society, Washington, DC (2007)"}],"container-title":["Lecture Notes in Business Information Processing","The Practice of Enterprise Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34549-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T07:34:32Z","timestamp":1594798472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34549-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642345487","9783642345494"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34549-4_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}