Skip to main content
SpringerLink
Log in

A Novel Approach to Programming: Agent Based Software Engineering

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4253))

Abstract

Agent (and multiagent system) technology originates from artificial intelligence. The continuous and autonomous nature of agents and the communication among these agents also make them an excellent candidate for distributed computing and even general software applications. Agent based software engineering advocates using the agent technology for typical software development. Evolving from object oriented software engineering to agent based software engineering may be as significant as evolving from the procedure oriented concept to the object oriented concept. In this paper, we examine agent based software engineering in relation to the three main steps of software development: system analysis and modeling, design and implementation, and validation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Sommerville, I.: Software Engineering, 6th edn. Addison Wesley, Reading (2001)

    Google Scholar 

  2. Hewitt, C.: Viewing Control Structures as Patterns of Passing Messages. Artificial Intelligence 8(3), 323–364 (1977)

    Article  Google Scholar 

  3. Bradshaw, J.M.: An Introduction to Software Agents. In: Bradshaw, J.M. (ed.) Software Agents, pp. 3–46. AAAI Press/The MIT Press (1997)

    Google Scholar 

  4. Nwana, H.S.: Software Agents: An Overview. Knowledge Engineering Review 11(3), 1–40 (1996)

    Article  Google Scholar 

  5. Stone, P., Veloso, M.M.: Multiagent Systems: A Survey from a Machine Learning Perspective. Autonomous Robots 8(3), 345–383 (2000)

    Article  Google Scholar 

  6. Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  7. Wooldridge, M.J., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 1–28. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  8. Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117, 277–296 (2000)

    Article  MATH  Google Scholar 

  9. Petrie, C.: Agent-Based Software Engineering. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 59–75. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  10. Tveit, A.: A Survey of Agent-Oriented Software Engineering. In: The First NTNU CSGS Conference (2001)

    Google Scholar 

  11. Steegmans, E., Weyns, D., Holvoet, T., Berbers, Y.: A Design Process for Adaptive Behavior of Situated Agents. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 109–125. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Ramos, F.F.: Methodology for Analysis and Design of Systems. In: Proceedings of the Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (WSTFEUS 2004) (May 2004)

    Google Scholar 

  13. Shehory, O., Sturm, A.: Evaluation of modeling techniques for agent-based systems. In: Proceedings of the Fifth International Conference on Autonomous Agents, May 2001. ACM Press, New York (2001)

    Google Scholar 

  14. Jennings, N., Wooldridge, M.: Software Agents. IEEE Review, 17–20 (January 1996)

    Google Scholar 

  15. Sanchis, E.: Designing new Agent Based Applications Architectures with the AGP Methodology. In: Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (June 2003)

    Google Scholar 

  16. Green, S., Hurst, L., Nangle, B., Cunningham, P., Somers, F., Evans, R.: Software agents: A review, Technical Report, Department of Computer Science, Trinity College, Dublin, Ireland (1997)

    Google Scholar 

  17. Hall, R.J.: Automated Software Engineering, vol. 9, pp. 233–261. Springer, Heidelberg (2002)

    Google Scholar 

  18. Hilaire, V., et al.: A Formal Approach to Design and Reuse Agent and Multiagent Models. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  19. Dastani, M., et al.: Enacting and Deacting Roles in Agent Programming. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  20. Weiss, G., et al.: Operational Modeling of Agent Autonomy. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Simon, G., Flouret, M.: Implementing Validated Agent Behaviors with Automata based on Goal-Decomposition Trees. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Lamport, L.: The temporal logic of actions. ACM transactions on Programming Language and Systems 16(3), 872–923 (1994)

    Article  Google Scholar 

  23. Winikoff, M., et al.: Declarative & Procedural Goals in Intelligent Agent Systems. In: Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR 2002). Morgan Kaufmann, Toulouse (2002)

    Google Scholar 

  24. Artikis, A., Sergot, M.J., Pitt, J.: Specifying Electronic Societies with the Causal Calculator. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  25. Cabac, L., Moldt, D.: Formal Semantics for AUML Agent Interaction Protocol Diagrams. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  26. Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proceedings of the First International Conference on Multiagent Systems (ICMAS 1995). The MIT Press, San Francisco (1995)

    Google Scholar 

  27. Benerecetti, M., Cimatti, A.: Validation of Multiagent Systems by Symbolic Model Checking. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  28. Emerson, E.A.: Temporal and modal logic, in Handbook of Theoretical Computer Science. In: Leeuwen, J.v. (ed.) Formal Models and Semantics, vol. B, pp. 996–1072. Elsevier, Amsterdam (1990)

    Google Scholar 

  29. Cimatti, A., et al.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  30. Perini, A., et al.: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 36–52. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  31. Bresciani, P., et al.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)

    Article  Google Scholar 

  32. Sharma, D., Ma, W.: A Multiple Agents Based Intrusion Detection System. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3681, pp. 205–211. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  33. Tran, D., Sharma, D., Ma, W.: On an IT Security Framework. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3681, pp. 226–232. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  34. Sharma, D., Ma, W., Tran, D., Liu, S., Anderson, M.: MAITS: A Multiagent Based IT Security Approach. In: Architectural Design of Multi-Agent Systems: Technologies and Techniques (accepted for publication)

    Google Scholar 

  35. Ma, W., Tran, D., Sharma, D., Lin, H., Anderson, M.: Concurrent Programming with Multiagents and the Chemical Abstract Machine. In: Architectural Design of Multi-Agent Systems: Technologies and Techniques (accepted for publication)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Sciences and Engineering, University of Canberra,  

    Dharmendra Sharma, Wanli Ma, Dat Tran & Mary Anderson

Authors
  1. Dharmendra Sharma
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wanli Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dat Tran
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mary Anderson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Design, Engineering and Computing, Bournemouth University, UK

    Bogdan Gabrys

  2. Centre for SMART Systems, School of Environment and Technology, University of Brighton, BN2 4GJ, Brighton, UK

    Robert J. Howlett

  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, Mawson Lakes, 5095, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sharma, D., Ma, W., Tran, D., Anderson, M. (2006). A Novel Approach to Programming: Agent Based Software Engineering. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893011_150

Download citation

  • DOI: https://doi.org/10.1007/11893011_150

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46542-3

  • Online ISBN: 978-3-540-46544-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation