• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Asia-Pacific Software Engineering Conference >Automated Analysis of Multi-View Software Architectures
【24h】

Automated Analysis of Multi-View Software Architectures

机译：自动化分析多视图软件架构

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Software architectures usually are comprised of different views for capturing static, runtime, and deployment aspects. What is currently missing, however, are formal validation and verification techniques of multi-view architecture in very early phases of the software development lifecycle. The main contribution of this paper therefore is the construction of a single formal model (in Promela) for certain stylized, and widely used, multi-view architectures by suitably interpreting and fusing sub-models from different UML diagrams. Possible counter-examples produced by model checking are fed back as test scenarios for debugging the multi-view architectural model. We have implemented this algorithm as a plug-in for the Enterprise Architect development tool, and successfully used SPIN model checking for debugging some industrial architectural multi-view models by identifying a number of undesirable corner cases.
机译：软件体系结构通常由不同的视图组成，用于捕获静态，运行时和部署方面。但是，当前缺少的是在软件开发生命周期的非常早期阶段中的多视图体系结构的形式验证和验证技术。因此，本文的主要贡献是通过适当地解释和融合来自不同UML图的子模型，为某些风格化且广泛使用的多视图体系结构构建单个正式模型（在Promela中）。由模型检查产生的可能的反例被反馈为调试多视图体系结构模型的测试方案。我们已经将该算法实现为Enterprise Architect开发工具的插件，并且通过识别大量不良情况，成功地使用SPIN模型检查来调试某些工业建筑多视图模型。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号