移动分布式计算的软件体系结构

Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004) Pub Date : 2004-06-12 DOI:10.1109/WICSA.2004.1310703

V. Issarny, F. Tartanoglu, Jinshan Liu, F. Sailhan

{"title":"移动分布式计算的软件体系结构","authors":"V. Issarny, F. Tartanoglu, Jinshan Liu, F. Sailhan","doi":"10.1109/WICSA.2004.1310703","DOIUrl":null,"url":null,"abstract":"Today's wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the introduction of a number of supporting middleware. However, such solutions need to be complemented with adequate modeling and verification support towards enforcing the correctness of the dynamic mobile systems with respect to both functional and nonfunctional properties. Building on the elegant properties of software architecture modeling, this paper introduces base modeling of mobile software components, which integrates key features of the wireless infrastructure and allows for reasoning about the behavior of dynamically composed systems.","PeriodicalId":262908,"journal":{"name":"Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"28","resultStr":"{\"title\":\"Software architecture for mobile distributed computing\",\"authors\":\"V. Issarny, F. Tartanoglu, Jinshan Liu, F. Sailhan\",\"doi\":\"10.1109/WICSA.2004.1310703\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Today's wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the introduction of a number of supporting middleware. However, such solutions need to be complemented with adequate modeling and verification support towards enforcing the correctness of the dynamic mobile systems with respect to both functional and nonfunctional properties. Building on the elegant properties of software architecture modeling, this paper introduces base modeling of mobile software components, which integrates key features of the wireless infrastructure and allows for reasoning about the behavior of dynamically composed systems.\",\"PeriodicalId\":262908,\"journal\":{\"name\":\"Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-06-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"28\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WICSA.2004.1310703\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WICSA.2004.1310703","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 28

摘要

今天的无线网络和设备支持移动分布式系统的动态组成，根据设备连接。这特别导致了大量支持性中间件的引入。然而，这样的解决方案需要有足够的建模和验证支持来补充，以加强动态移动系统在功能和非功能属性方面的正确性。基于软件架构建模的优雅特性，本文介绍了移动软件组件的基本建模，它集成了无线基础设施的关键特性，并允许对动态组成系统的行为进行推理。

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

查看原文本刊更多论文

Software architecture for mobile distributed computing

Today's wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the introduction of a number of supporting middleware. However, such solutions need to be complemented with adequate modeling and verification support towards enforcing the correctness of the dynamic mobile systems with respect to both functional and nonfunctional properties. Building on the elegant properties of software architecture modeling, this paper introduces base modeling of mobile software components, which integrates key features of the wireless infrastructure and allows for reasoning about the behavior of dynamically composed systems.

求助全文

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

来源期刊

Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)

自引率

0.00%

发文量