A Designing Method of Simulation Software for Chinese Train Control System Based on Hybrid Software Agent Model

Chinese train control system (CTCS) is one of real-time distributed supervising and control systems that have the distributed physical entities needing cooperation to accomplish their local goal, make possible decisions, execute actions, negotiate through the communication protocol to reach global criterion. For designing CTCS simulation software, the hybrid software agent model that is adapted to other distributed supervising and control systems is developed on the basis of deliberative and reactive agent concepts and we discuss the interesting characteristics of this model. The proposed designing method for CTCS level 4 as MAS mainly involves building an ontology model by using UML, specifying interaction protocols formally by Petri net and determining the real-time and deliberative behavioral rules based on the ontology. The reactive memory is introduced to the model for guaranteeing to respond urgent events in real-time. The deliberative part of agent model enables it to do complex tasks based on agent's mental states and input events

[1]  Arne-Jørgen Berre,et al.  UML-based methodology for distributed systems , 1998, Proceedings Second International Enterprise Distributed Object Computing (Cat. No.98EX244).

[2]  Jörn Freiheit,et al.  Petri Net Modelling and Performability Evaluation with TimeNET 3.0 , 2000, Computer Performance Evaluation / TOOLS.

[3]  A. Roadmapof.  A Roadmap of Agent Research and Development , 1995 .

[4]  Tim Finin,et al.  Using KQML as an agent communication language , 1994, CIKM 1994.

[5]  Kuo-Wei Huang,et al.  Behavior modeling and control of 300 mm fab intrabays using distributed agent oriented Petri net , 2003, IEEE Trans. Syst. Man Cybern. Part A.

[6]  Léon J. M. Rothkrantz,et al.  Microscopic traffic simulation with reactive driving agents , 2001, ITSC 2001. 2001 IEEE Intelligent Transportation Systems. Proceedings (Cat. No.01TH8585).

[7]  Haiping Xu,et al.  A Framework for Model-Based Design of Agent-Oriented Software , 2003, IEEE Trans. Software Eng..

[8]  Shourong Lu,et al.  Towards a comprehensive environment for the engineering of embedded control systems based on UML , 2003, IEEE International Conference on Industrial Technology, 2003.

[9]  Marina Bagic Babac.  Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets , 2004, OTM Workshops.

[10]  Anita Raja,et al.  Meta-level reasoning in deliberative agents , 2004 .

[11]  Rémy Courdier,et al.  Hybrid Model to Design Proactivity and Multi-Agent-Systems , 2002 .

[12]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[13]  Sanda Mandutianu,et al.  Cooperative intelligent agents for mission support , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).

[14]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[15]  Afsaneh Haddadi,et al.  Application of multi-agent systems in traffic and transportation , 1997, IEE Proc. Softw. Eng..

[16]  Marina Bagic.  Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets , 2004 .