LEADER 04180nam  22007215  450 
001 9910298961203321
005 20220407212121.0
010   $a3-662-47980-X
024 7 $a10.1007/978-3-662-47980-3
035   $a(CKB)3710000000541798
035   $a(EBL)4216860
035   $a(SSID)ssj0001597034
035   $a(PQKBManifestationID)16298431
035   $a(PQKBTitleCode)TC0001597034
035   $a(PQKBWorkID)14886738
035   $a(PQKB)10130931
035   $a(DE-He213)978-3-662-47980-3
035   $a(MiAaPQ)EBC4216860
035   $a(PPN)190885882
035   $a(EXLCZ)993710000000541798
100   $a20151221d2015      u|             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aGraph and model transformation$b[electronic resource] $egeneral framework and applications /$fby Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
205   $a1st ed. 2015.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015.
215   $a1 online resource (468 p.)
225 1 $aMonographs in Theoretical Computer Science. An EATCS Series,$x1431-2654
300   $aDescription based upon print version of record.
311   $a3-662-47979-6 
320   $aIncludes bibliographical references and index.
327   $aGeneral Introduction -- Graph Transformation -- Model Transformation -- Adhesive and M-adhesive Categories -- M-adhesive Transformation Systems -- Multi-amalgamated Transformations -- Model Transformation and Model Integration -- Analysis of Model Transformations -- Model Synchronisation -- Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation -- Enterprise Modelling and Model Integration -- Tool Support -- App. A, Basic Notions of Category Theory -- App. B, Proofs and Additional Properties -- References -- Index.
330   $aThis book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support.   The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling.
410  0$aMonographs in Theoretical Computer Science. An EATCS Series,$x1431-2654
606   $aComputers
606   $aSoftware engineering
606   $aCategory theory (Mathematics)
606   $aHomological algebra
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aCategory Theory, Homological Algebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11035
615  0$aComputers.
615  0$aSoftware engineering.
615  0$aCategory theory (Mathematics).
615  0$aHomological algebra.
615 14$aTheory of Computation.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aCategory Theory, Homological Algebra.
676   $a511.5
700   $aEhrig$b Hartmut$4aut$4http://id.loc.gov/vocabulary/relators/aut$056511
702   $aErmel$b Claudia$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aGolas$b Ulrike$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aHermann$b Frank$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910298961203321
996   $aGraph and Model Transformation$92535222
997   $aUNINA