資源描述:
《東京電力知識講解.ppt》由會員上傳分享,免費在線閱讀,更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、東京電力1.WhatisaprocessfromthepointofMFIPart5?Whetheraprocessonphysicalthingsiswithinthescopeornot?AndWhy?Example:Butter-makingprocessinput:milk,output:butterWhetheraprocessbyhuman(i.e.non-computerizedprocess)iswithinthescopeornot?Andwhy?OrMFIPart5intendstohaveonlyimplementation-
2、freeabstractsemanticsofaprocess,ignoringbyhumanorcomputerized?Whyastate-transitionandevent-drivenprocessisoutofthescope,althoughtheyareimportanttomodelacomputerizedprocess.e.g.UMLsequencediagram,Petrinet,HoarCSPmodeletc.Note:Table1,AnnexCofWDMFIPart5says“UMLActivityDiagramisth
3、efocusofthispart”,ratherthanUMLSequenceDiagram.2007/07/11東京電力?システム企畫部?岡部雅夫22.Whatisadifferencebetweenaprocessandaservice?(1of2)AtWuhanAd-hocmeetinglastSeptember,we(?)agreedthatMFIPart7wouldbe“Metamodelforservicemodelregistration”.Dowereallyneedboth?Whatisadifference?TheChinese
4、presentationsays“Aservicerealizesaprocess”.But,ifweseetheRGPSpaper,bothmetamodelslooksimilar.IntheservicelayerofRGPS,“someconceptsarereferredfromOWL-S”,theRGPSpapersays.InOWL-S,specificationofaserviceismodeledasaprocessmodel,whichisrepresentedasametamodelintheintheservicelayer
5、ofRGPS.Therefore,themetamodelintheservicelayerofRGPSisametamodelforprocessmodelifwetaketheOWL-Sterms.2007/07/11東京電力?システム企畫部?岡部雅夫32.Whatisadifferencebetweenaprocessandaservice?(2of2)MFIPart7doesnotintendtoregisteraserviceitself,butintendstoregisteramodelthatspecifiesaservice,th
6、atis,aprocessmodelintheOWL-Sterminology.Ontheotherhand,AnnexAofWDMFIPart5showsanexamplebasedonthe“BravoAirreservationservice”exampleofOWL-S.So,MFIPart5andPart7mightbeprettymuchduplicated.Note:OWL-SisnotarecommendationofW3C,butisjustoneoftmembersubmissionsintheSemanticWebServic
7、eInterestGroupofW3C,aswellasWebServiceModelingOntology(WSMO),SemanticWebServicesFramework(SWSF),WebServiceSemantics-WSDL-S.2007/07/11東京電力?システム企畫部?岡部雅夫43.HowdeepshouldMFIPart5registersemanticsofaprocess?(1of3)Forexample,since4.3.14Postconditiononlyhasareference“constraints”toO
8、utput,whatwecanknowisonlywhatoutputsapostconditionconstraints