Formal agent-oriented modeling with UML and graph transformation

DOI10.1016/S0167-6423(02)00040-0MaRDI QIDQ701042zbMATH OpenFDO

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)

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)

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

Cited in

(7)

• Autonomous units and their semantics -- the concurrent case
• scientific article; zbMATH DE number 2080575 (Why is no real title available?)
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Objects, Agents, and Features
• Graph rewriting for agent oriented visual modeling
• scientific article; zbMATH DE number 1950657 (Why is no real title available?)
• scientific article; zbMATH DE number 2080582 (Why is no real title available?)

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)