{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:30:03Z","timestamp":1725892203089},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540388708"},{"type":"electronic","value":"9783540388722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841883_24","type":"book-chapter","created":{"date-parts":[[2006,9,19]],"date-time":"2006-09-19T07:29:11Z","timestamp":1158650951000},"page":"336-350","source":"Crossref","is-referenced-by-count":14,"title":["Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Lohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Sauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"9","key":"24_CR1","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MC.2005.316","volume":"38","author":"T. Meservy","year":"2005","unstructured":"Meservy, T., Fenstermacher, K.D.: Transforming software development: An MDA road map. Computer\u00a038(9), 52\u201358 (2005)","journal-title":"Computer"},{"key":"24_CR2","unstructured":"OMG (Object Management Group): Request for proposal: Mof 2.0 query \/ views \/ transformations rfp (2002)"},{"issue":"10","key":"24_CR3","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by Contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"24_CR4","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"24_CR5","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev27, Department of Computer Science, Iowa State University (2005)"},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1008734426504","volume":"9","author":"R. Heckel","year":"2001","unstructured":"Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. APCS (Applied Categorical Structures)\u00a09(1), 83\u2013110 (2001)","journal-title":"APCS (Applied Categorical Structures)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/SWAT.1973.11","volume-title":"14th Annual IEEE Symposium on Switching and Automata Theory","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE, Los Alamitos (1973)"},{"key":"24_CR8","unstructured":"Engels, G., G\u00fcldali, B., Juwig, O., Lohmann, M., Richter, J.P.: Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: Biel, B., Book, M., Gruhn, V. (eds.) Software Enginneering 2006, Fachtagung des GI Fachbereichs Softwaretechnik. Lecture Notes in Informatics, vol.\u00a079, pp. 111\u2013122. K\u00f6llen Druck, Verlag GmbH (2006)"},{"key":"24_CR9","unstructured":"Lohmann, M., Richter, J.P., Engels, G., G\u00fcldali, B., Juwig, O., Sauer, S.: Abschlussbericht: Semantische Beschreibung von Enterprise Services - Eine industrielle Fallstudie. Technical Report\u00a01, Software Quality Lab, Unversity of Paderborn (2006)"},{"key":"24_CR10","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)"},{"issue":"3,4","key":"24_CR11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3,4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Lohmann, M., Sauer, S., Engels, G.: Executable visual contracts. In: Erwig, M., Sch\u00fcrr, A. (eds.) 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), pp. 63\u201370 (2005)","DOI":"10.1109\/VLHCC.2005.35"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohmann, M.: Model-driven development of reactive informations systems: From graph transformation rules to JML contracts. International Journal on Software Tools for Technology Transfer (STTT) (accepted for publication, 2006)","DOI":"10.1007\/s10009-006-0020-z"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9_105","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Z\u00fcndorf","year":"1996","unstructured":"Z\u00fcndorf, A.: Graph pattern matching in progres. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073. Springer, Heidelberg (1996)"},{"key":"24_CR15","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Towards automatic translation of UML models into semantic domains. In: Kreowski, H.J., Knirsch, P. (eds.) Proceedings of the Appligraph Workshop on Applied Graph Transformation (2002)"},{"key":"24_CR16","unstructured":"Eclipse Consortium: Eclipse graphical editing framework (GEF) - version 3.1.1 (2006), http:\/\/www.eclipse.org\/gef\/"},{"key":"24_CR17","unstructured":"Eclipse Consortium: Eclipse modeling framework (EMF) - version 2.1.2 (2006), http:\/\/www.eclipse.org\/emf\/"},{"key":"24_CR18","unstructured":"Eclipse Consortium: Java emitter templates (JET). Eclipse Modeling Framework (EMF) - Version 2.1.1 (2006), http:\/\/www.eclipse.org\/emf\/"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841883_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:40:56Z","timestamp":1605624056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841883_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540388708","9783540388722"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11841883_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}