Programming for the global computing environment
Emerging global computing environments show increased demands in the range of interactions among users, in addition to an unlimited number of components and objects. Moreover, mobility, predictability, security and fault-tolerance are important features in global computing. Current middleware and programming language technologies are potentially insufficient in meeting these demands. Addressing these needs, the MIKADO project developed a new core domain-based programming model for the specification and programming of highly distributed and mobile systems. On the theoretical basis of this model, researchers defined specification and analysis techniques aimed for enhancement of the safety and trustworthiness of systems. The programming model, along with the techniques, were employed for implementing concrete programming technologies. One of the developed programming languages was the Typed Concurrent Objects (TyCO) distributed programming language. This object-oriented, concurrent language relies on an extension of an asynchronous calculus, namely the pi-calculus and features first class objects, asynchronous messages and process definitions. The latter offer the basis for modelling object classes. For more information, click at: http://mikado.di.fc.ul.pt/index.html
