資源描述：
《premo a case study in formal methods and multimedia system》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。
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
