{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:06:00Z","timestamp":1648980360469},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,10,31]],"date-time":"2007-10-31T00:00:00Z","timestamp":1193788800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10485-007-9105-4","type":"journal-article","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T05:43:28Z","timestamp":1193723008000},"page":"333-364","source":"Crossref","is-referenced-by-count":1,"title":["Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components"],"prefix":"10.1007","volume":"16","author":[{"given":"Julia","family":"Padberg","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,10,31]]},"reference":[{"key":"9105_CR1","doi-asserted-by":"crossref","unstructured":"de\u00a0Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE 01: Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (2001)","DOI":"10.1145\/503209.503226"},{"key":"9105_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1017\/S0960129598002606","volume":"9","author":"F. Cornelius","year":"1999","unstructured":"Cornelius, F., Baldamus, M., Ehrig, H., Orejas, F.: Abstract and behaviour module specifications. Math. Structures Comput. Sci. 9, 21\u201362 (1999)","journal-title":"Math. Structures Comput. Sci."},{"key":"9105_CR3","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation I : basic concepts and double pushout approach. In: Rozenberg G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1: Foundations, Chap\u00a03. World Scientific (1997)","DOI":"10.1142\/9789812384720_0003"},{"key":"9105_CR4","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Braatz, B., Klein, M., Orejas, F., P\u00e9rez, S., Pino, E.: Object-oriented connector-component architectures. In: Proc. FESCA \u201905, Electronic Notes of TCS, vol. 141(3), pp. 123\u2013151 (2005)","DOI":"10.1016\/j.entcs.2005.02.048"},{"key":"9105_CR5","unstructured":"Ehrig, H., Baldamus, M., Orejas, F.: New concepts for amalgamation and extension in the framework of specification logics. In: Proc. WADT-COMPASS-Workshop, 1991, pp. 199\u2013221. Springer LNCS 655 (1992)"},{"key":"9105_CR6","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer (2006)"},{"key":"9105_CR7","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Math. Structures Comput. Sci. 1, 361\u2013404 (1991)","journal-title":"Math. Structures Comput. Sci."},{"key":"9105_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Parisi-Presicce F., Bottoni P., Engels G. (eds.) In: Proc. 2nd Int. Conference on Graph Transformation (ICGT\u201904), Springer LNCS, vol. 3256 pp. 144\u2013160. (2004)","DOI":"10.1007\/978-3-540-30203-2_12"},{"key":"9105_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of algebraic specification 2: module specifications and constraints, vol.\u00a021 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of algebraic specification 2: module specifications and constraints, vol.\u00a021 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin (1990)"},{"key":"9105_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A generic component concept for system modeling. In: Proc. FASE 2002: Formal Aspects of Software Engineering, Springer LNCS, vol. 2306, pp. 32\u201348. Springer (2002)","DOI":"10.1007\/3-540-45923-5_3"},{"key":"9105_CR11","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/s10270-003-0043-9","volume":"3","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A component framework for system modeling based on high-level replacement systems. Softw. Syst. Model. 3, 114\u2013134 (2004)","journal-title":"Softw. Syst. Model."},{"key":"9105_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Padberg, J., Braatz, B., Klein, M., Orejas, F., P\u00e9rez, S., Pino, E.: A generic framework for connector architectures based on components and transformations. In : Proc. FESCA\u201904, Electronic Notes of TCS, vol. 108, pp. 53\u201367 (2004)","DOI":"10.1016\/j.entcs.2004.01.012"},{"key":"9105_CR13","doi-asserted-by":"crossref","unstructured":"Gro\u00dfe\u2013Rhode, M., Parisi Presicce, F., Simeoni, M.: Refinements and modules for typed graph transformation systems. In: Fiadeiro J.L. (ed.) Workshop on Algebraic Development Techniques (WADT\u201998), at ETAPS\u201998, Lisbon, April 1998, pp. 137\u2013151. Springer LNCS 1589 (1999)","DOI":"10.1007\/3-540-48483-3_10"},{"key":"9105_CR14","unstructured":"Gruhn, V., Thiel, A.: Komponentenmodelle: DCOM, JavaBeans, EnterpriseJavaBeans, CORBA. Addison-Wesley, 2000."},{"key":"9105_CR15","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez, R.M., Orejas, F.: An algebraic framework for higher-order modules. In: FM\u201999 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Springer LNCS, vol. 1709, pp. 1778\u20131797 (1999)","DOI":"10.1007\/3-540-48118-4_44"},{"key":"9105_CR16","unstructured":"Klein, M.: Transformation-based component architectures general framework, instantiations and case study. Ph.D. thesis, Technische Universit\u00e4t Berlin, Fak. IV (2006)"},{"key":"9105_CR17","doi-asserted-by":"crossref","unstructured":"Klein, M., Padberg, J., Orejas, F.: Towards multiple access in generic component architectures. In: Proc. FESCA \u201906, Electronic Notes of TCS, vol. 176(2), pp. 25\u201345 (2006)","DOI":"10.1016\/j.entcs.2006.02.030"},{"key":"9105_CR18","doi-asserted-by":"crossref","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. In: Proc. FOSSACS 2004, Springer LNCS, vol. 2987, pp. 273\u2013288 (2004)","DOI":"10.1007\/978-3-540-24727-2_20"},{"key":"9105_CR19","unstructured":"Mann, S., Borusan, B., Ehrig, H., Gro\u00dfe-Rhode, M., Mackenthun, R., S\u00fcnb\u00fcl, A., Weber, H.: Towards a component concept for continuous software engineering. Technical Report 55\/00, FhG-ISST (2000)"},{"key":"9105_CR20","doi-asserted-by":"crossref","unstructured":"Orejas, F., P\u00e9rez, S.: Towards architectural connectors for uml. In: Kreowski, U., Montanari, H.J., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling, Springer LNCS, vol. 3393, pp. 352\u2013369 (2005)","DOI":"10.1007\/978-3-540-31847-7_21"},{"issue":"4","key":"9105_CR21","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1023\/A:1008695316594","volume":"7","author":"J. Padberg","year":"1999","unstructured":"Padberg, J.: Categorical approach to horizontal structuring and refinement of high-level replacement systems. Appl. Categ. Structures 7(4), 371\u2013403, December (1999)","journal-title":"Appl. Categ. Structures"},{"issue":"4","key":"9105_CR22","first-page":"121","volume":"6","author":"J. Padberg","year":"2002","unstructured":"Padberg, J.: Petri net modules. J. Integr. Des. Process. Technol. 6(4), 121\u2013137 (2002)","journal-title":"J. Integr. Des. Process. Technol."},{"key":"9105_CR23","unstructured":"Padberg, J: Integration of the generic component concepts for system modeling with adhesive HLR systems. Bulletin of the EATCS, vol. 87, pp. 138\u2013155 (2005)"},{"key":"9105_CR24","unstructured":"Padberg, J.: Specification and rule-based refinement of software-components. Habiltiation Thesis, Technische Universit\u00e4t Berlin (2005)"},{"issue":"1\u20132","key":"9105_CR25","first-page":"198","volume":"67","author":"J. Padberg","year":"2005","unstructured":"Padberg, J., Ehrig, H.: Petri net modules in the transformation-based component framework. J. Log. Algebr. Program. 67(1\u20132), 198\u2013225 (2005)","journal-title":"J. Log. Algebr. Program."},{"key":"9105_CR26","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Math. Structures Comput. Sci. 5, 217\u2013256 (1995)","journal-title":"Math. Structures Comput. Sci."},{"key":"9105_CR27","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0167-6423(00)00022-8","volume":"40","author":"J. Padberg","year":"2001","unstructured":"Padberg, J., Gajewsky, M., Ermel, C.: Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Programming 40, 97\u2013118 (2001)","journal-title":"Sci. Comput. Programming"},{"key":"9105_CR28","unstructured":"Simeoni, M.: A Categorical Approach to Modularization of Graph Transformation Systems using Refinements. Ph.D. thesis, Universit\u00e0 Roma La Sapienza (1999)"},{"key":"9105_CR29","doi-asserted-by":"crossref","unstructured":"Simeoni, M.: An Abstract Module Concept for Graph Transformation Systems. Electronic Notes of TCS 51 (2002)","DOI":"10.1016\/S1571-0661(04)80211-1"},{"key":"9105_CR30","unstructured":"Szyperski, C.: Component Software \u2013 Beyond Object-Oriented Programming. Addison-Wesley (1997)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-007-9105-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-007-9105-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-007-9105-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:24:26Z","timestamp":1559139866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-007-9105-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,31]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9105"],"URL":"https:\/\/doi.org\/10.1007\/s10485-007-9105-4","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,31]]}}}