{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:21:36Z","timestamp":1725567696245},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221203"},{"type":"electronic","value":"9783540259596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25959-6_2","type":"book-chapter","created":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T11:09:47Z","timestamp":1287832187000},"page":"15-29","source":"Crossref","is-referenced-by-count":0,"title":["Towards Validation of Session Management in Web Applications based on Graph Transformation"],"prefix":"10.1007","author":[{"given":"Anilda","family":"Qemali","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"The Apache Jakarta Projekt - Struts, http:\/\/jakarta.apache.org\/struts"},{"key":"2_CR2","unstructured":"XML Metadata Interchange, http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm"},{"key":"2_CR3","volume-title":"Building Web Applications with UML","author":"J. Conallen","year":"2000","unstructured":"Conallen, J.: Building Web Applications with UML. Addison-Wesley, Reading (2000)"},{"key":"2_CR4","series-title":"Foundations","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph transformation","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph transformation. Foundations, vol.\u00a01, pp. 163\u2013246. World Scientific, Singapore (1997)"},{"key":"2_CR5","series-title":"Applications, Languages and Tools","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1142\/9789812815149_0014","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"C. Ermel","year":"1999","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a02, pp. 551\u2013603. World Scientific, Singapore (1999), available at http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"2_CR6","unstructured":"Finger, F.: Design and implementation of a modular ocl compiler. Master\u2019s thesis, Dresden University, Germany (2000)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring Consistency of Conditional Graph Grammars \u2013 A constructive Approach. In: Proc. of SEGRAGRA 1995, Graph Rewriting and Computation. Electronic Notes of TCS, vol.\u00a02 (1995), http:\/\/www.elsevier.nl\/locate\/entcs\/volume2.html","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"2_CR8","unstructured":"Koch, N., Kraus, A.: The expressive power of uml-based web engineering. In: Pastor, O., Rossi, G., Olsina, L. (eds.) Second International Workshop on Web-oriented Software Technology, IWWOST 2002 (2002)"},{"key":"2_CR9","unstructured":"Koch, N.: Software Engineering for Hypermedia Systems. PhD thesis, LMU M\u00fcnchen, Germany (2001)"},{"key":"2_CR10","unstructured":"Matz, M.: Konzeption und Implementierung eines Konsistenznachweisverfahrens f\u00fcr attributierte Graphtransformation. Master\u2019s thesis, TU Berlin, Fak. IV (2002)"},{"key":"2_CR11","unstructured":"Richters, M.: A precise Approach to Validating UML Models and OCL Constraints. Monographs of the Bremen Institute of Safe Systems. University of Bremen, thesis at the university of Bremen (2002)"},{"key":"2_CR12","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":"2_CR13","series-title":"Concurrency, Parallelism, and Distribution","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1142\/9789812814951_0005","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"G. Taentzer","year":"1999","unstructured":"Taentzer, G., Fischer, I.: Visual Design of Distributed Systems by Graph Transformation. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism, and Distribution, vol.\u00a03, pp. 269\u2013340. World Scientific, Singapore (1999)"},{"key":"2_CR14","unstructured":"Unified Modeling Language \u2013 version 1.5, Available at http:\/\/www.omg.org\/uml"},{"key":"2_CR15","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1998","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1998)"}],"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-25959-6_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:00:36Z","timestamp":1605744036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25959-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221203","9783540259596"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25959-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}