Formal agent-oriented modeling with UML and graph transformation

DOI10.1016/S0167-6423(02)00040-0zbMATH Open1002.68736MaRDI QIDQ701042FDOQ701042

Authors: Ralph Depke, R. Heckel, Jochen M. Küster 

Publication date: 16 October 2002

Published in: Science of Computer Programming (Search for Journal in Brave)

Recommendations

• Objects, Agents, and Features
• scientific article; zbMATH DE number 1983053
• scientific article; zbMATH DE number 2080575
• scientific article; zbMATH DE number 1950657
• Graph rewriting for agent oriented visual modeling

zbMATH Keywords

UMLFormal semanticsAgent-oriented modelingGraph transformation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99) Computer science aspects of computer-aided design (68U07)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Objects, Agents, and Features
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Autonomous units and their semantics -- the concurrent case
• Title not available (Why is that?)

This page was built for publication: Formal agent-oriented modeling with UML and graph transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701042)