• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Contemporary Computing >Selecting and formalizing an architectural style: A comparative study
【24h】

Selecting and formalizing an architectural style: A comparative study

机译：选择和形式化建筑风格：比较研究

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

摘要

An architectural style is characterized by their control-flow and data-flow patterns, appropriation of functionality across components, connectors, ports, and roles. Selecting an architectural style for an application is not an easy task. It is a decision-making task in which different objectives must be taken into consideration. In this study, different architectural styles are classified on the basis of many style-induced architectural properties. This classification provides additional guidance for people who lack expertise and experience to select an appropriate style for their software systems. Subsequently, an appropriate style is selected for the case study i.e., cargo router system. After selecting an appropriate style for cargo router system, it is formalized using formal modeling languages Alloy and Promela. For the model checking of these formal notations, automated verifiers such as Alloy Analyzer and SPIN are used. At the end of this study, comparison of performance between modeling languages Alloy and Promela as well as associated tools such as Alloy Analyzer and SPIN is performed.
机译：架构风格的特征在于它们的控制流和数据流模式，跨组件，连接器，端口和角色的功能专用性。为应用程序选择体系结构样式并非易事。这是一项决策任务，其中必须考虑不同的目标。在这项研究中，根据许多由风格引起的建筑属性对不同的建筑风格进行了分类。此分类为缺乏专业知识和经验的人提供了其他指导，以为其软件系统选择合适的样式。随后，为案例研究选择适当的样式，即货运路由器系统。在为货机系统选择合适的样式后，使用正式的建模语言Alloy和Promela将其形式化。为了对这些形式符号进行模型检查，使用了自动验证程序，例如Alloy Analyzer和SPIN。在本研究的最后，进行了合金语言和Promela建模语言以及相关工具（例如Alloy Analyzer和SPIN）之间的性能比较。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号