Integrating the analysis of multiple non-functional properties in the model-driven software engineering process

在模型驱动的软件工程过程中集成多个非功能属性的分析

• 批准号: RGPIN-2015-05225
• 负责人: Petriu, Dorina
• 金额: $ 1.75万
• 依托单位: Carleton University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=590295
• 关键词: Integrating; analysis; multiple; non; functional

This proposal is about seamless integration of multiple formal analysis models for Non-Functional Properties (NFPs), such as performance, reliability, availability, fault-tolerance, scalability, security, maintainability, cost, etc., into the Model-Driven Engineering (MDE) process, in order to guide the design choices from an early stage and to insure that the system under construction will meet its non-functional requirements. Such analysis models (also known as quality models) are based on existing formalisms and tools (e.g., queueing networks, stochastic Petri nets, stochastic process algebras, Markov chains, fault trees, probabilistic time automata, etc.) and are automatically derived by model transformations from the software models built for development. Developing software systems that exhibit a good trade-off between multiple NFPs is hard because the design of the software under construction and its underlying platforms have a large number of degrees of freedom spanning a very large discontinuous design space that cannot be exhaustively explored. Another challenge is due to the fact that some NFPs are conflicting (for example, security and performance).

该方案是关于非功能属性（NFP）的多个形式化分析模型的无缝集成，这些非功能属性包括性能、可靠性、可用性、容错性、可扩展性、安全性、可维护性、成本等，模型驱动工程（MDE）过程中，以指导设计选择从早期阶段，并确保正在建设的系统将满足其非功能性的要求。这种分析模型（也称为质量模型）基于现有的形式主义和工具（例如，随机网络、随机Petri网、随机过程代数、马尔可夫链、故障树、概率时间自动机等）并且通过模型转换从为开发而构建的软件模型自动导出。开发在多个NFP之间表现出良好权衡的软件系统是困难的，因为正在构建的软件及其底层平台的设计具有跨越非常大的不连续设计空间的大量自由度，该设计空间不能被穷尽地探索。另一个挑战是由于一些NFP是冲突的（例如，安全性和性能）。