Software design through model transformation

通过模型转换进行软件设计

• 批准号: 402220-2011
• 负责人: ElBoussaidi, Ghizlane
• 金额: $ 1.38万
• 依托单位: École de technologie supérieure
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=573199
• 关键词: Software; design; through; model; transformation

Although much progress has been accomplished by software engineering research, designing high quality software systems and increasing productivity still pose great challenges. This results from the complexity of the software development process which requires extensive knowledge both in the domain under analysis and in software development. We identify two orthogonal approaches that attempt to manage this complexity. The first views the development process as a sequence of transformations that start with a specification of the software and end with its implementation while the second consists of identifying solutions to recurring problems. Our research program combines these two approaches, in particular in the design step. Indeed we aim to develop techniques and tools that support software designers in the transition from analysis to design within the framework of a transformational model-driven approach. In particular, we are interested in exploring transformations that support two key design activities namely architectural design and detailed design. We view these design activities as the process of transforming input models by applying codified design artifacts such as design patterns and architectural styles. Hence, within this research program, we propose to build and implement approaches that will help in inferring the context for applying these design artifacts and support their application within a model transformation framework. The results of this research program will contribute to a better understanding and support of the software design process in general and design artifacts in particular. By achieving a higher degree of automation of design artifacts such as architectural styles and design patterns, we contribute to enhancing the quality of software systems, increasing productivity and reducing maintenance costs.

尽管软件工程研究已经取得了很大进展，但设计高质量的软件系统和提高生产率仍然面临着巨大的挑战。这是由于软件开发过程的复杂性造成的，软件开发过程需要分析领域和软件开发方面的广泛知识。我们确定了两种尝试管理这种复杂性的正交方法。第一个将开发过程视为一系列转换，从软件规范开始到其实现结束，而第二个则包括确定重复出现的问题的解决方案。我们的研究计划结合了这两种方法，特别是在设计步骤中。事实上，我们的目标是开发技术和工具，支持软件设计人员在转型模型驱动方法的框架内从分析过渡到设计。我们特别有兴趣探索支持两个关键设计活动（即建筑设计和详细设计）的转变。我们将这些设计活动视为通过应用设计模式和架构风格等编码设计工件来转换输入模型的过程。因此，在这个研究计划中，我们建议构建和实施有助于推断应用这些设计工件的上下文并支持它们在模型转换框架内的应用的方法。 该研究计划的结果将有助于更好地理解和支持软件设计过程，特别是设计工件。通过实现架构风格和设计模式等设计工件的更高程度的自动化，我们有助于提高软件系统的质量、提高生产力并降低维护成本。