Selecting and formalizing an architectural style: A comparative study

2014 Seventh International Conference on Contemporary Computing (IC3) Pub Date : 2014-09-15 DOI:10.1109/IC3.2014.6897201

A. Dwivedi, S. K. Rath

{"title":"Selecting and formalizing an architectural style: A comparative study","authors":"A. Dwivedi, S. K. Rath","doi":"10.1109/IC3.2014.6897201","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":444918,"journal":{"name":"2014 Seventh International Conference on Contemporary Computing (IC3)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 Seventh International Conference on Contemporary Computing (IC3)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IC3.2014.6897201","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

Abstract

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等自动验证器。在本研究的最后，对Alloy和Promela建模语言以及Alloy Analyzer和SPIN等相关工具的性能进行了比较。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2014 Seventh International Conference on Contemporary Computing (IC3)

自引率

0.00%

发文量