{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T12:01:21Z","timestamp":1648987281584},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2004,5,1]],"date-time":"2004-05-01T00:00:00Z","timestamp":1083369600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2004,5]]},"DOI":"10.1007\/s10270-003-0043-9","type":"journal-article","created":{"date-parts":[[2004,3,31]],"date-time":"2004-03-31T16:15:42Z","timestamp":1080749742000},"page":"114-135","source":"Crossref","is-referenced-by-count":7,"title":["A component framework for system modeling based on high-level replacement systems"],"prefix":"10.1007","volume":"3","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Braatz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martti","family":"Piirainen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,5,1]]},"reference":[{"key":"43_CR1","doi-asserted-by":"crossref","unstructured":"Allen R, Garlan D (1997) A Formal Basis for Architectural Connection. In: ACM TOSEM \u201997, pp 213\u2013249","DOI":"10.1145\/258077.258078"},{"key":"43_CR2","unstructured":"Bardohl R (1999) GenGEd \u2013 Visual definition of visual languages based on algebraic graph transformation. PhD Thesis, TU Berlin, Germany"},{"key":"43_CR3","unstructured":"Braatz A, Ritter A (2001) Referenzfallstudie Produktionstechnik. Available at tfs.cs.tu-berlin.de\/projekte\/indspec\/spp\/themenbereiche.html"},{"key":"43_CR4","unstructured":"Cheesman J, Daniels J (2001) UML Components. Addison-Wesley"},{"key":"43_CR5","unstructured":"Ehrig H (1977) Embedding Theorems in the Algebraic Theory of Graph Grammars, Fundamentals of Computation Theory, LNCS, vol 56. Springer, pp 245\u2013255"},{"key":"43_CR6","unstructured":"Ehrig H, Geisler R, Klar M, Padberg J (1997) Horizontal and Vertical Structuring for Statecharts. Proc. CONCUR \u201997, LNCS, vol 1301. Springer, pp 327\u2013343"},{"key":"43_CR7","first-page":"361","volume":"1","author":"Ehrig","year":"1991","unstructured":"Ehrig H, Habel A, Kreowski H-J, Parisi-Presicce F (1991) Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. in Comp. Science 1:361\u2013404, Cambridge Univ. Press","journal-title":"Science"},{"key":"43_CR8","first-page":"Module","volume":"2","author":"Ehrig","year":"1990","unstructured":"Ehrig H, Mahr B (1990) Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Vol. 21 of EATCS Monographs on Theor. Comp. Science, Springer Verlag, Berlin","journal-title":"Fundamentals of Algebraic Specification"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig H, Grosse-Rhode M (2001) Integration von Techniken der Softwarespezifikation f\u00fcr Ingenieurwissenschaftliche Anwendungen. Informatik, Forschung und Entwicklung 16:100\u2013117, Springer Verlag","DOI":"10.1007\/PL00009144"},{"key":"43_CR10","first-page":"Electronic","volume":"in","author":"Ehrig","year":"2001","unstructured":"Ehrig H, Orejas F (2001) A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. In: Proc. GT-VMT 2001, ICALP 2001 Satellite Workshops. Heraclion, Greece, pages 201\u2013228. Also in: Electronic Notes in Theor. Comp. Science 50,3","journal-title":"Also"},{"key":"43_CR11","unstructured":"Ehrig H, Orejas F (2001) A Generic Component Concept for Integrated Data Type and Process Specification Techniques. Technical report, TU Berlin, FB Informatik"},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig H, Orejas F, Braatz B, Klein M, Piirainen M (2002) A component framework based on high-level replacement systems. Proc. of GT-VMT 2002, Electronic Notes in Theoretical Computer Science, vol 72, no. 3, Elsevier Sciences","DOI":"10.1016\/S1571-0661(04)80616-9"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig H, Orejas F, Braatz B, Klein M, Piirainen M (2002) A Generic Component Framework for System Modeling. Proc. FASE 2002, LNCS, vol 2306. Springer, pp 33\u201348","DOI":"10.1007\/3-540-45923-5_3"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"Ehrig H, Pfender M, Schneider H (1973) Graph Grammars: An Algebraic Approach. In: Proc. SWAT \u201973, pp 167\u2013180","DOI":"10.1109\/SWAT.1973.11"},{"key":"43_CR15","doi-asserted-by":"crossref","unstructured":"Fiadeiro JL, Lopes A (1997) Semantics of Architectural Connectors. In: Proc. TAPSOFT \u201997, LNCS, vol 1214. Springer, pp 505\u2013519","DOI":"10.1007\/BFb0030622"},{"key":"43_CR16","doi-asserted-by":"crossref","unstructured":"Grosse-Rhode M, Parisi Presicce F, Simeoni M (2000) Refinements of Graph Transformation Systems via Rule Expressions. In: Ehrig H, Engels G, Kreowski H-J, Rozenberg G (eds) Graph Grammars and their applications to Comp. Sci. 6th Internat. Workshop, (Selected Papers), Lect. Notes Comp. Sci., vol 1764. Springer-Verlag, pp 368\u2013382","DOI":"10.1007\/978-3-540-46464-8_26"},{"key":"43_CR17","unstructured":"Grosse-Rhode M, Parisi Presicce F, Simeoni M (2001) Formal Software Specification with Refinement and Modules for Typed Graph Transformation Systems. In: Comput J. System Sci. 64(2):171\u2013218"},{"key":"43_CR18","first-page":"613","volume":"6","author":"Heckel","year":"1996","unstructured":"Heckel R, Corradini A, Ehrig H, L\u00f6we M (1996) Horizontal and Vertical Structuring of Typed Graph Transformation Systems. MSCS 6:613\u2013648","journal-title":"MSCS"},{"key":"43_CR19","first-page":"Applications","volume":"2","author":"Heckel","year":"1999","unstructured":"Heckel R, Engels G, Ehrig H, Taentzer G (1999) Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In: Handbook of Graph Grammars and Computing by Graph Transformation. Vol 2: Applications, Languages and Tools. World Scientific, Singapore etc.","journal-title":"Vol"},{"key":"43_CR20","unstructured":"Klein M (2002) A Component Concept for System Modeling Based on High-Level Replacement Transformations. Diploma thesis, TU-Berlin, available at user.cs.tu-berlin.de\/\u223cklein"},{"key":"43_CR21","unstructured":"Klein M, \u00d6zhan M, Piirainen M (2002) Iosip case study model files. Available at tfs.cs.tu-berlin.de\/\u223cmesut\/iosip\/"},{"key":"43_CR22","unstructured":"L\u00f6we M (1999) Evolution Patterns. In: Proc. Conf. on Systemics, Cybernetics and Informatics 1999, vol. II, pp 110\u2013117"},{"key":"43_CR23","unstructured":"Mann S, Borusan B, Ehrig H, Grosse-Rhode M, Mackenthun R, S\u00fcnb\u00fcl A, Weber H (2000) Towards a Component Concept for Continuous Software Engineering. FhG-ISST Report 55\/00"},{"key":"43_CR24","doi-asserted-by":"crossref","unstructured":"Meseguer J, Montanari U (1990) Petri Nets are Monoids. In: Information and Computation, 88(2):105\u2013155","DOI":"10.1016\/0890-5401(90)90013-8"},{"key":"43_CR25","doi-asserted-by":"crossref","unstructured":"Orejas F, Ehrig H (2003) Components for Algebra Transformation Systems. to appear in Proc. UNIGRA\u201903","DOI":"10.1016\/S1571-0661(04)80747-3"},{"key":"43_CR26","doi-asserted-by":"crossref","unstructured":"Orejas F, Ehrig H, Pino E (2001) Tight and Loose Semantics for Transformation Systems. Recent Trends in Algebraic Development Techniques, LNCS, vol 2267. Springer, pp 238\u2013255","DOI":"10.1007\/3-540-45645-7_12"},{"key":"43_CR27","first-page":"A","volume":"Nets","author":"Padberg","year":"1996","unstructured":"Padberg J (1996) Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University of Berlin, Dept. of Comp. Sci., Shaker Verlag","journal-title":"Abstract Petri"},{"key":"43_CR28","first-page":"217","volume":"5","author":"Padberg","year":"1995","unstructured":"Padberg J, Ehrig H, Ribeiro L (1995) Algebraic High-Level Net Transformation Systems. Math. Struct. in Comp. Science 5:217\u2013256, Cambridge Univ. Press","journal-title":"Science"},{"key":"43_CR29","unstructured":"Padberg J, Hoffmann K, Buder M, S\u00fcnb\u00fcl A (2001) Petri Net Modules for Component-Based Software Engineering. Technical Report, TU Berlin"},{"key":"43_CR30","unstructured":"Padberg J, Taentzer G (1993) Embedding of Derivations in High-Level Replacement Systems. Technical Report, TU Berlin"},{"key":"43_CR31","doi-asserted-by":"crossref","unstructured":"Rozenberg G (ed) (1997) Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific","DOI":"10.1142\/3303"},{"key":"43_CR32","unstructured":"Simeoni M (2000) A Categorical Approach to Modularization of Graph Transformation Systems using Refinements. PhD thesis, Dip. di Scienze dell\u2019Informazione, Universit\u00e0 di Roma La Sapienza, Condensed version to appear in JCSS"},{"key":"43_CR33","unstructured":"Szyperski C (1997) Component Software \u2013 Beyond Object-Oriented Programming. Addison\u2013Wesley"},{"key":"43_CR34","doi-asserted-by":"crossref","unstructured":"Weber H, Ehrig H (1986) Specification of Modular Systems. IEEE Trans. Software Eng. SE-12:784\u2013798","DOI":"10.1109\/TSE.1986.6312979"},{"key":"43_CR35","doi-asserted-by":"crossref","unstructured":"Wermelinger M, Lopes A, Fiadeiro JL (2001) A Graph Based Architectural Reconfiguration Language. In: Proc. ESEC\/FSE \u201901, ACM Press","DOI":"10.1145\/503209.503213"},{"key":"43_CR36","doi-asserted-by":"crossref","unstructured":"Zaremski AM, Wing JM (1997) Specification Matching of Software Components. In: ACM TOSEM \u201997, pp 333\u2013369","DOI":"10.1145\/261640.261641"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0043-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-003-0043-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0043-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0043-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T21:10:42Z","timestamp":1585689042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-003-0043-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,5]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,5]]}},"alternative-id":["43"],"URL":"https:\/\/doi.org\/10.1007\/s10270-003-0043-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,5]]}}}