Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073642557> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2073642557 abstract "Amalgamation is a well-known concept for graph transformations that is used to model synchronised parallelism of rules with shared subrules and corresponding transformations. This concept is especially important for an adequate formalisation of the operational semantics of statecharts and other visual modelling languages, where typed attributed graphs are used for multiple rules with nested application conditions. However, the theory of amalgamation for the double-pushout approach has so far only been developed on a set-theoretical basis for pairs of standard graph rules without any application conditions. For this reason, in the current paper we present the theory of amalgamation for $mathcal{M}$ -adhesive categories, which form a slightly more general framework than (weak) adhesive HLR categories, for a bundle of rules with (nested) application conditions. The two main results are the Complement Rule Theorem, which shows how to construct a minimal complement rule for each subrule, and the Multi-Amalgamation Theorem, which generalises the well-known Parallelism and Amalgamation Theorems to the case of multiple synchronised parallelism. In order to apply the largest amalgamated rule, we use maximal matchings, which are computed according to the actual instance graph. The constructions are illustrated by a small but meaningful running example, while a more complex case study concerning the firing semantics of Petri nets is presented as an introductory example and to provide motivation." @default.
- W2073642557 created "2016-06-24" @default.
- W2073642557 creator A5002594574 @default.
- W2073642557 creator A5066151118 @default.
- W2073642557 creator A5071095197 @default.
- W2073642557 date "2014-06-26" @default.
- W2073642557 modified "2023-10-16" @default.
- W2073642557 title "Multi-amalgamation of rules with application conditions in -adhesive categories" @default.
- W2073642557 cites W1491239326 @default.
- W2073642557 cites W1496137789 @default.
- W2073642557 cites W1498244333 @default.
- W2073642557 cites W1508113248 @default.
- W2073642557 cites W1515231954 @default.
- W2073642557 cites W1516399092 @default.
- W2073642557 cites W1532351269 @default.
- W2073642557 cites W1562948410 @default.
- W2073642557 cites W1577773109 @default.
- W2073642557 cites W1579353247 @default.
- W2073642557 cites W1635078070 @default.
- W2073642557 cites W1847099921 @default.
- W2073642557 cites W1972087475 @default.
- W2073642557 cites W1972476072 @default.
- W2073642557 cites W1987247288 @default.
- W2073642557 cites W2024875518 @default.
- W2073642557 cites W2028221643 @default.
- W2073642557 cites W2054776476 @default.
- W2073642557 cites W2055102312 @default.
- W2073642557 cites W2079370090 @default.
- W2073642557 cites W2127455123 @default.
- W2073642557 cites W2484439396 @default.
- W2073642557 doi "https://doi.org/10.1017/s0960129512000345" @default.
- W2073642557 hasPublicationYear "2014" @default.
- W2073642557 type Work @default.
- W2073642557 sameAs 2073642557 @default.
- W2073642557 citedByCount "16" @default.
- W2073642557 countsByYear W20736425572014 @default.
- W2073642557 countsByYear W20736425572015 @default.
- W2073642557 countsByYear W20736425572016 @default.
- W2073642557 countsByYear W20736425572017 @default.
- W2073642557 countsByYear W20736425572018 @default.
- W2073642557 countsByYear W20736425572019 @default.
- W2073642557 countsByYear W20736425572020 @default.
- W2073642557 countsByYear W20736425572021 @default.
- W2073642557 countsByYear W20736425572023 @default.
- W2073642557 crossrefType "journal-article" @default.
- W2073642557 hasAuthorship W2073642557A5002594574 @default.
- W2073642557 hasAuthorship W2073642557A5066151118 @default.
- W2073642557 hasAuthorship W2073642557A5071095197 @default.
- W2073642557 hasConcept C104317684 @default.
- W2073642557 hasConcept C112313634 @default.
- W2073642557 hasConcept C127716648 @default.
- W2073642557 hasConcept C132525143 @default.
- W2073642557 hasConcept C173608175 @default.
- W2073642557 hasConcept C177264268 @default.
- W2073642557 hasConcept C184337299 @default.
- W2073642557 hasConcept C185592680 @default.
- W2073642557 hasConcept C188082640 @default.
- W2073642557 hasConcept C199360897 @default.
- W2073642557 hasConcept C2781172179 @default.
- W2073642557 hasConcept C33923547 @default.
- W2073642557 hasConcept C41008148 @default.
- W2073642557 hasConcept C55493867 @default.
- W2073642557 hasConcept C558772884 @default.
- W2073642557 hasConcept C80444323 @default.
- W2073642557 hasConceptScore W2073642557C104317684 @default.
- W2073642557 hasConceptScore W2073642557C112313634 @default.
- W2073642557 hasConceptScore W2073642557C127716648 @default.
- W2073642557 hasConceptScore W2073642557C132525143 @default.
- W2073642557 hasConceptScore W2073642557C173608175 @default.
- W2073642557 hasConceptScore W2073642557C177264268 @default.
- W2073642557 hasConceptScore W2073642557C184337299 @default.
- W2073642557 hasConceptScore W2073642557C185592680 @default.
- W2073642557 hasConceptScore W2073642557C188082640 @default.
- W2073642557 hasConceptScore W2073642557C199360897 @default.
- W2073642557 hasConceptScore W2073642557C2781172179 @default.
- W2073642557 hasConceptScore W2073642557C33923547 @default.
- W2073642557 hasConceptScore W2073642557C41008148 @default.
- W2073642557 hasConceptScore W2073642557C55493867 @default.
- W2073642557 hasConceptScore W2073642557C558772884 @default.
- W2073642557 hasConceptScore W2073642557C80444323 @default.
- W2073642557 hasIssue "4" @default.
- W2073642557 hasLocation W20736425571 @default.
- W2073642557 hasOpenAccess W2073642557 @default.
- W2073642557 hasPrimaryLocation W20736425571 @default.
- W2073642557 hasRelatedWork W1525880406 @default.
- W2073642557 hasRelatedWork W1534251038 @default.
- W2073642557 hasRelatedWork W1599733302 @default.
- W2073642557 hasRelatedWork W1788565084 @default.
- W2073642557 hasRelatedWork W1973482879 @default.
- W2073642557 hasRelatedWork W2011378264 @default.
- W2073642557 hasRelatedWork W2068266569 @default.
- W2073642557 hasRelatedWork W2295302253 @default.
- W2073642557 hasRelatedWork W3005022890 @default.
- W2073642557 hasRelatedWork W4375869919 @default.
- W2073642557 hasVolume "24" @default.
- W2073642557 isParatext "false" @default.
- W2073642557 isRetracted "false" @default.
- W2073642557 magId "2073642557" @default.
- W2073642557 workType "article" @default.