Multi-Amalgamation in M-Adhesive Categories

dc.contributor.authorGolas, Ulrike
dc.date.accessioned2020-06-15T06:31:48Z
dc.date.available2020-06-15T06:31:48Z
dc.date.issued2010
dc.description.abstractAmalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations. This concept is especially important for an adequate formalization of the operational semantics of statecharts and other visual modeling languages, where typed attributed graphs are used for multiple rules with general application conditions. However, the theory of amalgamation for the double pushout approach has been developed up to now only on a set-theoretical basis for pairs of standard graph rules without any application conditions. For this reason, we present the theory of amalgamation in this paper in the framework of M-adhesive categories, short for weak adhesive HLR categories, for a bundle of rules with (nested) application conditions. The main result is the Multi-Amalgamation Theorem, which generalizes the well-known Parallelism and Amalgamation Theorems to the case of multiple synchronized parallelism. The constructions are illustrated by a small running example. A more complex case study for the operational semantics of statecharts based on multi-amalgamation is presented in a separate paper.en
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11354
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10241
dc.language.isoen
dc.relation.hasversion10.1007/978-3-642-15928-2_23
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.otheroperational semanticsen
dc.subject.othergraph transformationen
dc.subject.otherdirect transformationen
dc.subject.othergraph transformation systemen
dc.subject.otheramalgamationen
dc.titleMulti-Amalgamation in M-Adhesive Categoriesen
dc.title.subtitleLong Versionen
dc.typeResearch Paper
dc.type.versionsubmittedVersionen
tub.accessrights.dnbfree
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.publisher.universityorinstitutionTechnische Universität Berlin
tub.series.issuenumber2010-05
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin

Files

Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
tr_2010-05.pdf
Size:
461.26 KB
Format:
Adobe Portable Document Format

Collections