Bachelor and Master Theses

Title: A Design Framework for Service-oriented Systems
Subject: Computer Science
Level: Advanced
Description: Service-oriented systems (SOS) use services as their fundamental functional units, with capabilities of being published, invoked, composed and destroyed at run-time. Services are loosely coupled and have a greater level of independence from implementation attributes than components.

Services can be formally described by the resource-aware timed behavioural model REMES, which extends the basic model with service-specific information, such as type, capacity, time-to-serve, etc., as well as Boolean constraints on inputs and outputs. These specific constraints can be proved by means of correctness of compositions by checking Boolean relations between the invoked services. Also, by using a hierarchical language for dynamic service composition (HDCL), new services can be created, added, deleted, as well as connecting services sequentially, or in parallel. These requirements can be proved by means of correctness of compositions by checking Boolean relations between the invoked services. In addition, REMES is used for specification of both functional and extra-functional behavior of the components (timing, resource usage, reliability etc.). For formal analysis purposes, REMES can be semantically translated into the framework of timed automata or (multi) priced timed automata (PTA) depending on the analysis goals (i.e., timing analysis, resource consumption, etc.) using UPPAAL tools.

The goal of this thesis is to implement a service-oriented design framework, by providing a GUI for service behavior modeling based on REMES resource model, and a textual design language, in which services and their correctness conditions can be specified. The thesis will also contribute with an automated way of ensuring traceability between the two languages, which intends to facilitate efficient design. Last but not least, the work will provide means to model-check relevant properties of the models, by integrating the modelling language with UPPAAL-based tools.

The thesis work should include the following tasks:
a) Design of an easy-to-use graphical user interface (GUI) to graphically specify services and their attributes, in REMES.
b) Implementation of traceability between REMES model and textual language.
c) GUI Integration with a model checking tool (based on UPPAAL).

Expected outcome:
a) The GUI prototype implemented in Java.
b) Integration of the GUI with a UPPAAL-based model checker.
c) The thesis report describing the work.

Company: Mälardalens Högskola, kontaktperson: Cristina Seceleanu
Prel. end date: 2011-06-30
Presentation date: 2011-07-15
Student: Raluca Marinescu
Student: Eduard Enoiu
IDT supervisor: Aida Causevic, +46-21-107011
Examinator: Cristina Seceleanu
Cristina Seceleanu, +46-21-151764

Rapport och bilagor


Senaste uppdatering



2011-06-30, 11:01

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.08.23