Categorical approach to horizontal structuring and refinement of high-level replacement systems

DOI10.1023/A:1008695316594zbMath0941.18001MaRDI QIDQ1971976

Julia Padberg

Publication date: 3 August 2000

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

refinementgraph grammarsgraph transformationsrequirements engineeringhigh-level replacement systemsPetri net transformationshorizontal structuring

Mathematics Subject Classification ID

Circuits, networks (94C99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Graphs, diagram schemes, precategories (18A10)

Related Items (2)

Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components ⋮ GETGRATS

This page was built for publication: Categorical approach to horizontal structuring and refinement of high-level replacement systems