资源描述：
《premo a case study in formal methods and multimedia system》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、CentrumvoorWiskundeenInformaticaPREMO:AcasestudyinformalmethodsandmultimediasystemspecificationD.A.Duce,D.J.Duke,G.Faconti,I.HermanandM.MassinkInformationSystems(INS)INS-R9708November30,1997ReportINS-R9708ISSN1386-3681CWIP.O.Box940791090GBAmsterdamThe
2、NetherlandsCWIistheNationalResearchInstituteforMathematicsandComputerScience.CWIispartoftheStichtingMathematischCentrum(SMC),theDutchfoundationforpromotionofmathematicsandcomputerscienceandtheirapplications.Copyright©StichtingMathematischCentrumSMCiss
3、ponsoredbytheNetherlandsOrganizationforP.O.Box94079,1090GBAmsterdam(NL)ScientificResearch(NWO).CWIisamemberofKruislaan413,1098SJAmsterdam(NL)ERCIM,theEuropeanResearchConsortiumforTelephone+31205929333InformaticsandMathematics.Telefax+31205924199PREMO:
4、ACaseStudyinFormalMethodsandMultimediaSystemSpeci cationD.A.DuceRutherfordAppletonLaboratoryChilton,Didcot,OxonOX110QX,U.K.Email:D.A.Duce@rl.ac.ukD.J.DukeUniversityofYorkHeslington,York,YO15DD,U.K.Email:duke@minster.york.ac.ukG.FacontiCNR-CNUCEviaS.Ma
5、ria36,I-56126Pisa,ItalyEmail:faconti@cnuce.cnr.itI.HermanCWIP.O.Box94079,1090GBAmsterdam,TheNetherlandsEmail:Ivan.Herman@cwi.nlM.MassinkCNR-CNUCEviaS.Maria36,I-56126Pisa,ItalyEmail:M.Massink@guest.cnuce.cnr.itABSTRACTSC24,thesub-committeeoftheInternat
6、ionalOrganisationforStandardizationresponsiblefortheareaofcomputergraphicsandimageprocessing,isintheprocessofcompletingworkonanewstandardformultimediasystems,calledPREMO.Forthe rsttimeinSC24,formalmethodswereemployedduringthedevelopmentofthestandard.T
7、helessonslearnedfromthisexerciseareinterestingfortworeasons.First,PREMOspansconcernsrangingfromtheunderlyingobjectmodelthroughtoissuesrelatedtomediacontent.Thebroadscopeofthisworkhaspresentedchallengestotheuseofformalmethodsthathavenotbeenreportedinot
8、herindustrialapplications.Second,thestandardsdevelopmentprocessplacesrestrictionsonhowformalmethodscanbeapplied.ThispaperdescribestheapproachesthatthePREMOspeci cationgroupadoptedtoaddressthetechnicaldemandsoftheapplicationareaand,critically,w
