Modeling Agent-Based Systems Using X-Machine and Z Notation

Developing correct and complete real-world software applications is a difficult task in terms of the number and flexibility of the essential components and their interrelationship. As the field of agent-based computing matures, the requirements of well-founded techniques and methodology for such systems modeling will increased. This paper used integration of two well known modeling techniques, X-machines and Z notation for modeling and writing the specification of agent-based systems. This modeling approach supports the behavioral modeling, data modeling and property analysis of agent-based systems. It also provides a mechanism for translating the formal model to executable code.

[1]  Jae Lee Kyu,et al.  A Framework of Optimization Agent for Supply Chain Management , 2006 .

[2]  Dimitris Dranidis,et al.  Formal modelling of use cases with X-machines , 2003 .

[3]  Juan José Serrano,et al.  Intelligent Agents in Distributed Fault Tolerant Systems , 2007, Hybrid Intelligent Systems.

[4]  George Eleftherakis,et al.  Modeling Biology Inspired Reactive Agents Using X-machines , 2007, International Conference on Computational Intelligence.

[5]  James R. McDonald,et al.  Multiagent System for Condition-Monitoring Applications , 2002, Cybern. Syst..

[6]  A. J. Cowling,et al.  Foundations of the X-machine Theory for Testing Research Report CS-02-06 , 2002 .

[7]  Nathan Griffiths,et al.  From Agent Theory to Agent Construction: A Case Study , 1996, ATAL.

[8]  M. Holcombe,et al.  A Formal Method for the Development of Agent-Based Systems , 2003 .

[9]  Florentin Ipate,et al.  Building Correct Systems , 1998 .

[10]  Florentin Ipate,et al.  Testing Conditions for Communicating Stream X-machine Systems , 2002, Formal Aspects of Computing.

[11]  Fausto Giunchiglia,et al.  A Model Checking Algorithm for Multiagent Systems , 1998, ATAL.

[12]  K. Tamine,et al.  Intelligent Agents for Distributed Intrusion Detection System , 2007 .

[13]  Bernhard Bauer,et al.  Extending UML for agents , 2000 .

[14]  Florentin Ipate,et al.  Correct systems - building a business process solution , 1998, Applied computing.

[15]  Scott A. DeLoach,et al.  Multiagent Systems Engineering: A Methodology and Language for Designing Agent Systems , 1999 .

[17]  Yi Deng,et al.  Formal Methods for Specifying and Analyzing Complex Software Systems , 2006 .

[18]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[19]  Richard Goodwin,et al.  Formalizing Properties of Agents , 1993, J. Log. Comput..

[20]  Balázs Csik.  SIMULATION OF COMPETITIVE MARKET SITUATIONS USING INTELLIGENT AGENTS , 2003 .

[21]  Shing-Chi Cheung,et al.  A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[22]  Blesson Varghese,et al.  Applying autonomic computing concepts to parallel computing using intelligent agents , 2009 .

[23]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[24]  Keith Decker,et al.  Designing a Multi-Agent Portfolio Management System , 1996 .

[25]  M. Brian Blake,et al.  Agent-mediated knowledge sharing for intelligent services management , 2007, Inf. Syst. Frontiers.

[26]  Florentin Ipate.  Complete deterministic stream X-machine testing , 2004, Formal Aspects of Computing.

[27]  Mike Holcombe,et al.  A General Framework for Agent-based Modelling of Complex Systems , 2006 .

[28]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[29]  Radovan Cervenka,et al.  Agent Modeling Language (AML): A Comprehensive Approach to Modeling MAS , 2005, Informatica.