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]