{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:57:17Z","timestamp":1743065837313,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155758"},{"type":"electronic","value":"9783642155765"}],"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.springernature.com\/gp\/researchers\/text-and-data-mining"},{"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.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15576-5_15","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T15:16:15Z","timestamp":1284563775000},"page":"176-189","source":"Crossref","is-referenced-by-count":3,"title":["Checkable Graphical Business Process Representation"],"prefix":"10.1007","author":[{"given":"Sven","family":"Feja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Speck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00f6ren","family":"Witt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Anders, E.: Modellierung und Validierung von Prozessmodellen auf Basis variabler Modellierungsnotationen und Validierungsmethoden als Erweiterung f\u00fcr Eclipse. Diploma Thesis, Christian-Albrechts-University Kiel, Germany (2010)"},{"key":"15_CR2","doi-asserted-by":"crossref","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":"15_CR3","unstructured":"Breitling, M.: Business Consulting, Service Packages & Benefits. Technical report, Intershop Customer Services, Jena, Germany (2002)"},{"key":"15_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 3rd edn. The MIT Press, Cambridge (2001)","edition":"3"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1145\/337180.337234","volume-title":"ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering","author":"J.C. Corbett","year":"2000","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from Java source code. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 439\u2013448. ACM, New York (2000)"},{"key":"15_CR6","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/s100090200075","volume":"4","author":"J.C. Corbett","year":"2002","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Robby: Expressing Checkable Properties of Dynamic Systems: The Bandera Specification Language. International Journal on Software Tools for Technology Transfer (STTT)\u00a04, 34\u201356 (2002)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"15_CR7","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":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-36135-9_17","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"D.C. DuVarney","year":"2002","unstructured":"DuVarney, D.C., Purushothaman, I.S.: C Wolf - A Toolset for Extracting Models from C Programs. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 260\u2013275. Springer, Heidelberg (2002)"},{"key":"15_CR9","first-page":"192","volume":"2","author":"M.J. Escalona Cuaresma","year":"2004","unstructured":"Escalona Cuaresma, M.J., Koch, N.: Requirements Engineering for Web Applications A Comparative Study. Journal of Web Engineering\u00a02, 192\u2013212 (2004)","journal-title":"Journal of Web Engineering"},{"key":"15_CR10","first-page":"117","volume-title":"15th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2008), Belfast, NI, GB","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)"},{"key":"15_CR11","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":"15_CR12","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.knosys.2008.11.003","volume":"22","author":"D. F\u00f6tsch","year":"2009","unstructured":"F\u00f6tsch, D., Pulverm\u00fcller, E.: A Concept and Implementation of Higher-level XML Transformation Languages. Knowledge-Based Systems Journal\u00a022, 186\u2013194 (2009)","journal-title":"Knowledge-Based Systems Journal"},{"key":"15_CR13","unstructured":"F\u00f6tsch, D., Pulverm\u00fcller, E., Rossak, W.: Modeling and Verifying Workflow-based Regulations. In: Proceedings of the Workshop on Regulations Modelling and their Validation & Verification (REMO2V), In Conjunction with the 18th Conference on Advanced Information System Engineering - Trusted Information Systems (CAiSE 2006). Namur University Press (2006)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/11880240_49","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Goldsby","year":"2006","unstructured":"Goldsby, H., Cheng, B.H.C., Konrad, S., Kamdoum, S.: Enabling a Roundtrip Engineering Process for the Modeling and Analysis of Embedded Systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 707\u2013721. Springer, Heidelberg (2006)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-44685-0_5","volume-title":"CONCUR 2001 - Concurrency Theory","author":"J. Hatcliff","year":"2001","unstructured":"Hatcliff, J., Dwyer, M.B.: Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 39\u201358. Springer, Heidelberg (2001)"},{"key":"15_CR16","volume-title":"REV 2006: Proceedings of the 1st International Workshop on Requirements Engineering Visualization","author":"S. Konrad","year":"2006","unstructured":"Konrad, S., Goldsby, H., Lopez, K., Cheng, B.H.C.: Visualizing Requirements in UML Models. In: REV 2006: Proceedings of the 1st International Workshop on Requirements Engineering Visualization, Washington, DC, USA, vol.\u00a01. IEEE Computer Society, Los Alamitos (2006)"},{"key":"15_CR17","unstructured":"Parry, P.W., \u00d6zcan, M.B.: The Application of Visualisation to Requirements Engineering (1998)"},{"key":"15_CR18","first-page":"297","volume-title":"Proceedings of the 8th International Conference on New 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: Proceedings of the 8th International Conference on New Software Methodologies, Tools, and Techniques (SoMeT 2009), pp. 297\u2013313. IOS Press, Amsterdam (2009)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Pulverm\u00fcller, E., Feja, S., Speck, A.: Developer-friendly Verification of Process-based Systems. Knowledge Based Systems. Knowledge-Based Systems Journal\u00a023 (to appear 2010)","DOI":"10.1016\/j.knosys.2010.03.005"},{"key":"15_CR20","unstructured":"Runte, W.: Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach. In: The Young Researchers Workshop on Modeling and Management of Business Processes (YRW-MBP 2009). GI LNI, vol.\u00a0147, pp. 237\u2013238 (2007)"},{"key":"15_CR21","doi-asserted-by":"crossref","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":"15_CR22","volume-title":"Model-Driven Software Development : Technology, Engineering, Management","author":"M. V\u00f6lter","year":"2006","unstructured":"V\u00f6lter, M., Stahl, T.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, Chichester (June 2006)"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15576-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T23:16:37Z","timestamp":1676070997000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-15576-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155758","9783642155765"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15576-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}