Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented modeling and design
Object-oriented modeling and design
An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Fundamenta Informaticae - Special issue on graph transformations
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Graph transformation for specification and programming
Science of Computer Programming
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Integrating visual modeling of agent-based and object-oriented systems
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Improving the agent-oriented modeling process by roles
Proceedings of the fifth international conference on Autonomous agents
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Refinements of Graph Transformation Systems via Rule Expressions
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Analysis and Design of Multiagent Systems Using MAS-Common KADS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Synthesizing State-Based Object Systems from LSC Specifications
Synthesizing State-Based Object Systems from LSC Specifications
Improving the agent-oriented modeling process by roles
Proceedings of the fifth international conference on Autonomous agents
Communications of the ACM - ACM at sixty: a look back in time
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
Applications of Graph Transformations with Industrial Relevance
Verification and Synthesis of OCL Constraints Via Topology Analysis
Applications of Graph Transformations with Industrial Relevance
Applying AUML and UML 2 in the Multi-agent Systems Project
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Graph Rewriting for Agent Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Visual Modelling of Human Agents in Service Oriented Systems
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Stochastic modelling and simulation of dynamic resource allocation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Autonomous units and their semantics - the concurrent case
Graph transformations and model-driven engineering
Hi-index | 0.00 |
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 approach are exploited in order to formalize the relation between global requirements specification by means of sequence diagrams, and implementation-oriented design models where graph transformation rules specify the agents' local operations.