Skip to main content
Springer Nature Link
Log in

An Ontology for Mobile Agents in the Context of Formal Verification

  • Conference paper
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE (OTM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3761))

  • 772 Accesses

Abstract

The increasing interest of developing and formally studying mobile agents has taken place in the last decade. Several formalisms and tools have been created to aid this enterprise. However, tools are mostly developed in isolation and, therefore, are hard to use together. The present work is an attempt to make such integration easier, through the provision of a common ‘language’ – an ontology – for verification tools reasoning about mobile agents.

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. Russel, S., Norvig, P.: Artificial Intelligence. A Modern Approach. Prentice Hall, Englewood Cliffs (2003)

    Google Scholar 

  2. Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)

    Google Scholar 

  3. Guarino, N., Giaretta, P.: Ontologies and Knowledge Bases: Towards a Terminological Clarification. In: Mars, N. (ed.) Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing, pp. 25–32. IOS Press, Amsterdam (1995)

    Google Scholar 

  4. Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition 5, 199–220 (1993)

    Article  Google Scholar 

  5. D’Inverno, M., Luck, M.: Understanding Agent Systems, 2nd edn. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  6. The Join-Calculus language. Resources for the Join-calculus (Accessed in May 23, 2005), Available at http://join.inria.fr/

  7. Cardelli, L.: Mobile Computational Ambients. Introduction and other resources to the Ambient Calculus (Accessed in May 23, 2005), Available at http://www.luca.demon.co.uk/Ambit/Ambit.html

  8. Amorim, M.M.: VTUBAINA Tool. A Verification Tool for Up-to Bisimulation and Automata Integration Automatization (Accessed in May, 23, 2005), Available at http://www.lcpd.ime.usp.br/~mamorim/vtubaina/

  9. Ferrari, G., Gnesi, S., Montanari, U., Pistore, M., Ristori, G.: Verifying Mobile Processes in the HAL Environment. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 511–515. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  10. Montanari, U., Pistore, M.: An Introduction to History Dependent Automata. In: Gordon, A., Pitts, A., Talcott, C. (eds.) Second Workshop on Higher-Order Operational Techniques in Semantics ( HOOTS II). ENTCS, vol. 10 (1998)

    Google Scholar 

  11. History Dependant Automata Laboratory (HAL) (Accessed in May, 23, 2005) Available at http://rep1.iei.pi.cnr.it/projects/JACK/HAL/hal.html

  12. Web Ontology Language (OWL). Specifications, articles, tools and other resources for OWL (Accessed in August 19 (2004), Available at http://www.w3.org/2004/OWL/

  13. Description logics. Description logics resources (Accessed in February 21, 2005), Available at http://dl.kr.org/

  14. The Protégé Ontology Editor and Knowledge Acquisition System (Accessed in August 19, 2004), Available at http://protege.stanford.edu/

  15. OntoViz. Information and downloads regarding the OntoViz Protégé plugin (Accessed in February 21, 2005), Available at http://protege.stanford.edu/plugins/ontoviz/ontoviz.html

  16. Aglets. Information and downloads regarding the Aglets framework, a system for mobile software agents (Accessed in August 15, 2005), Available at http://aglets.sourceforge.net

  17. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, p. 140. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  18. Flávio, S.C., da Silva, A.C.V., de Melo, J., Agusti, W., Vasconcelos, D., Robertson, M., Finger, V.: On the insufficiency of ontologies: Problems on knowledge sharing and alternative solutions. Knowledge-Based Systems 15(3), 147–167 (2002)

    Article  Google Scholar 

  19. Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: 23rd ACM Symposium on Principles of Programming Languages. ACM Press, New York (1996)

    Google Scholar 

  20. Fournet, C., Gonthier, G., Levy, J.J., Maranget, L., Remy, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, Springer, Heidelberg (1996)

    Google Scholar 

  21. Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of São Paulo, São Paulo, Brazil

    Paulo Salem da Silva & Ana Cristina Vieira de Melo

Authors
  1. Paulo Salem da Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ana Cristina Vieira de Melo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, VIC 3001, Melbourne, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

da Silva, P.S., de Melo, A.C.V. (2005). An Ontology for Mobile Agents in the Context of Formal Verification. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005. Lecture Notes in Computer Science, vol 3761. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575801_35

Download citation

  • DOI: https://doi.org/10.1007/11575801_35

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-32120-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics