{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:54:10Z","timestamp":1725519250628},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540890195"},{"type":"electronic","value":"9783540890201"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89020-1_25","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T13:44:44Z","timestamp":1223991884000},"page":"361-376","source":"Crossref","is-referenced-by-count":1,"title":["Verification and Synthesis of OCL Constraints Via Topology Analysis"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Bauer","sequence":"first","affiliation":[]},{"given":"Werner","family":"Damm","sequence":"additional","affiliation":[]},{"given":"Tobe","family":"Toben","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Westphal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"OMG: Unified Modeling Language: Superstructure, Version 2.1.1. Technical Report formal\/07-02-05 (February 2007)"},{"key":"25_CR2","unstructured":"OMG: Unified Modeling Language: Infrastructure 2.1.1. Technical Report formal\/07-02-06 (February 2007)"},{"key":"25_CR3","volume-title":"14th International Static Analysis Symposium","author":"J. Bauer","year":"2007","unstructured":"Bauer, J., Wilhelm, R.: Static Analysis of Dynamic Communication Systems. In: 14th International Static Analysis Symposium. Springer, Heidelberg (2007)"},{"key":"25_CR4","volume-title":"Proceedings of ASE-2001: The 16th IEEE Conference on Automated Software Engineering","author":"F. Xie","year":"2001","unstructured":"Xie, F., Levin, V., Browne, J.C.: Model Checking for an Executable Subset of UML. In: Feather, M., Goedicke, M. (eds.) Proceedings of ASE-2001: The 16th IEEE Conference on Automated Software Engineering, November 2001. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469. Springer, Heidelberg (2002)"},{"key":"25_CR6","first-page":"174","volume-title":"Proc. SEFM 2004","author":"I. Schinz","year":"2004","unstructured":"Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The Rhapsody UML Verification Environment. In: Cuellar, J.R., Liu, Z. (eds.) Proc. SEFM 2004, Beijing, China, September 2004, pp. 174\u2013183. IEEE, Los Alamitos (2004)"},{"key":"25_CR7","volume-title":"Proc. ASE 1999","author":"J.M. J\u00e9z\u00e9quel","year":"1999","unstructured":"J\u00e9z\u00e9quel, J.M., Ho, W.M., Guennec, A.L., Pennaneac\u2019h, F.: UMLAUT: an Extendible UML Transformation Framework. In: Hall, R., Tyugu, E. (eds.) Proc. ASE 1999. IEEE Computer Society, Los Alamitos (1999)"},{"key":"25_CR8","volume-title":"17th IEEE International Conference on Automated Software Engineering (ASE 2002)","author":"G. Csert\u00e1n","year":"2002","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA - Visual Automated Transformations for Formal Verification of UML Models. In: Emmerich, W., Wile, D. (eds.) 17th IEEE International Conference on Automated Software Engineering (ASE 2002), Edinburgh, Scotland, UK, 23-27 September 2002. IEEE Computer Society, Los Alamitos (2002)"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-36087-5_27","volume-title":"EurAsia-ICT 2002: Information and Communication Technology","author":"M. Gogolla","year":"2002","unstructured":"Gogolla, M., Richters, M.: Development of UML descriptions with USE. In: Shafazand, H., Tjoa, A.M. (eds.) EurAsia-ICT 2002. LNCS, vol.\u00a02510, pp. 228\u2013238. Springer, Heidelberg (2002)"},{"issue":"1","key":"25_CR10","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.jvlc.2005.11.001","volume":"17","author":"K. H\u00f6lscher","year":"2006","unstructured":"H\u00f6lscher, K., Ziemann, P., Gogolla, M.: On Translating UML Models into Graph Transformation Systems. Journal of Visual Languages and Computing\u00a017(1), 78\u2013105 (2006)","journal-title":"Journal of Visual Languages and Computing"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1109\/ACSD.2006.29","volume-title":"Sixth International Conference on Application of Concurrency to System Design, 2006. ACSD 2006","author":"J. Bauer","year":"2006","unstructured":"Bauer, J., Schaefer, I., Toben, T., Westphal, B.: Specification and Verification of Dynamic Communication Systems. In: Sixth International Conference on Application of Concurrency to System Design, 2006. ACSD 2006, pp. 189\u2013200. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"25_CR12","unstructured":"Drewes, F., Hoffmann, B., Janssens, D., Minas, M., Eetvelde, N.V.: Shaped Generic Graph Transformation. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) Proc. AGTIVE 2007, pp. 197\u2013212 (October 2007)"},{"issue":"1","key":"25_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2006.01.022","volume":"157","author":"A. Rensink","year":"2006","unstructured":"Rensink, A., Distefano, D.: Abstract Graph Transformation. Electr. Notes Theor. Comput. Sci.\u00a0157(1), 39\u201359 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11691372_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. K\u00f6nig","year":"2006","unstructured":"K\u00f6nig, B., Kozioura, V.: Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920. Springer, Heidelberg (2006)"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1134285.1134297","volume-title":"ICSE","author":"B. Becker","year":"2006","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) ICSE, pp. 72\u201381. ACM, New York (2006)"},{"issue":"3","key":"25_CR16","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"S. Sagiv","year":"2002","unstructured":"Sagiv, S., Reps, T.W., Wilhelm, R.: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst.\u00a024(3), 217\u2013298 (2002)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"25_CR17","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/9.250509","volume":"38","author":"P. Varaiya","year":"1993","unstructured":"Varaiya, P.: Smart cars on smart roads: problems of control. IEEE Transactions on Automatic Control\u00a038(2), 195\u2013207 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Hsu, A., Eskafi, F., Sachs, S., Varaiya, P.: The Design of Platoon Maneuver Protocols for IVHS. PATH Research Report UCB-ITS-PRR-91-6, Institute of Transportation Studies, University of California at Berkeley (April 1991) ISSN 1055-1425","DOI":"10.23919\/ACC.1991.4791861"},{"issue":"2","key":"25_CR19","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0167-6423(02)00040-0","volume":"44","author":"R. Depke","year":"2002","unstructured":"Depke, R., Heckel, R., K\u00fcster, J.M.: Formal agent-oriented modeling with UML and graph transformation. Science of Computer Programming\u00a044(2), 229\u2013252 (2002)","journal-title":"Science of Computer Programming"},{"issue":"1\u20133","key":"25_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.scico.2004.05.012","volume":"55","author":"W. Damm","year":"2005","unstructured":"Damm, W., Josko, B., Pnueli, A., Votintseva, A.: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Science of Computer Programming\u00a055(1\u20133), 81\u2013115 (2005)","journal-title":"Science of Computer Programming"},{"key":"25_CR21","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"25_CR22","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angeles, California, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"25_CR23","unstructured":"Bauer, J.: Analysis of Communication Topologies by Partner Abstraction. PhD thesis, Universit\u00e4t des Saarlandes (2006)"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: The Model Checker SPIN. IEEE Transactions on Software Engineering\u00a023(5) (May 1997)","DOI":"10.1109\/32.588521"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electr. Notes in Theor. Comput. Sci.\u00a055(3) (2001)","DOI":"10.1016\/S1571-0661(04)00262-2"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89020-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T16:44:46Z","timestamp":1557852286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89020-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540890195","9783540890201"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89020-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}