Dynamic composition of systems and services

本研究计划的主要目标是促进考虑其特性和语义的系统组成领域中不断增长的研究活动。更准确地说，目标是生成有效的系统组合，在运行时保持理想的特性。在本项目中，我们将重点关注系统服务、作为高级系统组合的web服务和移动服务组合。

The main objective of this research proposal is to contribute to the growing research activities in the domain of systems' composition taking into account their proprieties and semantics. More precisely, the aim is to generate valid compositions of systems that preserve desirable proprieties at run time. In this project we will be focusing on systems' services, web services as a mean of high level systems' composition, and mobile service composition. The outcomes of this research will be frameworks, approaches and formal methods based development lifecycle to achieve accurate, reliable, efficient and dynamic real-time composition of services. Research topics will address challenges in web services, mobile services, and systems composition. The long term objectives of this research are: the composition of systems using complex models, establishment of sound theories, and development of synthesis, verification, validation and testing algorithms for dynamic composition. The short term objectives are to develop approaches for the composition of web services and mobile application services that take into account user functional and nonfunctional requirements. I would like to validate some of the outcomes by experimentation and to apply the approaches to real applications, such as safety critical services and to develop mobile services. I would also like to develop mobile services to support equitable business in rural areas of developing countries. NB! This abstract is different from the one of the 180 form.