Dynamic composition of systems and services

这项研究提案的主要目的是促进在系统组成领域日益增长的研究活动，同时考虑到它们的特性和语义。更准确地说，目标是生成在运行时保留所需特性的系统的有效组合。在这个项目中，我们将重点关注系统的服务，Web服务作为高层系统组合的一种手段，以及移动服务组合。 本研究的成果将是基于开发生命周期的框架、方法和形式化方法，以实现准确、可靠、高效和动态的服务实时组合。 研究主题将解决网络服务、移动服务和系统组合方面的挑战。 这项研究的长期目标是：使用复杂模型组成系统，建立合理的理论，并开发动态组成的综合、验证、验证和测试算法。 短期目标是开发组合Web服务和移动应用程序服务的方法，以考虑用户的功能和非功能需求。 我想通过实验来验证一些结果，并将这些方法应用到实际应用中，例如安全关键服务和开发移动服务。我还想发展移动服务，以支持发展中国家农村地区的公平商业。 不知道！这篇摘要不同于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.