Dynamic composition of systems and services

本研究建议的主要目标是促进日益增长的研究活动，在考虑到他们的礼仪和语义领域的系统的组成。更准确地说，目标是生成有效的系统组合，在运行时保持所需的特性。在这个项目中，我们将集中在系统的服务，Web服务作为一种手段，高层次的系统的组合，和移动的服务组合。 本研究的成果将是基于开发生命周期的框架、方法和形式化方法，以实现准确、可靠、高效和动态的实时服务组合。 研究主题将解决网络服务，移动的服务和系统组成的挑战。 本研究的长期目标是：使用复杂模型的系统的组成，建立健全的理论，和动态合成的综合，验证，确认和测试算法的发展。 短期目标是开发Web服务和移动的应用服务的组合方法，考虑到用户的功能和非功能需求。 我想通过实验来验证一些结果，并将这些方法应用到真实的应用中，例如安全关键服务和开发移动的服务。我还想发展移动的服务，以支持发展中国家农村地区的公平商业。 NB！这份摘要不同于180表格中的那份。

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.