A Categorical Approach for Modeling and Verifying Dynamic Software Architecture

2013 IEEE Seventh International Conference on Software Security and Reliability Companion Pub Date : 2013-06-18 DOI:10.1109/SERE-C.2013.38

Xiang Ling

{"title":"A Categorical Approach for Modeling and Verifying Dynamic Software Architecture","authors":"Xiang Ling","doi":"10.1109/SERE-C.2013.38","DOIUrl":null,"url":null,"abstract":"The dynamism in Software Architecture, also known as dynamic software architecture, is defined as the description of a system's structural evolution as execution progresses. It brings the challenge to the system's specification to incorporate the dynamic evolution patterns, as well as the verification of the system's properties. Community is an Architecture Description Language built on coordination principles and a categorical framework to support the composition of specifications of components to form the system's specification. However, an important problem of Community is the lack of support for specifying the system's architectural changes in both the set of components and the connections between them. This paper presents an extension of Community to support the specification of the dynamism in component-based systems. The categorical approach and architectural design principles supported by the language are illustrated through the design of a fault-tolerant, dynamic client-server system, from which some of the system's properties can be verified.","PeriodicalId":150535,"journal":{"name":"2013 IEEE Seventh International Conference on Software Security and Reliability Companion","volume":"13 3","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE Seventh International Conference on Software Security and Reliability Companion","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SERE-C.2013.38","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

Abstract

The dynamism in Software Architecture, also known as dynamic software architecture, is defined as the description of a system's structural evolution as execution progresses. It brings the challenge to the system's specification to incorporate the dynamic evolution patterns, as well as the verification of the system's properties. Community is an Architecture Description Language built on coordination principles and a categorical framework to support the composition of specifications of components to form the system's specification. However, an important problem of Community is the lack of support for specifying the system's architectural changes in both the set of components and the connections between them. This paper presents an extension of Community to support the specification of the dynamism in component-based systems. The categorical approach and architectural design principles supported by the language are illustrated through the design of a fault-tolerant, dynamic client-server system, from which some of the system's properties can be verified.

查看原文本刊更多论文

动态软件体系结构建模与验证的分类方法

软件体系结构中的动态性，也称为动态软件体系结构，被定义为随着执行过程对系统结构演变的描述。它给系统规范带来了包含动态演化模式的挑战，也给系统属性的验证带来了挑战。社区是一种建立在协调原则和分类框架之上的体系结构描述语言，用于支持组件规范的组合以形成系统规范。然而，Community的一个重要问题是缺乏对在组件集和它们之间的连接中指定系统体系结构更改的支持。本文提出了社区的一种扩展，以支持基于组件的系统中的动态规范。通过设计一个容错的动态客户机-服务器系统来说明该语言支持的分类方法和体系结构设计原则，从中可以验证系统的一些属性。

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

求助全文

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

来源期刊

2013 IEEE Seventh International Conference on Software Security and Reliability Companion

自引率

0.00%

发文量