Sciweavers

Share
SCP
2002

Formal agent-oriented modeling with UML and graph transformation

9 years 10 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not account for these agent-specific aspects. Therefore, dedicated techniques for agent-oriented modeling are required which are based on the concepts and notations of object-oriented modeling and extend these in order to support agent-specific concepts. In this paper, an agent-oriented modeling technique is introduced which is based on UML notation. Graph transformation is used both on the level of modeling in order to capture agent-specific aspects and as the underlying formal semantics of the approach. Concepts of the concurrency theory of graph transformation systems following the double-pushout (DPO) approach are exploited in order to formalize the relation between global requirements specification by means of message sequence charts, and implementation-oriented design models where graph transformation rules ...
Ralph Depke, Reiko Heckel, Jochen Malte Küste
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where SCP
Authors Ralph Depke, Reiko Heckel, Jochen Malte Küster
Comments (0)
books