Formal agent-oriented modeling with UML and graph transformation-Reference-Cited by-同舟云学术

Formal agent-oriented modeling with UML and graph transformation

Published:2002-08 Issue:2 Volume:44 Page:229-252
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Depke Ralph,Heckel Reiko,Küster Jochen Malte

Publisher

Elsevier BV

Subject

Software

Reference35 articles.

1. Graph transformation for specification and programming;Andries;Sci. Comput. Programming,1999

2. I. Claßen, M. Löwe, Scheme evolution in object oriented models: a graph transformation approach, Proc. Workshop on Formal Methods at the ISCE’95, Seattle, USA, 1995.

3. Object Oriented Development, The Fusion Method;Coleman,1994

4. Graph processes;Corradini;Fund. Inform.,1996

5. W. Damm, D. Harel, Breathing life into message sequence charts, in: P. Ciancarini, A. Fantechi, R. Gorrieri (Eds.), Proc. Formal Methods for Open Object Based Distributed Systems (FMOODS’99) (Florence, Italy), Kluwer Academic Publishers, Dordrecht, 1999.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Communities of Autonomous Units: An Approach to Interactive Computation, Its Power and Limitations;Autonomous Cooperation and Control in Logistics;2011

2. Autonomous Units and Their Semantics – The Concurrent Case;Lecture Notes in Computer Science;2010

3. Multipath Transformational Development of User Interfaces with Graph Transformations;Human-Centered Software Engineering;2009

4. Applying AUML and UML 2 in the Multi-agent Systems Project;Lecture Notes in Computer Science;2009

5. Verification and Synthesis of OCL Constraints Via Topology Analysis;Applications of Graph Transformations with Industrial Relevance;2008