Developing Mobile Ambients Using an Aspect-Oriented Software Architectural Model

  • Nour Ali
  • Carlos Millán
  • Isidro Ramos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4276)


Nowadays, distributed and mobile systems are acquiring greater importance and becoming more widely used to support ubiquitous computing. However, developing systems of this kind is a difficult task. Instead of concentrating on how problems should be solved developers must worry about implementation details. Ambient Calculus is a formalism that provides primitives to describe mobile systems in an abstract way. Aspect-oriented software development and software architectures promise to achieve reusability, maintenance and adaptability, which are all essential for the development of distributed systems. In this paper, we present how a platform-independent model called Ambient-PRISMA combines both Ambient Calculus and Aspect-Oriented Software Architecture for the specification of distributed and mobile systems. A platform-specific model in .Net for supporting Ambient-PRISMA code generation is also presented.


Mobile Agent Software Architecture Object Constraint Language Architectural Element Model Drive Engineer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2) (February 2006)Google Scholar
  2. 2.
  3. 3.
    Szyperski, C.: Component Software: Beyond Object Oriented programming. ACM Press and Addison Wesley, New York (2002)Google Scholar
  4. 4.
    Filman, R., Elrad, T., Clarke, S., Aksit, M.: Aspect-Oriented Software Development, ISBN: 0321219767Google Scholar
  5. 5.
    Pérez, J., Ali, N., Carsí, J.Á., Ramos, I.: Dynamic Evolution in Aspect-Oriented Architectural Models. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol. 3527, pp. 59–76. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Cardelli, L.: Abstractions for Mobile Computation. In: Vitek, J., Jensen, C. (eds.) Secure Internet Programming. LNCS, vol. 1603, Springer, Heidelberg (1999)CrossRefGoogle Scholar
  7. 7.
    Pérez, J., Ali, N., Carsí, J.Á., Ramos, I.: Designing software architectures with an aspect-oriented architecture description language. In: Gorton, I., Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063, pp. 123–138. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Magee, J., Dulay, N., Eisenbach, S., Krammer, J.: Specifying Distributed Software Architectures. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137–153. Springer, Heidelberg (1995)Google Scholar
  9. 9.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Parts 1-2. Information and Computation 100(1), 1–77 (1992)MATHMathSciNetGoogle Scholar
  10. 10.
    Magee, J., Tseng, A., Kramer, J.: Composing Distributed Objects in CORBA. In: Third International Symposium on Autonomous Decentralized Systems, Berlin, Germany, pp. 257–263 (1997)Google Scholar
  11. 11.
    De Paula, V.C., Ribeiro Justo, G.R., Cunha, P.R.F.: Specifying Dynamic Distributed Software Architectures. In: XII Brazilian Symposium on Software Engineering, BCS Press (October 1998)Google Scholar
  12. 12.
    Ciancarini, P., Mascolo, C.: Software Architecture and Mobility. In: 3rd Int. Software Architecture Workshop (ISAW-3) (November 1998)Google Scholar
  13. 13.
    Mascolo, C.: MobiS: A Specification Language for Mobile Systems. In: 3rd International Conference on Coordination Models and Languages (1999)Google Scholar
  14. 14.
    Medvidovic, N., Rakic, M.: Exploiting Software Architecture Implementation Infrastructure in Facilitating Component Mobility. In: Software Engineering and Mobility Workshop, Toronto, Canada (May 2001)Google Scholar
  15. 15.
    Lopes, A., Fiadeiro, J.L., Wermelinger, M.: Architectural Primitives for Distribution and Mobility. In: 10th Symposium on Foundations of Software Engineering, SIGSOFT FSE 2002, pp. 41–50 (2002)Google Scholar
  16. 16.
    Cardelli, L.: Mobile Ambient Synchronization. SRC Technical Note Report 1997-013, Digital SRC (1997)Google Scholar
  17. 17.
    Vasudeva, E., Joshi, R.K.: A Scheme for Implementing Ambient Calculus over an ARC Framework. In: Software Design and Architecture Workshop, IIIT Bangalore (position paper) (December 2004)Google Scholar
  18. 18.
    Chess, D., Harrison, C., Kershenbaum, A.: Mobile Agents: Are They a Good Idea?. IBM Research Report RCGoogle Scholar
  19. 19.
    Perez, J., Ali, N., Costa, C., Carsí, J.A., Ramos, I.: Executing Aspect-Oriented Component-Based Software Architectures on.NET Technology. In: 3rd International Conference on .NET Technologies, Pilsen, Czech Republic, May-June (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Nour Ali
    • 1
  • Carlos Millán
    • 1
  • Isidro Ramos
    • 1
  1. 1.Department of Information Systems and ComputationPolytechnic University of ValenciaValenciaSpain

Personalised recommendations