Formalizing the Development of Agent-Based Systems Using Graph Processes

Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementation oriented design models where graph transformation rules specify the agent's operations.

• Type: Conference
• Year: 2000
• Where: ICALP
• Authors: Ralph Depke, Reiko Heckel
• Keywords: Global Requirement Specifications, Graph Processes, Graph Transformation Rules, ICALP 2000, Programming Languages