资源描述：
《东京电力知识讲解.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
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.HowdeepshouldMFIPart5registersemanticsof aprocess?(1of3)Forexample,since4.3.14Postconditiononlyhasareference“constraints”toO
8、utput,whatwecanknowisonlywhatoutputsapostconditionconstraints
