The gamma model and its discipline of programming
Science of Computer Programming
Programming by multiset transformation
Communications of the ACM
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Shared memory implementation of the Gamma-operation
Journal of Symbolic Computation - Special issue on parallel symbolic computation
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Workflow and End-User Quality of Service Issues in Web-Based Education
IEEE Transactions on Knowledge and Data Engineering
Control Theory-Based Foundations of Self-Controlling Software
IEEE Intelligent Systems
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Implementation of Gamma on the Connection Machine
Research Directions in High-Level Parallel Programming Languages
Type Checking for a Multiset Rewriting Language
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
A Software Environment for Concurrent Coordinated Programming
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Formal Connectors
Designing Distributed Learning Environments With Intelligent Software Agents
Designing Distributed Learning Environments With Intelligent Software Agents
Hi-index | 0.00 |
This paper presents an application of Chemical Reaction Metaphor (CRM) in distributed multi-agent systems (MAS). The suitability of using CRM to model multi-agent systems is justified by CRM's capacity in specifying dynamic features of multi-agent systems. A case study in an agent-based e-learning system (course material updating) demonstrates how the CRM based language, Gamma, can be used to specify the architectures of multi-agent systems. The effectiveness of specifying multi-agent systems in CRM from the view point of software engineering is further justified by introducing a transformational method for implementing the specified multi-agent systems. A computation model with a tree-structured architecture is proposed to base the design of the specified multi-agent system during the implementation phase. A module language based on the computation model is introduced as an intermediate language to facilitate the translation of the specification of multi-agent systems. The multicast networking technology pragmatizes the implementation of communications and synchronization among distributed agents. The paper also discusses the feasibility of implementing an automatic translation from the Gamma specification to a program in the module language.