A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques

DOI10.1016/S1571-0661(04)00173-2zbMath1262.68138MaRDI QIDQ4921549

Hartmut Ehrig, Fernando Orejas

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Uses Software

• Z

Cites Work

• Petri nets are monoids
• Petri nets with individual tokens
• Statecharts: a visual formalism for complex systems
• The B-Book
• Handbook of Graph Grammars and Computing by Graph Transformation
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Algebraic high-level net transformation systems
• D-oids: a model for dynamic data-types
• Formal concepts for an integrated internal model of the UML
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item