A calculus for dynamic customization of virtual environments

ABSTRACT

Two problems in the design and deployment of multimedia applications are the lack of design-time and run-time flexibility. In this paper we discuss a general methodology for tackling these issues. The work presented here is an extension of the AlphaOmega framework of [4]. In that framework we showed how the intuitive notion of an object representing its properties and capabilities to other objects differentially could be exploited to provide a powerful but easy way to change the behavior and interfaces of an application, dynamically if desired. In this paper, we develop a formal approach to the basic principles of the AlphaOmega framework. This leads to the definition of a formal system called the αω-calculus. The αω-calculus identifies a set of programming language abstractions that can be consistently added to any object-oriented language. While the calculus captures the intuitive notions underlying the AlphaOmega framework, it also goes beyond the original framework in power and flexibility. We demonstrate the generality of our approach by working with an example that shows how it provides unifying abstractions for such seemingly diverse domains as interactive distance learning and various issues in the area of multimedia documents.

References

1. 1.Martfn Abadi and Luca Caxdelli. A Theory o/Objects. Springer-Verlag, New York, 1996.
2. 2.B. Bailey, J. Konstan, R. Cooley, and M. Dejong. A toolkit for building interactive multimedia presentations. In Proceedings o/ACM Multimedia, pages 257- 266, September 1998.
3. 3.G. Berry and G. Gonthier. The ESTEREL programming language: Design, semantics and implementation. Science o/Computer Programming, 19(2):87-152, 1992.
4. 4.A. Ginsberg. View-Rules and Representations: A Framework for Dynamic Control of Multimedia in Virtual Environments. In Proceediags of IEEE ICMC$, pages 326- 332, June 1999.
5. 5.A. Ginsberg, P. Hodge, T. Lindstrom, D. Shiau, and B. Sampieri. "The Little Web Schoolhouse": Using virtual rooms to create a multimedia distance learning environment. In Proceedings of A CM Multimedia, pages 89-98, September 1998.
6. 6.M. Jourdan, N. Layaida, C. Raisin, L. Sabry-Ismail, and L. Tardif. Madeus, an authoring environment for interactive multimedia documents. In Proceedings of A CM Multimedia, pages 267-272, September 1998.
7. 7.R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part i. Information and Computation, 100(1):1-40, 1992.
8. 8.R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part II. Information and Computation, 100(1):41-77, 1992.
9. 9.A.I. March. Tailoring tools for system development. Journal of End User Computing, 10(2):22-30, 1998.

Index Terms

• Computing methodologies

  • Machine learning

• Theory of computation

  • Logic

  • Models of computation

    • Computability