Mets552
发表于 2025-3-26 21:13:01
Saturated LTSs for Adhesive Rewriting Systemsition from . to . is a context .[ − ] such that .[.] may perform a reaction and reach .. If either all contexts, or just the ”minimal” ones, are considered, the resulting LTS is called saturated (GIPO, respectively). The borrowed contexts (BCs) technique addresses the issue in the setting of the DPO
战役
发表于 2025-3-27 02:44:00
A Hoare Calculus for Graph Programspre- and postconditions of this calculus are the nested conditions of Habel, Pennemann and Rensink, extended with expressions for labels in order to deal with GP’s conditional rule schemata and infinite label alphabet. We show that the proof rules are sound with respect to GP’s operational semantics
harangue
发表于 2025-3-27 05:53:21
http://reply.papertrans.cn/39/3880/387975/387975_33.png
MUTE
发表于 2025-3-27 11:00:20
Conflict Detection for Model Versioning Based on Graph Modificationshnique which has to be offered by an integrated development environment for model-driven engineering. In contrast to text-based versioning systems we present an approach which takes abstract syntax structures in model states and operational features into account. Considering the abstract syntax of m
朝圣者
发表于 2025-3-27 17:28:52
http://reply.papertrans.cn/39/3880/387975/387975_35.png
Chronological
发表于 2025-3-27 21:04:03
Graph Rewriting in Span-Categoriesow that all three approaches can be considered special cases of a general rewriting framework in suitable categories of spans over a graph-like base category. From this new view point, it is possible to provide a general and unifying theory for all approaches. We demonstrate this fact by the investi
遗传学
发表于 2025-3-27 22:22:18
http://reply.papertrans.cn/39/3880/387975/387975_37.png
craven
发表于 2025-3-28 03:30:45
Hereditary Pushouts Reconsideredears ago in the category of graphs. Adhesive categories provide a single property of pushouts that suffices to derive lemmas that are essential for central theorems of double pushout rewriting such as the local Church-Rosser Theorem..The present paper shows that the same lemmas already hold for push
钝剑
发表于 2025-3-28 07:43:43
Graph Transformation for Domain-Specific Discrete Event Time Simulationtuitive. However, many application domains require an explicit handling of time in order to represent accurately the behaviour of the real system and to obtain useful simulation metrics..Inspired by the vast knowledge and experience accumulated by the discrete event simulation community, we propose
WATER
发表于 2025-3-28 11:50:10
Counterpart Semantics for a Second-Order ,-Calculusa counterpart relation (a family of partial homomorphisms), allowing for the creation, deletion, and merging of components; and formulas are interpreted over sets of state assignments (families of substitutions, associating formula variables to state components). Our proposal avoids the limitations