{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T08:32:52Z","timestamp":1794385972560,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642198106","type":"print"},{"value":"9783642198113","type":"electronic"}],"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-19811-3_12","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T09:06:18Z","timestamp":1300093578000},"page":"156-170","source":"Crossref","is-referenced-by-count":7,"title":["Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Ermel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00fcrgen","family":"Gall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"3-4","key":"12_CR1","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10009-010-0154-x","volume":"12","author":"E. Biermann","year":"2010","unstructured":"Biermann, E., Ermel, C., Lambers, L., Prange, U., Taentzer, G.: Introduction to AGG and EMF Tiger by modeling a conference scheduling system. Int. Journal on Software Tools for Technology Transfer\u00a012(3-4), 245\u2013261 (2010)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"12_CR2","series-title":"EATCS Monographs in Theor. Comp. Science","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science. Springer, Heidelberg (2006)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-89020-1_2","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Engels","year":"2008","unstructured":"Engels, G., G\u00fcldali, B., Soltenborn, C., Wehrheim, H.: Assuring consistency of business process models and web services using visual contracts. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088, pp. 17\u201331. Springer, Heidelberg (2008)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Ermel, C., Gall, J., Lambers, L., Taentzer, G.: Modeling with plausibility checking: Inspecting favorable and critical signs for consistency between control flow and functional behavior. Tech. Rep. 2011\/2, TU Berlin (2011), \n                    \n                      http:\/\/www.eecs.tu-berlin.de\/menue\/forschung\/forschungsberichte\/","DOI":"10.1007\/978-3-642-19811-3_12"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering\u00a07(30) (2004)","DOI":"10.1109\/TSE.2004.33"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story Diagrams: A new Graph Rewrite Language based on the Unified Modeling Language. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science\u00a019, 1\u201352 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/581352.581355","volume-title":"Proc. ICSE","author":"J.H. Hausmann","year":"2002","unstructured":"Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In: Proc. ICSE, pp. 105\u2013115. ACM, New York (2002)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-75209-7_11","volume-title":"Model Driven Engineering Languages and Systems","author":"P.K. Jayaraman","year":"2007","unstructured":"Jayaraman, P.K., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model composition in product lines and feature interaction detection using critical pair analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 151\u2013165. Springer, Heidelberg (2007)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-540-87875-9_25","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Jurack","year":"2008","unstructured":"Jurack, S., Lambers, L., Mehner, K., Taentzer, G.: Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In: Czarnecki, K. (ed.) MODELS 2008. LNCS, vol.\u00a05301, pp. 341\u2013355. Springer, Heidelberg (2008)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-00593-0_4","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Jurack","year":"2009","unstructured":"Jurack, S., Lambers, L., Mehner, K., Taentzer, G., Wierse, G.: Object Flow Definition for Refined Activity Diagrams. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 49\u201363. Springer, Heidelberg (2009)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-540-78743-3_29","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Lambers","year":"2008","unstructured":"Lambers, L., Mariani, L., Ehrig, H., Pezze, M.: A Formal Framework for Developing Adaptable Service-Based Applications. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 392\u2013406. Springer, Heidelberg (2008)"},{"key":"12_CR13","unstructured":"Lambers, L.: Certifying Rule-Based Models using Graph Transformation. Ph.D. thesis, Technische Universit\u00e4t Berlin (2009)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02059-9_7","volume-title":"Transactions on Aspect-Oriented Software Development V","author":"K. Mehner","year":"2009","unstructured":"Mehner, K., Monga, M., Taentzer, G.: Analysis of aspect-oriented model weaving. In: Rashid, A., Ossher, H. (eds.) Transactions on AOSD V. LNCS, vol.\u00a05490, pp. 235\u2013263. Springer, Heidelberg (2009)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Mens","year":"2006","unstructured":"Mens, T., Straeten, R.V.D., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"12_CR16","unstructured":"Object Management Group. Unified Modeling Language: Superstructure \u2013 Version 2.3 (2010), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.3\/\n                    \n                    \n                   formal\/07-02-05"},{"key":"12_CR17","volume-title":"Int. Journal on Software Tools for Technology Transfer, Section on Graph Transf. Tool Contest 2008","year":"2010","unstructured":"Rensink, A., Van Gorp, P. (eds.): Int. Journal on Software Tools for Technology Transfer, Section on Graph Transf. Tool Contest 2008, vol.\u00a012(3-4). Springer, Heidelberg (2010)"},{"key":"12_CR18","volume-title":"VLHCC 2004","author":"H. St\u00f6rrle","year":"2004","unstructured":"St\u00f6rrle, H.: Semantics of UML 2.0 activity diagrams. In: VLHCC 2004. IEEE, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19811-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T06:30:54Z","timestamp":1558420254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19811-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198106","9783642198113"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3_12","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}