{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:45:25Z","timestamp":1725594325527},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642218293"},{"type":"electronic","value":"9783642218637"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21863-7_5","type":"book-chapter","created":{"date-parts":[[2011,6,30]],"date-time":"2011-06-30T07:21:52Z","timestamp":1309418512000},"page":"50-61","source":"Crossref","is-referenced-by-count":2,"title":["Framework for Business Process Verification"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Speck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00f6ren","family":"Witt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Feja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aneta","family":"Lotyzc","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":"5_CR1","volume-title":"Software Engineering","author":"I. Sommerville","year":"2010","unstructured":"Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley, Reading (2010)","edition":"9"},{"issue":"1","key":"5_CR2","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"M.T. Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Business Process Verification - Finally a Reality! Business Process Management Journal\u00a015(1), 74\u201392 (2009)","journal-title":"Business Process Management Journal"},{"key":"5_CR3","unstructured":"Breitling, M.: Business Consulting, Service Packages & Benefits. Technical report, Intershop Customer Services, Jena (2002)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-15576-5_15","volume-title":"Advances in Databases and Information Systems","author":"S. Feja","year":"2010","unstructured":"Feja, S., Speck, A., Witt, S., Schulz, M.: Checkable graphical business process representation. In: Catania, B., Ivanovi\u0107, M., Thalheim, B. (eds.) ADBIS 2010. LNCS, vol.\u00a06295, pp. 176\u2013189. Springer, Heidelberg (2010)"},{"key":"5_CR5","unstructured":"Anders, E.: Modellierung und Validierung von Prozessmodellen auf Basis variabler Modellierungsnotationen und Validierungsmethoden als Erweiterung f\u00fcr Eclipse, Diploma Thesis (2010)"},{"key":"5_CR6","first-page":"117","volume-title":"15th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2008)","author":"S. Feja","year":"2008","unstructured":"Feja, S., F\u00f6tsch, D.: Model Checking with Graphical Validation Rules. In: 15th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2008), Belfast, NI, GB, pp. 117\u2013125. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"7","key":"5_CR7","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1016\/j.knosys.2010.03.005","volume":"23","author":"E. Pulverm\u00fcller","year":"2010","unstructured":"Pulverm\u00fcller, E., Feja, S., Speck, A.: Developer-friendly Verification of Process-based Systems. Knowledge Based Systems\u00a023(7), 667\u2013676 (2010)","journal-title":"Knowledge Based Systems"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-25970-1_6","volume-title":"Business Process Management","author":"E. Kindler","year":"2004","unstructured":"Kindler, E.: On the semantics of ePCs: A framework for resolving the vicious circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol.\u00a03080, pp. 82\u201397. Springer, Heidelberg (2004)"},{"key":"5_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89224-3","volume-title":"Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness","author":"J. Mendling","year":"2008","unstructured":"Mendling, J.: Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness, 1st edn. Springer, Berlin (2008)","edition":"1"},{"key":"5_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"5_CR11","first-page":"297","volume-title":"The 8th International Conference on Software Methodologies, Tools and Techniques (SoMeT 2009)","author":"E. Pulverm\u00fcller","year":"2009","unstructured":"Pulverm\u00fcller, E.: Reducing the Gap between Verification Models and Software Development Models. In: The 8th International Conference on Software Methodologies, Tools and Techniques (SoMeT 2009), pp. 297\u2013313. IOS Press, Amsterdam (2009)"},{"key":"5_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification \u2013 Model-Checking Techniques and Tools","author":"B. B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification \u2013 Model-Checking Techniques and Tools. Springer, Berlin (2001)"},{"key":"5_CR13","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":"5_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0925-5273(95)00047-X","volume":"50","author":"C. Klauck","year":"1999","unstructured":"Klauck, C., M\u00fcller, H.J.: Formal business process engineering based on graph grammars. International Journal on Production Economics\u00a050, 129\u2013140 (1999)","journal-title":"International Journal on Production Economics"},{"issue":"1","key":"5_CR15","first-page":"3","volume":"15","author":"E. B\u00f6rger","year":"2009","unstructured":"B\u00f6rger, E., S\u00f6rensen, O., Thalheim, B.: On Defining the Behavior of OR-joins in Business Process Models. The Journal of Universal Computer Science (J. UCS)\u00a015(1), 3\u201332 (2009)","journal-title":"The Journal of Universal Computer Science (J. UCS)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-69108-1_16","volume-title":"Application and Theory of Petri Nets 1998","author":"P. Langner","year":"1998","unstructured":"Langner, P., Schneider, C., Wehler, J.: Petri net based certification of event-driven process chains. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 286\u2013305. Springer, Heidelberg (1998)"},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.entcs.2005.12.038","volume":"154","author":"J. C\u00e1mara","year":"2006","unstructured":"C\u00e1mara, J., Canal, C., Cubo, J., Vallecillo, A.: Formalizing WSBPEL Business Processes Using Process Algebra. Electronic Notes in Theoretical Computer Science\u00a0154(1), 159\u2013173 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR18","first-page":"93","volume-title":"Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications (SERA)","author":"S. Ma","year":"2008","unstructured":"Ma, S., Zhang, L., He, J.: Towards formalization and verification of unified business process model based on pi calculus. In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications (SERA), pp. 93\u2013101. IEEE Computer Society, Los Alamitos (2008)"},{"key":"5_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97731-2","volume-title":"ARIS - Modellierungsmethoden, Metamodelle, Awendungen","author":"A.W. Scheer","year":"1998","unstructured":"Scheer, A.W.: ARIS - Modellierungsmethoden, Metamodelle, Awendungen. Springer, Berlin (1998)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-76848-7_9","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"J. Mendling","year":"2007","unstructured":"Mendling, J., Neumann, G., van der Aalst, W.M.P.: Understanding the Occurrence of Errors in Process Models Based on Metrics. In: Chung, S. (ed.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 113\u2013130. Springer, Heidelberg (2007)"},{"key":"5_CR21","unstructured":"Grosskopf, A.: xBPMN. Formal control flow specification of a BPMN based process execution language, Master\u2019s thesis (2007)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"K\u00f6hler, J., Tirenni, G., Kumaran, S.: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. In: 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), pp. 96\u2013106 (2002)","DOI":"10.1109\/EDOC.2002.1137700"},{"issue":"3","key":"5_CR23","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"},{"issue":"6","key":"5_CR24","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1132469.1132474","volume":"49","author":"B.B. Anderson","year":"2006","unstructured":"Anderson, B.B., Hansen, J.V., Lowry, P.B., Summers, S.L.: The application of model checking for securing e-commerce transactions. Communications of the ACM\u00a049(6), 97\u2013101 (2006)","journal-title":"Communications of the ACM"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D. Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous Soundness Checking of Industrial Business Process Models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"De Backer, M., Snoeck, M.: Business Process Verification: a Petri Net Approach. Technical report, Catholic University of Leuven, Belgium (2008)","DOI":"10.2139\/ssrn.1094617"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-69387-1_58","volume-title":"Computational Science \u2013 ICCS 2008","author":"S. Morimoto","year":"2008","unstructured":"Morimoto, S.: A survey of formal verification for business process modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol.\u00a05102, pp. 514\u2013522. Springer, Heidelberg (2008)"},{"issue":"6","key":"5_CR28","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.compind.2007.01.001","volume":"58","author":"B.F. Dongen van","year":"2007","unstructured":"van Dongen, B.F., Jansen-Vullers, M., Verbeekm, H.H.M.W., van der Aalst, W.M.P.: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Computers in Industry\u00a058(6), 578\u2013601 (2007)","journal-title":"Computers in Industry"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Pulverm\u00fcller, E.: Composition and correctness. Electronic Notes in Theoretical Computer Science (ENTCS) 65(4) (2002)","DOI":"10.1016\/S1571-0661(04)80445-6"},{"issue":"10","key":"5_CR30","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"},{"key":"5_CR31","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1109\/TASE.2007.56"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/1066677.1066866","volume-title":"Proceedings of the 2005 ACM Symposium on Applied Computing (SAC)","author":"J.A. Fisteus","year":"2005","unstructured":"Fisteus, J.A., Fern\u00e1ndez, L.S., Kloos, C.D.: Applying model checking to BPEL4WS business collaborations. In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), pp. 826\u2013830. ACM, New York (2005)"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/B978-044482830-9\/50022-9","volume-title":"Handbook of Process Algebra","author":"J. Bradfield","year":"2001","unstructured":"Bradfield, J., Stirling, C.: Modal logics and mu-calculi: an introduction. In: Handbook of Process Algebra, pp. 293\u2013330. Elsevier Science Publishers, Amsterdam (2001)"},{"issue":"27","key":"5_CR34","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"3","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional mu-calculus. Theoretical Computer Scienc\u00a03(27), 333\u2013354 (1983)","journal-title":"Theoretical Computer Scienc"},{"issue":"4","key":"5_CR35","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/990010.990011","volume":"12","author":"M. Chechik","year":"2003","unstructured":"Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-Valued Symbolic Model-Checking. ACM Transactions on Software Engineering Methodology\u00a012(4), 371\u2013408 (2003)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"5_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-24756-2_8","volume-title":"Integrated Formal Methods","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E.M., Ouaknine, J., Sharygina, N., Sinha, N.: State\/Event-based software model checking. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 128\u2013147. Springer, Heidelberg (2004)"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-52148-8_15","volume-title":"Automatic Verification Methods for Finite State Systems","author":"B. Jonsson","year":"1990","unstructured":"Jonsson, B., Khan, A.H., Parrow, J.: Implementing a Model Checking Algorithm by Adapting Existing Automated Tools. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 179\u2013188. Springer, Heidelberg (1990)"},{"key":"5_CR38","first-page":"257","volume-title":"Proceedings of the 9th European Software Engineering Conference (ESEC) held jointly with 10th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)","author":"D. Giannakopoulou","year":"2003","unstructured":"Giannakopoulou, D., Magee, J.: Fluent Model Checking for Event-based Systems. In: Proceedings of the 9th European Software Engineering Conference (ESEC) held jointly with 10th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), pp. 257\u2013266. ACM Press, New York (2003)"},{"key":"5_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-69108-1_20","volume-title":"Application and Theory of Petri Nets 1998","author":"E. Kindler","year":"1998","unstructured":"Kindler, E., Vesper, T.: ESTL: A temporal logic for events and states. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 365\u2013384. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Business Information Processing","Business Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21863-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T11:15:15Z","timestamp":1560338115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21863-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642218293","9783642218637"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21863-7_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}