A framework for mobile Java applications

ABSTRACT

We present the Dynamic Theory Execution (DynamiTE) framework for creating concurrent object-oriented applications, with semantics grounded in a process calculus. DynamiTE allows a system to be constructed as a series of distinct mobile components called environs which can change position during execution, and between which individual processes can migrate.

REFERENCES

• 1: Luca Cardelli , Andrew D. Gordon, Mobile Ambients, Proceedings of the First International Conference on Foundations of Software Science and Computation Structure, p.140-155, March 28-April 04, 1998
• 2: A. Hughes. Nomadic Time (Extended Abstract). In R. Schmidt and G. Struth, editors, Proc. of the PhD Programme at Relational Methods in Computer Science/Applications of Kleene Algebra (RelMiCS/AKA) 2006, number CS-06-09 in University of Sheffield Technical Reports, pages 60--64, 2006.
• 3: A. Hughes. Timed Mobile Systems. Technical Report CS-07-09, University of Sheffield, 2007.
• 4: Massimo Merro , Josva Kleist , Uwe Nestmann, Mobile objects as mobile processes, Information and Computation, v.177 n.2, p.195-241, 15 September 2002 [doi>10.1016/S0890-5401(02)93172-X]
• 5: R. Milner, Communication and Concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 6: R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Technical Report ECS-LFCS-89-86, University of Edinburgh, June 1989.
• 7: B. Norton, G. Lüttgen, and M. Mendler. A Compositional Semantic Theory for Synchronous Component-Based Design. In Proc. of the 14th Intl. Conference on Concurrency Theory (CONCUR '03), number 2761 in LNCS, pages 461--476. Springer, 2003.
• 8: D. N. Turner. The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, The University of Edinburgh, 1996.
• 9: Jan Vitek , Giuseppe Castagna, Seal: A Framework for Secure Mobile Computations, Workshop on Internet Programming Languages, p.47-77, May 13, 1998
• 10: P. T. Wojciechowski. Nomadic Pict: Language and Infrastructure Design for Mobile Computation. PhD thesis, The University of Cambridge, Mar. 2000.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Frameworks

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
      D.1.5 Object-oriented Programming

General Terms:
Design

Keywords:
CCS, CaSE, Java, TNT, ambient calculus, mobility, process calculus