{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:52Z","timestamp":1725558952842},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254201"},{"type":"electronic","value":"9783540319849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31984-9_7","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T14:26:18Z","timestamp":1279031178000},"page":"80-95","source":"Crossref","is-referenced-by-count":5,"title":["Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars"],"prefix":"10.1007","author":[{"given":"Ralf H.","family":"Reussner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Happe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annegret","family":"Habel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Parsing","author":"A.V. Aho","year":"1972","unstructured":"Aho, A.V., Ullman, J.D.: The Theory of Parsing, Translation, and Compiling. In: Parsing, vol.\u00a0I. Prentice-Hall, Englewood Cliffs (1972)"},{"key":"7_CR2","series-title":"Software Engineering Notes","first-page":"109","volume-title":"Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC\/FSE 2001)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Gruhn, V. (ed.) Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC\/FSE 2001), September 10\u201314. Software Engineering Notes, vol.\u00a026(5), pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1006\/jcss.2001.1790","volume":"64","author":"F. Drewes","year":"2002","unstructured":"Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. Journal of Computer and System Sciences\u00a064, 249\u2013283 (2002)","journal-title":"Journal of Computer and System Sciences"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools","year":"1999","key":"7_CR4","unstructured":"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. World Scientific, Singapore (1999)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution","year":"1999","key":"7_CR5","unstructured":"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. World Scientific, Singapore (1999)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Hyperedge Replacement: Grammars and Languages","year":"1992","unstructured":"Habel, A. (ed.): Hyperedge Replacement: Grammars and Languages. LNCS, vol.\u00a0643. Springer, Heidelberg (1992)"},{"key":"7_CR7","first-page":"241","volume":"28","author":"A. Habel","year":"1992","unstructured":"Habel, A.: Hypergraph grammars: Transformational and algorithmic aspects. Journal of Information Processing and Cybernetics EIK\u00a028, 241\u2013277 (1992)","journal-title":"Journal of Information Processing and Cybernetics EIK"},{"issue":"5","key":"7_CR8","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1017\/S0960129501003425","volume":"11","author":"A. Habel","year":"2001","unstructured":"Habel, A., M\u00fcller, J., Plump, D.: Double-pushout graph transformation revisited. Mathematical Structures in Computer Science\u00a011(5), 637\u2013688 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR9","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)"},{"key":"7_CR10","unstructured":"Hunzelmann, G.: Generierung von Protokollinformation f\u00fcr Softwarekomponentenschnittstellen aus annotiertem Java-Code. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (TH), Germany (April 2001)"},{"issue":"10","key":"7_CR11","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying Design by Contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"7_CR12","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Proceedings of the 8th ACM onference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 1993), October. ACM SIGPLAN Notices, vol.\u00a028(10), pp. 1\u201315 (1993)","DOI":"10.1145\/165854.167976"},{"key":"7_CR14","volume-title":"Parametrisierte Vertr\u00e4ge zur Protokolladaption bei Software- Komponenten","author":"R.H. Reussner","year":"2001","unstructured":"Reussner, R.H.: Parametrisierte Vertr\u00e4ge zur Protokolladaption bei Software- Komponenten. Logos Verlag, Berlin (2001)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1016\/S0167-739X(02)00173-5","volume":"19","author":"R.H. Reussner","year":"2003","unstructured":"Reussner, R.H.: Automatic Component Protocol Adaptation with the CoCoNut Tool Suite. Future Generation Computer Systems\u00a019, 627\u2013639 (2003)","journal-title":"Future Generation Computer Systems"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-45064-1_14","volume-title":"Component-Based Software Quality","author":"R.H. Reussner","year":"2003","unstructured":"Reussner, R.H., Poernomo, I.H., Schmidt, H.W.: Reasoning on software architectures with contractually specified components. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol.\u00a02693, pp. 287\u2013325. Springer, Heidelberg (2003)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Foundations","year":"1997","key":"7_CR17","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-39800-4_4","volume-title":"Formal Methods for Software Architectures","author":"J.A. Stafford","year":"2003","unstructured":"Stafford, J.A., Wolf, A.L., Caporuscio, M.: The application of dependence analysis to software architecture descriptions. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 52\u201362. Springer, Heidelberg (2003)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46589-8_1","volume-title":"Object-Oriented Technology. ECOOP\u201999 Workshop Reader","author":"A. Vallecillo","year":"1999","unstructured":"Vallecillo, A., Hern\u00e1ndez, J., Troya, J.M.: Object interoperability. In: Moreira, A.M.D., Demeyer, S. (eds.) ECOOP 1999 Workshops. LNCS, vol.\u00a01743, pp. 1\u201321. Springer, Heidelberg (1999)"},{"issue":"2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. Yellin","year":"1997","unstructured":"Yellin, D., Strom, R.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"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-540-31984-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:44:49Z","timestamp":1620013489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31984-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254201","9783540319849"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31984-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}