Supporting agent-based distributed software development through modeling and simulation

In today's software engineering environment, it is becoming increasingly commonplace for team members and stakeholders to be distributed in multiple locations and time zones. Under these circumstances, the coordination of software development activities becomes increasingly more complex. One solution uses mobile agent-based tools to support collaborative software engineering tasks, such as requirements management. Despite the fact that development and validation of such tools would be facilitated by the use of modeling and simulation, very little work relating formal methods to agent-based system development has been performed. This paper therefore presents a hierarchical colored Petri Net (CPN) model as a formal framework for agent-based distributed software development, and demonstrates its usefulness by applying the framework to the development of a requirements management system.

[1]  R. Rosner.  Computer software , 1978, Nature.

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

[3]  Carl K. Chang,et al.  Agent based requirements evolution over the Internet , 2001, Proceedings 2001 Symposium on Applications and the Internet Workshops (Cat. No.01PR0945).

[4]  Michael Fisher,et al.  A Normal Form for First-Order Temporal Formulae , 1992, CADE.

[5]  Kurt Jensen,et al.  Coloured Petri nets: A high level language for system design and analysis , 1991, Applications and Theory of Petri Nets.

[6]  Giorgio Bruno.  Model-based software engineering , 1994 .

[7]  John Jenkins,et al.  Using agents for distributed software project management , 1999, Proceedings. IEEE 8th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'99).

[8]  Jan Treur,et al.  Modelling internal dynamic behaviour of BDI agents , 2001 .

[9]  W. Lam,et al.  Requirements change: a dissection of management issues , 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

[10]  Jan Vitek,et al.  Designing JAVASEAL or How to Make JAVA Safe for Agents , 1998 .

[11]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[12]  Michael Luck,et al.  Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems , 1995, ZUM.

[13]  Michael Fisher,et al.  Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[14]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[15]  Walter Binder.  J-SEAL2—A Secure High-Performance Mobile Agent System , 2001, Electron. Commer. Res..

[16]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[17]  Daniel G. Bobrow,et al.  The Role of Intelligent Systems in the National Information Infrastructure , 1995, AI Mag..

[18]  Nicholas Negroponte,et al.  The architecture machine , 1975, Comput. Aided Des..

[19]  Anand S. Rao,et al.  A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.