Skip to main content
Springer Nature Link
Log in

Using a Formal Framework for Agent System Design

  • Conference paper
  • First Online:
Formal Approaches to Agent-Based Systems (FAABS 2000)

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

Included in the following conference series:

  • 308 Accesses

Abstract

The implementation of mobile agent systems involves great problems in particular it is often hard to guarantee that the specification of a system that has been designed actually fulfils the design requirements. Especially for critical applications, for example in real-time domains, there is a need to prove that the system being designed will have certain properties under certain conditions (assumptions).

These elements have induced researchers to explore new alternatives. One alternative to traditional techniques is to use formal methods in several stages of design. In mobile agent system design the term formal methods refers to the use of mathematical methods for the specification, validation and simulation of systems.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. E.M. Clarke and J.M. Wing. Formal methods: State of the art and future directions. Report by the Working Group on Formal Methods for the ACM Workshop on Strategic Directions in Computing Research, 28(4):626–643, December 1996.

    Google Scholar 

  2. Gerth R. Kelb P. Dams, D. Practical symbolic model checking of the full calculus using compositional abstractions. Technical Report Report, Eindhoven University of Technology, Department of Mathematics and Computer Science, 1996.

    Google Scholar 

  3. G. A. Agha. Actors: a model of concurrent computing in distributed systems. iMIT Press.

    Google Scholar 

  4. W. Brauer. Net theory an applications. In Proceedings of the Advanced Course on General Neth Theory of Processes and Systems, Hamburg, 1980. Springer LNCS.

    Google Scholar 

  5. C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985.

    Google Scholar 

  6. R. Milner. A Calculus of communicating systems. LCNS 92. Springer Verlag, New York, 1980.

    MATH  Google Scholar 

  7. INMOS Ltd. Occam programming manual. Prentice Hall, 1984.

    Google Scholar 

  8. ISO-IS-8807. Information Processing Systems, Open System Interconnection, LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO, June 1988.

    Google Scholar 

  9. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISD Systems, 14:25–59, 1987.

    Article  Google Scholar 

  10. B. Mahr, H. Ehrig. Fundamentals of Algebraic Specifications. 1 EATCS Monographs on Computer Science. Springer-Verlag, 1985.

    Google Scholar 

  11. R. S. Gray. AgentTCL: A Transportable Agent System. In Proceedings of CIKM-Workshop on Intelligent Information Agent, 1995.

    Google Scholar 

  12. D. Johansen, R. van Renesse, and F. B. Schneder. An Introduction to TACOMA Distributed System Version 1.0. Technical Report 95-23, University of Tromso, 1995.

    Google Scholar 

  13. The java WEB pages. http://www.javasoft.com.

  14. General Magic Inc. The telescript language reference. URL: http://www.genmagic.com/telescript/TDE/TDEDOCS HTML/telescript.html.

  15. General Magic Inc. Odyssey web site-URL: http://www.genmagic.com/agents.

  16. Najm E. and J.B. Stefani. Dynamic configuration in LOTOS. K. R. Parker and G. A. Rose editors-Formal Description Techniques IV. North-Holland, 1991.

    Google Scholar 

  17. V. Carchiolo, M. Malgeri, and G. Mangioni. An agent based platform for a service provider. In Proceedings of 2nd IMACS International Conference on Circuits, Systems and Computers (CSC98), iTerma Hatzikyriakou Piraeus (Greece), 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria Informatica e delle Telecomunicazioni, V.le A. Doria, 6 - I95125, Catania, Italy

    V. Carchiolo, M. Malgeri & G. Mangioni

Authors
  1. V. Carchiolo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Malgeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. G. Mangioni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. NASA Goddard Space Flight Center, Greenbelt, Maryland, 20771, USA

    James L. Rash , Walt Truszkowski  & Michael G. Hinchey ,  & 

  2. Science Applications International Corporation, 4001 Fairfax Drive, Suite 300, Airlington, VA, 22203, USA

    Christopher A. Rouff

  3. Naval Research Laboratory, 4555 Overlook Avenue, S.W., Washington, D.C., USA

    Diana Gordon

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Carchiolo, V., Malgeri, M., Mangioni, G. (2001). Using a Formal Framework for Agent System Design. In: Rash, J.L., Truszkowski, W., Hinchey, M.G., Rouff, C.A., Gordon, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2000. Lecture Notes in Computer Science(), vol 1871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45484-5_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-45484-5_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42716-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics