特刊文章雷竞技app下载苹果版

评估可靠性设计决策与帕拉第奥的组件模型的影响

文摘

软件系统的关键属性,如可靠性和性能,应该检查在发展早期,当他们可以管理重要的建筑设计决策。几种架构可靠性分析方法开发了支持这一任务。然而,这些方法监督各个影响因素对可靠性或硬编码成正式的模型,它强烈限制了他们的适用性支持建筑设计在基于组件的开发过程。我们的方法,基于帕拉第奥组件模型(PCM),认为有关建筑因素高度参数化软件系统类似于uml模型,允许透明的评价建筑设计选项。模型系统的传播使用概要文件和整个架构和执行环境自动派生组件使用概要文件,在大多数现有的监管方法。在分析之前,模型自动转换为正式的分析模型。使用一个现实的例子中,我们将演示使用概要分析的支持。

Poovizhi Panpa P

阅读全文下载全文|访问全文