On Developing Open Mobile Fault Tolerant Agent Systems

  • Budi Arief
  • Alexei Iliasov
  • Alexander Romanovsky
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4408)


The paper introduces the Cama (Context-Aware Mobile Agents) framework intended for developing large-scale mobile applications using the agent paradigm. Cama provides a powerful set of abstractions, a supporting middleware and an adaptation layer allowing developers to address the main characteristics of the mobile applications: openness, asynchronous and anonymous communication, fault tolerance, and device mobility. It ensures recursive system structuring using location, scope, agent, and role abstractions. Cama supports system fault tolerance through exception handling and structured agent coordination within nested scopes. The applicability of the framework is demonstrated using an ambient lecture scenario – the first part of an ongoing work on a series of ambient campus applications. This scenario is developed starting from a thorough definition of the traceable requirements including the fault tolerance requirements. This is followed by the design phase at which the Cama abstractions are applied. At the implementation phase, the Cama middleware services are used through a provided API. This work is part of the FP6 IST RODIN project on Rigorous Open Development Environment for Complex Systems.


Mobile agents exception handling system structuring coordination middleware Linda ambient lecture 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80–112 (1985)zbMATHCrossRefGoogle Scholar
  2. 2.
    Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda Meets Mobility. In: Proceedings of 21st Int. Conference on Software Engineering (ICSE 1999), pp. 368–377 (1999)Google Scholar
  3. 3.
    Bettini, L., Bono, V., De Nicola, R., Ferrari, G.L., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The Klaim Project: Theory and Practice. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 88–150. Springer, Heidelberg (2003)Google Scholar
  4. 4.
    Omicini, A., Zambonelli, F.: Tuple Centres for the Coordination of Internet Agents. In: SAC ’99: Proceedings of the 1999 ACM symposium on Applied computing, San Antonio, Texas, United States, pp. 183–190. ACM Press, New York (1999), doi:10.1145/298151.298231CrossRefGoogle Scholar
  5. 5.
    Bettini, L., De Nicola, R.: Translating Strong Mobility into Weak Mobility. In: Picco, G.P. (ed.) MA 2001. LNCS, vol. 2240, pp. 182–197. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  6. 6.
    Cristian, F.: Exception Handling and Fault Tolerance of Software Faults. In: Lyu, M. (ed.) Software Fault Tolerance, pp. 81–107. Wiley, Hoboken (1995)Google Scholar
  7. 7.
    Iliasov, A., Romanovsky, A.: Exception Handling in Coordination-based Mobile Environments. In: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), pp. 341–350. IEEE Computer Society Press, Los Alamitos (2005)CrossRefGoogle Scholar
  8. 8.
    Roman, G.-C., Julien, C., Payton, J.: A Formal Treatment of Context-Awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 12–36. Springer, Heidelberg (2004)Google Scholar
  9. 9.
    Satoh, I.: MobileSpaces: A Framework for Building Adaptive Distributed Applications using a Hierarchical Mobile Agent System. In: Proceedings of the ICDCS 2000, pp. 161–168 (2000)Google Scholar
  10. 10.
    Merrick, I., Wood, A.: Coordination with Scopes. In: Proceedings of the ACM Symposium on Applied Computing, pp. 210–217 (2000)Google Scholar
  11. 11.
    Iliasov, A., Romanovsky, A.: Structured Coordination Spaces for Fault Tolerant Mobile Agents. In: Dony, C., Knudsen, J.L., Romanovsky, A., Tripathi, A.R. (eds.) Advanced Topics in Exception Handling Techniques. LNCS, vol. 4119, pp. 181–199. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Tripathi, A., Miller, R.: Exception Handling in Agent-oriented Systems. In: Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems (SRDS’02), Osaka University, Suita, Japan, pp. 304–315. ACM Press, New York (2002)Google Scholar
  13. 13.
    van Roy, P., Haridi, S., Brand, P., Smalka, G., Mehl, M., Scheidhauer, R.: Mobile Objects in Distributed Oz. ACM Transactions on Programming Languages and Systems 19(5), 804–851 (1997)CrossRefGoogle Scholar
  14. 14.
    Iliasov, A.: Implementation of Cama Middleware, (Last accessed: 3 Jan. 2007)
  15. 15.
    Balzarotti, D., Costa, P.: LighTS: A Lightweight, Customizable Tuple Space Supporting Context-Aware Applications. In: Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC 2005), ACM Press, New York (2005), (Last accessed: 3 Jan. 2007)Google Scholar
  16. 16.
    IBM: TSpaces, (Last accessed: 3 Jan. 2007)
  17. 17.
    GigaSpaces: Grid Computing - Distributed Computing Application Server, (Last accessed: 3 Jan. 2007)
  18. 18.
    Troubitsyna, E. (ed.): Rodin Deliverable D18: Intermediate Report on Case Study Development. Project IST-511599, School of Computing Science, University of Newcastle (2006)Google Scholar
  19. 19.
    Griswold, W.G., Shanahan, P., Brown, S.W., Boyer, R., Ratto, M., Shapiro, R.B., Truong, T.M.: ActiveCampus - Experiments in Community-Oriented Ubiquitous Computing. IEEE Computer 37(10), 73–81 (2004), (Last accessed: 3 Jan. 2007)Google Scholar
  20. 20.
    Ratto, M., Shapiro, R.B., Truong, T.M., Griswold, W.G.: The ActiveClass Project: Experiments in Encouraging Classroom Participation. In: Computer Support for Collaborative Learning 2003, pp. 477–486. Kluwer Academic Publishers, Dordrecht (2003)Google Scholar
  21. 21.
    Gay, G., Stefanone, M., Grace-Martin, M., Hembrooke, H.: The Effects of Wireless Computing in Collaborative Learning Environments. International Journal of Human-Computer Interaction 13(2), 257–276 (2001)CrossRefGoogle Scholar
  22. 22.
    Dufresne, R.J., Gerace, W.J., Leonard, W.J., Mestre, J.P., Wenk, L.: Classtalk: A Classroom Communication System for Active Learning. Journal of Computing in Higher Education 7, 3–47 (1996)CrossRefGoogle Scholar
  23. 23.
    Arief, B., Coleman, J., Hall, A., Hilton, A., Iliasov, A., Johnson, I., Jones, C., Laibinis, L., Leppanen, S., Oliver, I., Romanovsky, A., Snook, C., Troubitsyna, E., Ziegler, J.: Rodin Deliverable D4: Traceable Requirements Document for Case Studies. Technical report, Project IST-511599, School of Computing Science, University of Newcastle (2005)Google Scholar
  24. 24.
    Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)Google Scholar
  25. 25.
    Iliasov, A., Laibinis, L., Romanovsky, A., Troubitsyna, E.: Towards Formal Development of Mobile Location-based Systems. Presented at REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems, Newcastle Upon Tyne, UK (June 2005),
  26. 26.
    Rodin: Rigorous Open Development Environment for Complex Systems. IST FP6 STREP project, (Last accessed: 3 Jan. 2007)

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Budi Arief
    • 1
  • Alexei Iliasov
    • 1
  • Alexander Romanovsky
    • 1
  1. 1.School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE1 7RUEngland

Personalised recommendations