PhD in Computer Science

We announce the new session of the working group about software engineering at LaBRI. For this new session, Young-Joo Moon will present her thesis work. It will take place at LaBRI, room 178, Wednesday, the 23th of November at 10.00 AM.

TITLE: Stochastic models for quality of service of components connectors

ABSTRACT:
The intensifying need for scalable software has motivated modular development and using systems distributed over networks to implement large-scale applications. In Service-oriented Computing, distributed services are composed to provide large-scale services with a specific functionality. In this way, reusability of existing services can be increased. However, due to the heterogeneity of distributed software systems, software composition is not easy and requires additional mechanisms to impose some form of a coordination on a distributed software system.

Besides functional correctness, a composed service must satisfy various quantitative requirements for its clients, which are generically called its quality of service (QoS). Particularly, it is tricky to obtain the overall QoS of a composed service even if the QoS information of its constituent distributed services is given.

For this, Stochastic Reo is proposed to specify software composition with QoS aspects and its compositional semantic models. These semantic models are also used as intermediate models to generate their corresponding stochastic models for practical analysis. Based on this, we have implemented the tool Reo2MC. Using Reo2MC, we have modeled and analyzed an industrial software, the ASK system. Its analysis results provided the best cost-effective resource utilization and some suggestions to improve the performance of the system.

Google Citation is open to all. The service tracks your publications and computes their citation metrics: http://googlescholar.blogspot.com/2011/11/google-scholar-citations-open-to-all.html.

My profile is public: http://scholar.google.com/citations?user=zRtfccEAAAAJ

From RMod:

We are proud to announce the release of 1.3 of Pharo. This new release is the result of active development from the community and it is composed of:

• Cleaning architectural dependencies
• More cleanups directed by applying code critics on the system
• Support for server and headless images. Pharo has now a support for stdin, stdout and stderr.
• More robust and better startup/shutdown
• Improved look and feel
• Better widgets
• Improved tools
• Weak Announcements
• Stratified Proxy
• More class comments
• Network improvements based on Zinc

Download 1.3 here: http://www.pharo-project.org/pharo-download/release-1-3

I printed a A5 version of my thesis.

The cover was made by Guillaume Perrin. It makes the book really beautiful.

The pdf version of the A5 format is available here.

The Sphere team is visiting the team of Tom Mens at the university of Mons.