资源描述：
《基于时段演算实时服务构件组装形式化模型》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、http://www.paper.edu.cnTheFormalModelofReal-timeServiceComponentsCompositionBasedon1DurationCalculus*XianliJinHuadongMaSchoolofComputerScienceandTechnology,BeijingUniversityofPostsandTelecommunications,100876,China)jinsonly@163.comAbstractThispaperproposesan
2、ewmethodformodelingthereal-timeservicecomponentscompositionusingDurationCalculus(DC),anintervaltemporallogic.Wefirstintroducethedefinitionofservicecomponentformalism.ThenweanalyzehowtouseDCtodescribethecomponentcompositionindetail.Moreover,thetemporalconstra
3、intcheckingofcomponentcompositionisdiscussed.Comparedwiththepreviousmethods,themainadvantageofourmethodisthatitcanformallydepictthetemporalconstraintswithdifferentgranularitiesoftheservice-orientedsystem.Keywords:servicecomposition,component,durationcalculus
4、,real-time1IntroductionWiththerapidincreaseoftherequirementsofreal-timeapplications,thedesignanddevelopmentofreal-timesystemsbecomemoreandmoredifficultandcomplex.Component-BasedDevelopment(CBD)[1]techniquesprovideaneffectivesolutiontoreducethecomplexity,whic
5、hgenerallyuseshierarchicalstructurestoorganizethedesignschemesandspecificationsindifferentviewpointsofasystem,meetingtheneedsofdevelopersandimplementers.However,howtoformallyconstructandverifyacomplexcomponent-basedreal-timesystembecomesakeyproblemforthereal
6、-timeapplications,whichmakesitpossibletopreventthedesignerrorsinaninexpensivewayatearlydesignstages.Furthermore,foracomplexreal-timesystem,onlyconsideringthesafetyisnotenough,andthetemporalconstraintsbetweencomponentsarealsoanimportantpropertyinreal-timeserv
7、icesystems.Thus,wemainlyfocusontheformaldescriptionforthetimecharacteristicofcomponentinterfaceinthispaper.DurationCalculus(DC)[2,3]isanexcellenttheorytomodelrealtimesystems,whichcanbeusedtospecifyvariousreal-timesystems,suchasmultimediasystems[4].Thispapera
8、imstothespecificationandcompositionofreal-timeservicecomponentsincomponent-levelandsystem-levelinreal-timesystem.Atfirst,weformalizethedefinitionofcomponentinterfacesusingDCandthenbasedonthis,an
