系统体系方法与软件系统功能形式分解.pdfVIP

第 3l卷第 12期 通 信 学 报 、0，l_3lNo．12 2010年 12月 JournalollCommunications December2010 系统体系方法与软件系统功能形式分解 卢捍华 ，张顺颐，王亚石 ，闵丽娟 (南京邮电大学 信息网络技术研究所，江苏 南京 210003) 摘 要：从系统体系理论和方法出发，研究基于物联网、云计算的开放应用软件系统功能分解的描述和评价方法， 提出用功能框架方法对系统从抽象到具体进行描述对于系统体系的重要性。提出从抽象出发的适应软件系统体系 建立的功能分解方法和功能评估方法，并说明这些方法在系统开发以及建立系统稳定中间形式中的作用，这有助 于在物联网、云计算和SOA等开放环境下的大型应用软件系统的建设、部署和维护过程的改进。 关键词：物联网；云计算；应用软件系统；框架方法；系统体系；呈现行为 中图分类号：TP391 文献标识码：A 文章编号：1000—436X(2010)12—013I-09 System 0fsystemsmethodandformalfunction n1ecom oosit‘i-on 一[orSot一-tw·aresystem s LUHan—hua，ZHANGShun—yi，WANGYa—shi，MINLi-juan (INTI，NanjingUniversityofPostsandTelecommunications，Nanjing210003，China) Abstract：Basedonthetheoryandmehtodofsystem ofsystem (SOS)，theresearchworkfortheformalfunctionalde— composition nad estimation oflarge scale nad open softwraesystemswasdescribed，which wereoften emergedin IOT(intemetofthings)andcloudcomputingenvironments．Itwasproposedthatabsrtactiondescriptionwasnecessaryfor theSoSpropertiesofalargescaleandopensoftwraesystem．Basedonsystem abstract，formalmethodsforfunctional decompositionnadestimationweredescribed．Theapplicationsofhtemehtodsinsystem developmentandstableinter— mediatefomr buildingwerediscussed．Themethodsproposedhereraehelpuflforimprovingtheprocessesofimplemen— tation，deploymentnadmaintenanceoflragescaleandopensoftwaresystemsinIOTna dcloudcomputingenvironments． Keywords：Internetofthings；cloudcomputing；applicationsoftwaresystem ；frameworkmehtods；system ofsystems； emergentbehaviors 放环境下，可以获得越来越多的网络资源支持，人 1 引言