HOME > 상세정보

상세정보

Graph and model transformation [electronic resource] : general framework and applications

Graph and model transformation [electronic resource] : general framework and applications

자료유형
E-Book(소장)
개인저자
Ehrig, Hartmut.
서명 / 저자사항
Graph and model transformation [electronic resource] : general framework and applications / Hartmut Ehrig ... [et al.].
발행사항
Berlin;   Heidelberg :   Springer Berlin Heidelberg :   Imprint: Springer,   2015.  
형태사항
1 online resource (xi, 472 p.) : ill. (some col.).
총서사항
Monographs in theoretical computer science. an EATCS series,1431-2654
ISBN
9783662479803
요약
This 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.
일반주기
Title from e-Book title page.  
내용주기
General 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.
서지주기
Includes bibliographical references and index.
이용가능한 다른형태자료
Issued also as a book.  
일반주제명
Graph theory. Transformations (Mathematics). Computers.
바로가기
URL
000 00000nam u2200205 a 4500
001 000046039621
005 20200811091517
006 m d
007 cr
008 200728s2015 gw a ob 001 0 eng d
020 ▼a 9783662479803
040 ▼a 211009 ▼c 211009 ▼d 211009
050 4 ▼a QA75.5-76.95
082 0 4 ▼a 004.0151 ▼2 23
084 ▼a 004.0151 ▼2 DDCK
090 ▼a 004.0151
245 0 0 ▼a Graph and model transformation ▼h [electronic resource] : ▼b general framework and applications / ▼c Hartmut Ehrig ... [et al.].
260 ▼a Berlin; ▼a Heidelberg : ▼b Springer Berlin Heidelberg : ▼b Imprint: Springer, ▼c 2015.
300 ▼a 1 online resource (xi, 472 p.) : ▼b ill. (some col.).
490 1 ▼a Monographs in theoretical computer science. an EATCS series, ▼x 1431-2654
500 ▼a Title from e-Book title page.
504 ▼a Includes bibliographical references and index.
505 0 ▼a General 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.
520 ▼a This 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.
530 ▼a Issued also as a book.
538 ▼a Mode of access: World Wide Web.
650 0 ▼a Graph theory.
650 0 ▼a Transformations (Mathematics).
650 0 ▼a Computers.
700 1 ▼a Ehrig, Hartmut.
830 0 ▼a Monographs in theoretical computer science. ▼p EATCS series.
856 4 0 ▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-662-47980-3
945 ▼a KLPA
991 ▼a E-Book(소장)

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/e-Book 컬렉션/ 청구기호 CR 004.0151 등록번호 E14029450 도서상태 대출불가(열람가능) 반납예정일 예약 서비스 M

관련분야 신착자료

김효곤 (2022)