The human respiratory system as a feedback loop structure, from
reflections on self management
This page presents the activities of the Mozart group in the Department of Computing Science and Engineering (INGI) at the Université catholique de Louvain (UCL) in Louvain-la-Neuve, Belgium. These activities have as general theme to increase the expressiveness of programming languages, with a special focus on support for distributed computing. The research is a combination of theory and practice: new concepts are suggested by development needs, which leads both to theoretical results and system building. Our research vehicle is often the Mozart Programming System, a full-featured development platform based on the Oz multiparadigm programming language.
MANCOOSI:
Managing the Complexity of the Open Source Infrastructure (2008-2011)
European Union 7FP, IST Software and Services.
Partners: Université Paris Diderot, Edge-IT, Studi dell'Aquila, INESC-ID, Caixa Magica, Université Nice Sophia Antipolis, Tel Aviv University, ILOG, Université catholique de Louvain.
SELFMAN:
Self Management of Large-Scale Distributed Systems Based on Structured
Overlay Networks and Components (2006-2009)
The SELFMAN project is coordinated by P. Van Roy and started in June 2006.
European Union 6FP, IST Priority 2, Software and Services.
Partners: UCL, KTH, INRIA, France Telecom R&D, ZIB, NUS, Peerialism AB.
CoreGRID:
European Research Network on Foundations, Software Infrastructures
and Applications for Large Scale Distributed, Grid, and Peer-to-Peer
Technologies (2004-2008)
European Union 6FP, IST Priority, Grid-based Systems for Complex Problem Solving.
This is a Network of Excellence with 42 partners. UCL is a partner in the workpackage WP4 on system architecture.
EVERGROW:
Ever-growing global scale-free networks,
their provisioning, repair, and unique functions (2004-2007)
European Union 6FP, IST Priority, Proactive Initiative "Complex Systems Research"
This is an Integrated Project with 28 partners. UCL is a partner in subproject 3, whose goal is the investigation of scalable self-organizing decentralized systems, and in subproject 2, whose goal is the construction of a large distributed computing infrastructure and its use for the project. UCL is building an architecture for developing decentralized applications based on distributed components, using a structured overlay network as communications infrastructure.
European Union 5FP, FET Global Computing IST-2001-33234
Partners:
This project investigates all aspects of peer-to-peer computation, which is characterized by decentralization, scalability, dynamic topologies, and approximate consistency. We consider peer-to-peer as a general approach for building highly dynamic, robust, collaborative distributed applications. See the project Website for more information.
Methods for Engineering Secure Software
Walloon Region of Belgium, Convention 114856
Partners: Axel van Lamsweerde, Peter Van Roy, Jean-Jacques Quisquater.
This project investigates how to build secure applications "vertically", starting from requirements and leading to architecture and implementation. As case studies we will use distributed secure applications on the Internet. The project's approach complements the usual horizontal approach to security, which investigates only a thin slice of the application development cycle.
This work is confidential.
Generic Tools for Distributed Application Development
FSR (Fonds Speciaux de Recherche) project, UCL
Methods and Tools for Dependable Transparent Distributed Programming
Walloon Region of Belgium, Convention 9713540
The Mozart Programming System
The Mozart system is a development platform for intelligent, distributed applications. It is based on the Oz language. We make regular releases approximately once per year. Version 1.4.0 was released on July 3, 2008 and features a complete redesign of the network-transparent distribution layer that improves flexibility, supports asynchronous failure handling, and simplifies the programmer interface (see Raphaël Collet's Ph.D. dissertation). Here are four different overview talks about Mozart:
The purpose of this project is to make Oz into a secure language based on the principle of least authority, supported by a cryptographically secure version of Mozart (see the report on secure distribution in Mozart). With such a language, many important security problems become much easier to solve. Examples of such problems are protection against computer viruses and the so-called trade-off between security and usability. This project is inspired by and collaborates with the E Project.
This research focuses on a comprehensive concepts-based approach to teach programming that is both broad and deep. The approach is being used at a growing number of universities since 2001, in second-year through graduate courses. We have written a textbook, Concepts, Techniques, and Models of Computer Programming (also known as CTM, published by MIT Press in March 2004), and a French translation, Programmation: Concepts, techniques et modèles (published by Dunod Éditeur in Sep. 2007). The latter is accompanied by the Labo interactif, an exploration and learning tool published by ScienceActive. We make available course material for both textbooks in English and in French. A Polish translation was published by Helion in 2005 and a Japanese translation was published by Shoeisha in 2007. A Spanish translation is on the way.
Programmation: Labo interactif
(Interactive programming laboratory)
First-year programming based on multiagent microworlds: We have just completed a first-year course based on a progression of multiagent microworlds. This allows the students to learn concepts in a first-year course that would typically only be seen in much more advanced courses. The course uses a programming environment, LogOz, written in Mozart. The course material and software are available here (in French).
Teaching formal methods with MPVS: Isabelle Dony has built a practical tool, MPVS, to help students understand how to reason about imperative programs using specifications, loop invariants, and problem decomposition. MPVS does symbolic calculations using constraint programming to check verification conditions. MPVS is written in Mozart and is documented in Dony's dissertation Design, Implementation, and Evaluation of MPVS: A Tool to Support the Teaching of a Programming Method. It is available with full source code at SourceForce.net under the GNU GPL free software license. This work was done under the supervision of Baudouin Le Charlier.
MOZ 2004 brought together researchers, developers, educators, and users interested in the Oz language and the Mozart development platform. As the participants can confirm, it was an intense and exciting event with much animated discussion. Slides of the talks are available on the conference Web site. An extended version of the proceedings has been published in March 2005 as Springer-Verlag Lecture Notes in Computer Science volume 3389.
This research focuses on the high-level creation of user interfaces based on symbolic data structures. This allows the concise definition of context-sensitive, dynamic interfaces. The research vehicle is QTk, a user interface building tool that is part of the Mozart system. The abilities of QTk are illustrated by FlexClock, a simple clock utility.
This research focuses on how to clearly separate the concerns of application functionality, distribution structure, fault tolerance, openness, and security. We take language design into account and build real systems to test our hypotheses. This talk explains our vision in more detail.
The above publications give a flavor of what we do. For more, see the Mozart publication page, Van Roy's publication page, the CETIC publication page, and the PEPITO project page.
