Please use this identifier to cite or link to this item:
For citation please use:
Main Title: Multi-Amalgamation in M-Adhesive Categories
Subtitle: Long Version
Author(s): Golas, Ulrike
Type: Research Paper
Has Version: 10.1007/978-3-642-15928-2_23
Language Code: en
Abstract: Amalgamation 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.
Issue Date: 2010
Date Available: 15-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): operational semantics
graph transformation
direct transformation
graph transformation system
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2010-05
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
Format: Adobe PDF | Size: 461.26 kB
DownloadShow Preview

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.