指定动态分布式软件架构

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI:10.5753/sbes.1998.24016

V. C. D. Paula, G. Justo, P. Cunha

{"title":"指定动态分布式软件架构","authors":"V. C. D. Paula, G. Justo, P. Cunha","doi":"10.5753/sbes.1998.24016","DOIUrl":null,"url":null,"abstract":"The concept of software architecture is important to the design of complex software systems, as it provides a model of the large scale structural properties of the system. lt is possible to find several formal models to depict static distributed software architecture. Nevertheless, notations for supporting architectural dynamism and evolution are still difficult to find in the literature. We present a formal framework to specify dynamic distributed applications to enable us to specify the dynamic behaviour of reconfigurable systems. This framework will help the designer to check the project suitability.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Specifying Dynamic Distributed Software Architectures\",\"authors\":\"V. C. D. Paula, G. Justo, P. Cunha\",\"doi\":\"10.5753/sbes.1998.24016\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The concept of software architecture is important to the design of complex software systems, as it provides a model of the large scale structural properties of the system. lt is possible to find several formal models to depict static distributed software architecture. Nevertheless, notations for supporting architectural dynamism and evolution are still difficult to find in the literature. We present a formal framework to specify dynamic distributed applications to enable us to specify the dynamic behaviour of reconfigurable systems. This framework will help the designer to check the project suitability.\",\"PeriodicalId\":201403,\"journal\":{\"name\":\"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)\",\"volume\":\"101 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-10-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/sbes.1998.24016\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/sbes.1998.24016","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

软件体系结构的概念对于复杂软件系统的设计非常重要，因为它提供了系统的大规模结构属性的模型。找到几个正式的模型来描述静态分布式软件体系结构是可能的。然而，支持建筑动态和进化的符号仍然很难在文献中找到。我们提出了一个正式的框架来指定动态分布式应用程序，使我们能够指定可重构系统的动态行为。这个框架将帮助设计师检查项目的适用性。

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

查看原文本刊更多论文

Specifying Dynamic Distributed Software Architectures

The concept of software architecture is important to the design of complex software systems, as it provides a model of the large scale structural properties of the system. lt is possible to find several formal models to depict static distributed software architecture. Nevertheless, notations for supporting architectural dynamism and evolution are still difficult to find in the literature. We present a formal framework to specify dynamic distributed applications to enable us to specify the dynamic behaviour of reconfigurable systems. This framework will help the designer to check the project suitability.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)

自引率

0.00%

发文量