Specifying distributed multi-agent systems in chemical reaction metaphor

Applied Intelligence

Volumn 24, Issue 2, 2006, Pages 155-168

  Lin, Hong ^a   Yang, Chunsheng ^b  

^a UNIVERSITY OF HOUSTON DOWNTOWN   (United States)

^b NATIONAL RESEARCH COUNCIL CANADA   (Canada)

Author keywords

Distributed systems; Multi agent systems; Program specification; Software architecture; Very high level languages

Indexed keywords

CHEMICAL REACTIONS; COMPUTER SIMULATION; DISTANCE EDUCATION; MATHEMATICAL TRANSFORMATIONS; SOFTWARE ENGINEERING; TREES (MATHEMATICS);

MULTICAST NETWORKING; PROGRAM SPECIFICATION; SOFTWARE ARCHITECTURE; VERY HIGH-LEVEL LANGUAGES;

MULTI AGENT SYSTEMS;

EID: 33645003896     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10489-006-6936-x     Document Type: Article

References (32)

1. Yu E, Agent-oriented modelling: software versus the world. In: Agent-Oriented Software Engineering AOSE-2001 Workshop Proceedings. LNCS 2222. Springer Verlag, pp 206-225.
2. Raquette G (2001) Implementing a virtual learning center in an organization. In: Proc. of ITHET-2001, Kumamoto, Japan
3. Vouk MA, Bitzer DE, Klevans RE (1999) Workflow and end-user quality of service issues in web-based education. IEEE Trans, on Knowledge and Data Engineering 11(4):673-687
4. Flores RA, Kremer RC, Norrie DH (2001) An architecture for modeling internet-based collaborative agent systems. In Wagner T, Rana OF (eds) Infrastructure for agents, multi-agent systems, and scalable multi-agent systems. ENCS1887, Springer-Verlag, pp 56-63
5. Banatre J-P, Le Metayer D (1990) The gamma model and its discipline of programming. Science of Computer Programming 15:55-77
6. Banatre J-P, Le Metayer D (1993) Programming by multiset transformation. CACM 36(1):98-111
7. Le Metayer D (1994) Higher-order multiset processing. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 18:179-200
8. Banâtre J-P, Fradet P, Radenac Y (2005) Principles of chemical programming. In: Abdennadher S, Ringeissen C (eds), Proc. of the 5th International Workshop on Rule-Based Programming (RULE'04), vol 124, ENTCS, pp 133-147
9. Banâtre J-P, Fradet P, Radenac Y (2004) Chemical specification of autonomie systems. In: Proc. of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04)
10. Holzbacher AA (1996) A software environment for concurrent coordinated programming. In: Proc. of the 1st Int. Conf. on Coordination Models. Languages and Applications. Springer-Verlag, LNCS 1061, pp 249-266
11. Kramer J (1990) Configuration programming, a framework for the development of distributable systems. In: Proc. COMPEURO'90, IEEE, pp 374-384
12. Garlan D, Perry D (1995) Editor's Introduction. IEEE Trans. on Software Engineering, Special Issue on Software Architectures
13. Allen R, Garlan D (1994) Formalising architectural connection. In: Proc. of the IEEE 16th International Conference on Software Engineering, pp 71-80
14. Fradet P, Le Metayer D (1996) Type checking for a multiset language. INRIA Research Report
15. Le Metayer D (1998) Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering 24(7):521-533
16. Inverardi P, Wolf A (1995) Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. on Software Engineering 21(4):373-386
17. Griss M, Pour G (2001) Accelerating development with agent components. Computer, IEEE, pp 37-43
18. Weiss M (2003) A gentle introduction to agents and their applications,quot; Online presentation at http://www.magma.ca/~mrw/agents/.
19. Lin H (2004) A language for specifying agent systems in elearning environments. In: Lin FO (ed) Designing distributed learning environments with intelligent software agents, pp 242-272
20. Lin F, Norrie DH, Flores RA, Kremer RC (2000) Incorporating conversation managers into multi-agent systems. In Greaves M, Dignum F, Bradshaw J, Chaib-draa B (eds) Proc. of the Workshop on Agent Communication and Languages, 4th Inter. Conf. on Autonomous Agents (Agents 2000), Barcelona, Spain, pp 1-9
21. Lin FO, Lin H, Holt P (2003) A method for implementing distributed learning environments. In: Proc. 2003 Information Resources Management Association International Conference. Philadelphia, Pennsylvania, USA, pp 484-487
22. Creveuil C (1991) Implementation of gamma on the connection machine. In: Proc. Workshop on Research Directions in High-Level Parallel Programming Languages. Mont-Saint Michel. Springer-Verlag, LNCS 574, pp 219-230
23. Gladitz K, Kuchen H (1996) Shared memory implementation of the Gamma-operation. Journal of Symbolic Computation 21:577-591
24. Lin H, Chen G, Wang M (1997) Program transformation between Unity and Gamma. Neural, Parallel & Scientific Computations Dynamic Publishers, Atlanta 5(4):511-534
25. Luckham DC, Kenney JJ, Augustin LM, Vera J, Bryan D, Mann W (1995) Specification and analysis of system architecture using Rapide. IEEE Trans, on Software Engineering, pp 336-355
26. Magee J, Kramer J (1996) Dynamic structure in software architectures. In: Proc. of the 4th Symposium on the Foundations of Software Engineering (FSE4). San Francisco, CA, pp 3-14O
27. Garlan D, Allen R, Ockerbloom J (1994) Exploiting style in architectural design environments. In: Proc. of SIGSOFT'94: Foundations of Software Engineering. New Orleans, Louisiana, USA, pp 175-188
28. Shaw M, DeLine R, Klein DV, Ross TL, Young DM, Zelesnik G (1995) Abstractions for software architecture and tools to support them. IEEE Trans. On Software Engineering pp 314-335
29. Allen R, Garlan G (1994) Formal connectors. Technical Report, CMU-CS-94-115, Carnegie Mellon University
30. Garlan D, Monroe R, Wile D (1997) ACME: an architecture description interchange language. In: Proc. of GASCON 97. Toronto, pp 169-183.
31. Faulkner S, Kolp M (2002) (Isys). Towards an agent architectural description language for information systems. School of Management, the Catholic University of Louvain (UCL), Technical Report
32. Kokar MM, Baclawski K, Eracar Y (1999) Control theory-based foundations of self-controlling software. IEEE Intelligent Systems, pp 37-45