Formal agent-oriented modeling with UML and graph transformation

Ralph Depke, Reiko Heckel, Jochen Malte K├╝ster. Formal agent-oriented modeling with UML and graph transformation. Science of Computer Programming, 44(2):229-252, 2002. [doi]

Abstract

Abstract is missing.