Formal agent-oriented modeling with UML and graph transformation

DOI10.1016/S0167-6423(02)00040-0zbMath1002.68736MaRDI QIDQ701042

Reiko Heckel, Jochen Malte Küster, Ralph Depke

Publication date: 16 October 2002

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

zbMATH Keywords

UML; Formal semantics; Agent-oriented modeling; Graph transformation

Mathematics Subject Classification ID

68U07: Computer science aspects of computer-aided design

68U99: Computing methodologies and applications

68N01: General topics in the theory of software

Related Items

Autonomous Units and Their Semantics – The Concurrent Case