A framework for model-based design of agent-oriented software

IEEE Transactions on Software Engineering

Volumn 29, Issue 1, 2003, Pages 15-30

  Xu, Haiping ^a   Shatz, Sol M ^a  

^a 1120 Science and Engineering Offices   (United States)

Author keywords

Design model; Electronic commerce; G net; Model checking; Multiagent systems; Petri net

Indexed keywords

ARTIFICIAL INTELLIGENCE; ELECTRONIC COMMERCE; MULTI AGENT SYSTEMS; PETRI NETS; SOFTWARE AGENTS;

EXTENSIBLE DESIGNS;

SOFTWARE ENGINEERING;

EID: 0037252918     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2003.1166586     Document Type: Article

References (38)

1. N.R. Jennings, "An Agent-Based Approach for Building Complex Software Systems," Comm. the ACM, vol. 44, no. 4, pp. 35-41, Apr. 2001.
2. D. Kinny and M.P. Georgeff, "Modeling and Design of Multi-Agent Systems," Proc. Fourth Int'l Workshop Agent Theories, Architectures, and Language (ATAL-97), pp. 1-20, 1997.
3. J. Yin, M.S. Miller, T.R. Ioerger, J. Yen, and R.A. Volz, "A Knowledge-Based Approach for Designing Intelligent Team Training Systems," Proc. Fourth Int'l Conf. Autonomous Agents, pp. 427-434, June 2000.
4. S. Green, L. Hurst, B. Nangle, P. Cunningham, F. Somers, and R. Evans, "Software Agents: A Review," Intelligent Agents Group (IAG), Technical Report TCD-CS-1997-06, Trinity College Dublin, May 1997.
5. T.J. Rogers, R. Ross, and V.S. Subrahmanian, "IMPACT: A System for Building Agent Applications," J. Intelligent Information Systems, vol. 14, nos. 2-3, pp. 95-113, 2000.
6. E.A. Kendall, "Role Modeling for Agent System Analysis, Design, and Implementation," IEEE Concurrency, pp. 34-41, Apr.-June, 2000.
7. C. Argel Iglesias, M. Garrijo, and J. Centeno-González, "A Survey of Agent-Oriented Methodologies," Proc. Fifth Int'l Workshop Agent Theories, Architectures, and Language, pp. 317-330, 1998.
8. M. Luck and M. d'Inverno, "A Formal Framework for Agency and Autonomy," Proc. First Int'l Conf. Multi-Agent Systems (ICMAS-95), pp. 254-260, 1995.
9. M. Fisher, "Representing and Executing Agent-Based Systems," Intelligent Agents-Proc. Int'l Workshop Agent Theories, Architectures, and Languages, M. Wooldridge and N. Jennings, eds., pp. 307-323, 1995.
10. F.M.T. Brazier, B. Dunin Keplicz, N.R. Jennings, and J. Treur, "DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework," Int'l J. Cooperative Information Systems, M. Huhns and M. Singh, eds., vol. 6, pp. 67-94, 1997.
11. H. Zhu, "SLABS: A Formal Specification Language for Agent-Based Systems," Int'l J. Software Eng. and Knowledge Eng., vol. 11, no. 5, pp. 529-558, 2001.
12. M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge, "Formalisms for Multi-Agent Systems," The Knowledge Engineering Review, vol. 12, no. 3, 1997.
13. V. Hilaire, A. Koukam, P. Gruer, and J.-P. Müller, "Formal Specification and Prototyping of Multi-Agent Systems," Eng. Societies in the Agent World, First Int'l Workshop (ESAW 2000), Aug. 2000.
14. E. Huang and T. Elrad, "Reflective Decision Control for Autonomous Distributed Objects," Proc. Fifth Int'l Symp. Autonomous Decentralized Systems (ISADS), pp. 212-219, Mar. 2001.
15. M. Wooldridge, N.R. Jennings, and D. Kinny, "The Gaia Methodology for Agent-Oriented Analysis and Design," Int'l J. Autonomous Agents and Multi-Agent Systems, vol. 3, no. 3, pp. 285-312, 2000.
16. H. Xu and S.M. Shatz, "An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce," Proc. Fifth Int'l Symp. Autonomous Decentralized Systems (ISADS), pp. 11-18, Mar. 2001.
17. H. Xu and S.M. Shatz, "A Framework for Modeling A Oriented Software," Proc. 21st Int'l Conf. Distributed Computing Systems (ICDCS), pp. 57-64, Apr. 2001.
18. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
19. J. Yen, J. Yin, T. Ioerger, M. Miller, D. Xu, and R. Volz, "CAST: Collaborating Agents for Simulating Teamwork," Proc. Seventh Int'l Joint Conf. Artificial Intelligence (IJCAI), pp. 1135-1144, Aug. 2001.
20. D. Kinny, M. Georgeff, and A. Rao, "A Methodology and Modeling Technique for Systems of BDI Agents," Agents Breaking Away: Proc. Seventh European Workshop Modeling Autonomous Agents in a Multi-Agent World, W. Van de Velde and J. W. Perram, eds., pp. 56-71, 1996.
21. Y. Deng, S.K. Chang, A. Perkusich, and J. de Figueredo, "Integrating Software Engineering Methods and Petri Nets for the Specification and Analysis of Complex Information Systems," Proc. 14th Int'l Conf. Application and Theory of Petri Nets, pp. 206-223, June 1993.
22. A. Perkusich and J. de Figueiredo, "G-Nets: A Petri Net Based Approach for Logical and Timing Analysis of Complex Software Systems," J. Systems and Software, vol. 39, no. 1, pp. 39-59, 1997.
23. H. Xu and S.M. Shatz, "Extending G-nets to Support Inheritance Modeling in Concurrent Object-Oriented Design," Proc. IEEE Int'l Conf. Systems, Man, and Cybernetics (SMC 2000), pp. 3128-3133, Oct. 2000.
24. T. Finin, Y. Labrou, and J. Mayfield, "KQML as an Agent Communication Language," Software Agents, J. Bradshaw, ed., 1997.
25. M.J. Huber, S. Kumar, P.R. Cohen, and D.R. McGee, "A Formal Semantics for Proxy Communicative Acts," Proc. Eighth Int'l Workshop Agent Theories, Architectures, and Languages (ATAL-2001), Aug. 2001.
26. J. Odell, H. Van Dyke Parunak, and B. Bauer, "Representing Agent Interaction Protocols in UML,' Proc. ICSE 2000 Workshop Agent-Oriented Software Eng. (AOSE-2000), June 2000.
27. N.R. Jennings, K. Sycara, and M. Wooldridge, "A Roadmap of Agent Research and Development," Int'l J. Autonomous Agents and Multi-Agent Systems, vol. 1, no. 1, pp. 7-38, 1998.
28. L. Crnogorac, A.S. Rao, and K. Ramamohanarao, "Analysis of Inheritance Mechanisms in Agent-Oriented Programming," Proc. 15th Int'l Joint Conf. Artificial Intelligence (IJCAI '97), pp. 647-654, 1997.
29. R.A. Flores and R.C. Kremer, "Formal Conversations for the Contract Net Protocol," Multi-Agent Systems and Applications II, V. Marik, M. Luck, and O. Stepankova, eds., 2001.
30. F. Bergenti and A. Poggi, "Exploiting UML in the Design of Multi-Agent Systems," Proc. Eng. Societies in the Agent World, First Int'l Workshop (ESAW 2000), A. Omicini, R. Tolksdorf, and F. Zambonelli, eds., pp. 106-113, Aug. 2000.
31. H. Yim, K. Cho, J. Kim, and S. Park, "Architecture-Centric Object-Oriented Design Method for Multi-Agent Systems," Proc. Fourth Int'l Conf. Multi-Agent Systems (ICMAS 2000), July 2000.
32. S. Roch and P.H. Starke, INA: Integrated Net Analyzer, Version 2.2. Humboldt-Universität zu Berlin, Institut für Informatik Apr. 1999.
33. S.M. Shatz, S. Tu, T. Murata, and S. Duri, "An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis," IEEE Trans. Parallel and Distributed Systems, vol. 7, no. 12, pp. 1307-1322, Dec. 1996.
34. E.M. Clarke, E.A. Emerson, and A.P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications," ACM Trans. Programming Languages and Systems, vol. 8, no. 2, pp. 244-263, 1986.
35. E.M. Clarke and J.M. Wing, "Formal Methods: State of the Art and Future Directions," ACM Computing Surveys, vol. 28, no. 4, pp. 626-643, Dec. 1996.
36. Y. Deng and S.K. Chang, "A G-Net Model for Knowledge Representation and Reasoning," IEEE Trans. Knowledge and Data Eng., vol. 2, no. 3, pp. 295-310, Sept. 1990.
37. T. Murata, V.S. Subrahmanian, and T. Wakayama, "A Petri Net Model for Reasoning in the Presence of Inconsistency," IEEE Trans. Knowledge and Data Eng., vol. 3, no. 3, pp. 281-292, Sept. 1991.
38. T. Murata, P.C. Nelson, and J. Yim, "A Predicate-Transition Net Model for Multiple Agent Planning," Information Sciences, pp. 361-384, 1991.