|
|
|
|
LEADER |
09081cam a22011892 4500 |
001 |
0-1650227167 |
003 |
DE-627 |
005 |
20240122105245.0 |
007 |
cr uuu---uuuuu |
008 |
101005s2010 gw |||||o 00| ||eng c |
020 |
|
|
|a 9783642159282
|9 978-3-642-15928-2
|
024 |
7 |
|
|a 10.1007/978-3-642-15928-2
|2 doi
|
035 |
|
|
|a (DE-627)1650227167
|
035 |
|
|
|a (DE-576)330930095
|
035 |
|
|
|a (DE-599)BSZ330930095
|
035 |
|
|
|a (OCoLC)682059565
|
035 |
|
|
|a (ZBM)1196.68007
|
035 |
|
|
|a (DE-He213)978-3-642-15928-2
|
035 |
|
|
|a (EBP)040528669
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|
044 |
|
|
|c XA-DE
|
050 |
|
0 |
|a QA76.9.M35
|
072 |
|
7 |
|a MAT008000
|2 bisacsh
|
072 |
|
7 |
|a PBD
|2 bicssc
|
072 |
|
7 |
|a UYAM
|2 bicssc
|
072 |
|
7 |
|a COM018000
|2 bisacsh
|
084 |
|
|
|a SS 4800
|2 rvk
|0 (DE-625)rvk/143528:
|
084 |
|
|
|a *68-06
|2 msc
|
084 |
|
|
|a 68Q42
|2 msc
|
084 |
|
|
|a 00B25
|2 msc
|
084 |
|
|
|a 54.10
|2 bkl
|
100 |
1 |
|
|a Ehrig, Hartmut
|0 (DE-627)1230837140
|0 (DE-576)160837146
|4 aut
|
245 |
1 |
0 |
|a Graph Transformations
|b 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
|c edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
|
264 |
|
1 |
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2010
|
300 |
|
|
|a Online-Ressource (XII, 419p, digital)
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture Notes in Computer Science
|v 6372
|
490 |
0 |
|
|a SpringerLink
|a Bücher
|
520 |
|
|
|a Invited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? -- Session 1. Graphs and Logic -- Graph Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A Dynamic Logic for Termgraph Rewriting -- Session 2. Behavioural Analysis -- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with Context-Free Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -- Conflict Detection for Model Versioning Based on Graph Modifications -- A Component Concept for Typed Graphs with Inheritance and Containment Structures -- Combining Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span-Categories -- Finitary -Adhesive Categories -- Hereditary Pushouts Reconsidered -- Session 5. Applications -- Graph Transformation for Domain-Specific Discrete Event Time Simulation -- Counterpart Semantics for a Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model for Distribution and Revocation of Certificates -- Session 6. Rule Composition -- Local Confluence for Rules with Nested Application Conditions -- Multi-Amalgamation in Adhesive Categories -- Amalgamating Pushout and Pullback Graph Transformation in Collagories -- Doctoral Symposium -- ICGT 2010 Doctoral Symposium -- EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment -- Recognizable Graph Languages for the Verification of Dynamic Systems -- Stochastic Modelling and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems -- LTS Semantics for Process Calculi from Their Graphical Encodings -- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation Programs -- Using Graph Transformations and Graph Abstractions for Software Verification.
|
520 |
|
|
|a Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST.
|
650 |
|
0 |
|a Data structures (Computer science)
|
650 |
|
0 |
|a Computer software
|
650 |
|
0 |
|a Logic design
|
650 |
|
0 |
|a Computational complexity
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Software engineering
|
650 |
|
0 |
|a Computer Science
|
650 |
|
0 |
|a Artificial intelligence
|
650 |
|
0 |
|a Discrete mathematics.
|
650 |
|
0 |
|a Algorithms.
|
650 |
|
0 |
|a Machine theory.
|
655 |
|
7 |
|a Konferenzschrift
|y 2010
|z Enschede
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4274073-3
|0 (DE-627)10447114X
|0 (DE-576)210703784
|a Graphersetzungssystem
|2 gnd
|
689 |
0 |
1 |
|D s
|0 (DE-588)4132847-4
|0 (DE-627)105684562
|0 (DE-576)209639008
|a Graph-Grammatik
|2 gnd
|
689 |
0 |
2 |
|D s
|0 (DE-588)7616754-9
|0 (DE-627)571109462
|0 (DE-576)283400250
|a Modelltransformation
|2 gnd
|
689 |
0 |
3 |
|D s
|0 (DE-588)4116521-4
|0 (DE-627)104616377
|0 (DE-576)20950224X
|a Software Engineering
|2 gnd
|
689 |
0 |
|
|5 DE-101
|
700 |
1 |
|
|a Rensink, Arend
|4 oth
|
700 |
1 |
|
|a Rozenberg, Grzegorz
|d 1942-
|0 (DE-588)1079124624
|0 (DE-627)840331258
|0 (DE-576)452214351
|4 oth
|
700 |
1 |
|
|a Schürr, Andy
|4 oth
|
776 |
1 |
|
|z 9783642159275
|
776 |
0 |
8 |
|i Buchausg. u.d.T.
|t Graph transformations
|d Berlin : Springer, 2010
|h XII, 418 S.
|w (DE-627)633435473
|w (DE-576)332183769
|z 3642159273
|z 9783642159275
|
830 |
|
0 |
|a Lecture notes in computer science
|v 6372
|9 6372
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-15928-2
|m X:SPRINGER
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
2 |
|u https://swbplus.bsz-bw.de/bsz330930095cov.jpg
|m V:DE-576
|m X:springer
|q image/jpeg
|v 20151016110012
|3 Cover
|
856 |
4 |
2 |
|u https://zbmath.org/?q=an:1196.68007
|m B:ZBM
|v 2021-04-12
|x Verlag
|y Zentralblatt MATH
|3 Inhaltstext
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-LNC
|b 2010
|
912 |
|
|
|a ZDB-2-SEB
|
912 |
|
|
|a ZDB-2-SCS
|b 2010
|
912 |
|
|
|a ZDB-2-SXCS
|b 2010
|
912 |
|
|
|a ZDB-2-SEB
|b 2010
|
936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
936 |
b |
k |
|a 54.10
|j Theoretische Informatik
|q SEPA
|0 (DE-627)106418815
|
951 |
|
|
|a BO
|
900 |
|
|
|a Ehrig, H.
|
900 |
|
|
|a Rozenberg, G.
|
950 |
|
|
|a Graph rewriting system
|
950 |
|
|
|a Graph transformation system
|
950 |
|
|
|a Graphtransformationssystem
|
950 |
|
|
|a Reduktionssystem
|
950 |
|
|
|a Software-Engineering
|
950 |
|
|
|a Softwaretechnologie
|
950 |
|
|
|a Softwaretechnik
|
950 |
|
|
|a Softwareentwicklung
|
950 |
|
|
|a Grammatik
|
950 |
|
|
|a Model transformation
|
950 |
|
|
|a Modellgetriebene Entwicklung
|
950 |
|
|
|a MDA
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-15928-2
|9 DE-14
|
852 |
|
|
|a DE-14
|z 2011-07-20T14:57:56Z
|x epn:333620044X
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-15928-2
|9 DE-15
|
852 |
|
|
|a DE-15
|z 2011-05-16T16:32:19Z
|x epn:3336200504
|
976 |
|
|
|h Elektronischer Volltext - Campuslizenz
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-15928-2
|z Zum Online-Dokument
|9 DE-Zi4
|
852 |
|
|
|a DE-Zi4
|z 2011-01-26T14:21:27Z
|x epn:3336200601
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-15928-2
|9 DE-520
|
852 |
|
|
|a DE-520
|z 2010-10-05T14:43:19Z
|x epn:3336200644
|
980 |
|
|
|a 1650227167
|b 0
|k 1650227167
|o 330930095
|
SOLR
_version_ |
1789363027966951424 |
access_facet |
Electronic Resources |
author |
Ehrig, Hartmut |
author2 |
Rensink, Arend, Rozenberg, Grzegorz, Schürr, Andy |
author2_role |
oth, oth, oth |
author2_variant |
a r ar, g r gr, a s as |
author_facet |
Ehrig, Hartmut, Rensink, Arend, Rozenberg, Grzegorz, Schürr, Andy |
author_role |
aut |
author_sort |
Ehrig, Hartmut |
author_variant |
h e he |
callnumber-first |
Q - Science |
callnumber-label |
QA76 |
callnumber-raw |
QA76.9.M35 |
callnumber-search |
QA76.9.M35 |
callnumber-sort |
QA 276.9 M35 |
callnumber-subject |
QA - Mathematics |
collection |
ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS |
contents |
Invited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? -- Session 1. Graphs and Logic -- Graph Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A Dynamic Logic for Termgraph Rewriting -- Session 2. Behavioural Analysis -- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with Context-Free Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -- Conflict Detection for Model Versioning Based on Graph Modifications -- A Component Concept for Typed Graphs with Inheritance and Containment Structures -- Combining Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span-Categories -- Finitary -Adhesive Categories -- Hereditary Pushouts Reconsidered -- Session 5. Applications -- Graph Transformation for Domain-Specific Discrete Event Time Simulation -- Counterpart Semantics for a Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model for Distribution and Revocation of Certificates -- Session 6. Rule Composition -- Local Confluence for Rules with Nested Application Conditions -- Multi-Amalgamation in Adhesive Categories -- Amalgamating Pushout and Pullback Graph Transformation in Collagories -- Doctoral Symposium -- ICGT 2010 Doctoral Symposium -- EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment -- Recognizable Graph Languages for the Verification of Dynamic Systems -- Stochastic Modelling and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems -- LTS Semantics for Process Calculi from Their Graphical Encodings -- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation Programs -- Using Graph Transformations and Graph Abstractions for Software Verification., Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST. |
ctrlnum |
(DE-627)1650227167, (DE-576)330930095, (DE-599)BSZ330930095, (OCoLC)682059565, (ZBM)1196.68007, (DE-He213)978-3-642-15928-2, (EBP)040528669 |
de15_date |
2011-05-16T16:32:19Z |
doi_str_mv |
10.1007/978-3-642-15928-2 |
era_facet |
2010 |
facet_912a |
ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS |
facet_avail |
Online |
facet_local_del330 |
Graphersetzungssystem, Graph-Grammatik, Modelltransformation, Software Engineering |
finc_class_facet |
Informatik, Mathematik |
finc_id_str |
0001402086 |
fincclass_txtF_mv |
science-computerscience |
format |
eBook, ConferenceProceedings |
format_access_txtF_mv |
Book, E-Book |
format_de105 |
Ebook |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-online-monograph-independent-conference |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book |
format_legacy |
ElectronicBook |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
E-Book |
genre |
Konferenzschrift 2010 Enschede (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
genre_facet |
Konferenzschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
geographic_facet |
Enschede |
hierarchy_parent_id |
0-316228877 |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_sequence |
6372 |
hierarchy_top_id |
0-316228877 |
hierarchy_top_title |
Lecture notes in computer science |
id |
0-1650227167 |
illustrated |
Not Illustrated |
imprint |
Berlin, Heidelberg, Springer Berlin Heidelberg, 2010 |
imprint_str_mv |
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 |
institution |
DE-14, DE-Zi4, DE-520, DE-15 |
is_hierarchy_id |
0-1650227167 |
is_hierarchy_title |
Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings |
isbn |
9783642159282 |
isbn_isn_mv |
9783642159275, 3642159273 |
issn_isn_mv |
1611-3349 |
kxp_id_str |
1650227167 |
language |
English |
last_indexed |
2024-01-28T19:19:21.27Z |
local_heading_facet_dezwi2 |
Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Artificial intelligence, Discrete mathematics., Algorithms., Machine theory., Graphersetzungssystem, Graph-Grammatik, Modelltransformation, Software Engineering |
marc024a_ct_mv |
10.1007/978-3-642-15928-2 |
match_str |
ehrig2010graphtransformations5thinternationalconferenceicgt2010enschedethenetherlandsseptember27october22010proceedings |
mega_collection |
Verbunddaten SWB |
multipart_link |
093890923 |
multipart_part |
(093890923)6372 |
names_id_str_mv |
(DE-627)1230837140, (DE-576)160837146, (DE-588)1079124624, (DE-627)840331258, (DE-576)452214351 |
oclc_num |
682059565 |
physical |
Online-Ressource (XII, 419p, digital) |
publishDate |
2010 |
publishDateSort |
2010 |
publishPlace |
Berlin, Heidelberg |
publisher |
Springer Berlin Heidelberg |
record_format |
marcfinc |
record_id |
330930095 |
recordtype |
marcfinc |
rsn_id_str_mv |
(DE-15)2462066 |
rvk_facet |
SS 4800 |
rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science |
rvk_path |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
rvk_path_str_mv |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
series |
Lecture notes in computer science, 6372 |
series2 |
Lecture Notes in Computer Science ; 6372, SpringerLink ; Bücher |
source_id |
0 |
spelling |
Ehrig, Hartmut (DE-627)1230837140 (DE-576)160837146 aut, Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, Berlin, Heidelberg Springer Berlin Heidelberg 2010, Online-Ressource (XII, 419p, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 6372, SpringerLink Bücher, Invited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? -- Session 1. Graphs and Logic -- Graph Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A Dynamic Logic for Termgraph Rewriting -- Session 2. Behavioural Analysis -- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with Context-Free Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -- Conflict Detection for Model Versioning Based on Graph Modifications -- A Component Concept for Typed Graphs with Inheritance and Containment Structures -- Combining Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span-Categories -- Finitary -Adhesive Categories -- Hereditary Pushouts Reconsidered -- Session 5. Applications -- Graph Transformation for Domain-Specific Discrete Event Time Simulation -- Counterpart Semantics for a Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model for Distribution and Revocation of Certificates -- Session 6. Rule Composition -- Local Confluence for Rules with Nested Application Conditions -- Multi-Amalgamation in Adhesive Categories -- Amalgamating Pushout and Pullback Graph Transformation in Collagories -- Doctoral Symposium -- ICGT 2010 Doctoral Symposium -- EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment -- Recognizable Graph Languages for the Verification of Dynamic Systems -- Stochastic Modelling and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems -- LTS Semantics for Process Calculi from Their Graphical Encodings -- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation Programs -- Using Graph Transformations and Graph Abstractions for Software Verification., Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST., Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Artificial intelligence, Discrete mathematics., Algorithms., Machine theory., Konferenzschrift 2010 Enschede (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4274073-3 (DE-627)10447114X (DE-576)210703784 Graphersetzungssystem gnd, s (DE-588)4132847-4 (DE-627)105684562 (DE-576)209639008 Graph-Grammatik gnd, s (DE-588)7616754-9 (DE-627)571109462 (DE-576)283400250 Modelltransformation gnd, s (DE-588)4116521-4 (DE-627)104616377 (DE-576)20950224X Software Engineering gnd, DE-101, Rensink, Arend oth, Rozenberg, Grzegorz 1942- (DE-588)1079124624 (DE-627)840331258 (DE-576)452214351 oth, Schürr, Andy oth, 9783642159275, Buchausg. u.d.T. Graph transformations Berlin : Springer, 2010 XII, 418 S. (DE-627)633435473 (DE-576)332183769 3642159273 9783642159275, Lecture notes in computer science 6372 6372 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-15928-2 X:SPRINGER Verlag lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz330930095cov.jpg V:DE-576 X:springer image/jpeg 20151016110012 Cover, https://zbmath.org/?q=an:1196.68007 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://dx.doi.org/10.1007/978-3-642-15928-2 DE-14, DE-14 2011-07-20T14:57:56Z epn:333620044X, http://dx.doi.org/10.1007/978-3-642-15928-2 DE-15, DE-15 2011-05-16T16:32:19Z epn:3336200504, http://dx.doi.org/10.1007/978-3-642-15928-2 Zum Online-Dokument DE-Zi4, DE-Zi4 2011-01-26T14:21:27Z epn:3336200601, http://dx.doi.org/10.1007/978-3-642-15928-2 DE-520, DE-520 2010-10-05T14:43:19Z epn:3336200644 |
spellingShingle |
Ehrig, Hartmut, Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings, Lecture notes in computer science, 6372, Invited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? -- Session 1. Graphs and Logic -- Graph Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A Dynamic Logic for Termgraph Rewriting -- Session 2. Behavioural Analysis -- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with Context-Free Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -- Conflict Detection for Model Versioning Based on Graph Modifications -- A Component Concept for Typed Graphs with Inheritance and Containment Structures -- Combining Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span-Categories -- Finitary -Adhesive Categories -- Hereditary Pushouts Reconsidered -- Session 5. Applications -- Graph Transformation for Domain-Specific Discrete Event Time Simulation -- Counterpart Semantics for a Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model for Distribution and Revocation of Certificates -- Session 6. Rule Composition -- Local Confluence for Rules with Nested Application Conditions -- Multi-Amalgamation in Adhesive Categories -- Amalgamating Pushout and Pullback Graph Transformation in Collagories -- Doctoral Symposium -- ICGT 2010 Doctoral Symposium -- EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment -- Recognizable Graph Languages for the Verification of Dynamic Systems -- Stochastic Modelling and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems -- LTS Semantics for Process Calculi from Their Graphical Encodings -- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation Programs -- Using Graph Transformations and Graph Abstractions for Software Verification., Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST., Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Artificial intelligence, Discrete mathematics., Algorithms., Machine theory., Konferenzschrift 2010 Enschede, Graphersetzungssystem, Graph-Grammatik, Modelltransformation, Software Engineering |
swb_id_str |
330930095 |
title |
Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings |
title_auth |
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings |
title_full |
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr |
title_fullStr |
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr |
title_full_unstemmed |
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr |
title_in_hierarchy |
6372. Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings (2010) |
title_short |
Graph Transformations |
title_sort |
graph transformations 5th international conference icgt 2010 enschede the netherlands september 27 october 2 2010 proceedings |
title_sub |
5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings |
title_unstemmed |
Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings |
topic |
Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Artificial intelligence, Discrete mathematics., Algorithms., Machine theory., Konferenzschrift 2010 Enschede, Graphersetzungssystem, Graph-Grammatik, Modelltransformation, Software Engineering |
topic_facet |
Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Artificial intelligence, Discrete mathematics., Algorithms., Machine theory., Konferenzschrift, Graphersetzungssystem, Graph-Grammatik, Modelltransformation, Software Engineering |
url |
https://doi.org/10.1007/978-3-642-15928-2, https://swbplus.bsz-bw.de/bsz330930095cov.jpg, https://zbmath.org/?q=an:1196.68007, http://dx.doi.org/10.1007/978-3-642-15928-2 |