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

DOI10.1007/S10485-007-9105-4zbMath1147.68055OpenAlexW1999412646MaRDI QIDQ934668

Julia Padberg

Publication date: 30 July 2008

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

Full work available at URL: https://doi.org/10.1007/s10485-007-9105-4

zbMATH Keywords

Category theoryTransformationRule-based refinementSoftware component

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) General theory of categories and functors (18A99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical approach to horizontal structuring and refinement of high-level replacement systems
• Petri net modules in the transformation-based component framework
• Fundamentals of algebraic graph transformation
• Parallelism and concurrency in high-level replacement systems
• Abstract and behaviour module specifications
• Algebraic high-level net transformation systems
• An Abstract Module Concept for Graph Transformation Systems
• Graph Transformations
• Foundations of Software Science and Computation Structures
• Formal Methods in Software and Systems Modeling
• Rule-based refinement of high-level nets preserving safety properties

This page was built for publication: Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components