东京电力

Commentson32N1791WD19763-5(expertcontribution)OKABE,Masao2008.11.17目的外使用・複製禁止2007/07/11東京電力・システム企画部・岡部雅夫2OverviewThereareseveralgeneralissuesweneedtohaveconsensusonbeforegoingintotechnicaldetails,basedontheobjectivesofMFIPart5.1.WhatisaprocessfromthepointofMFIPart5?2.Whatisadifferencebetweenaprocessandaservice?3.HowdeepshouldMFIPart5registersemanticsofaprocess?目的外使用・複製禁止1.WhatisaprocessfromthepointofMFIPart5?Whetheraprocessonphysicalthingsiswithinthescopeornot?AndWhy?Example:Butter-makingprocessinput:milk,output:butterWhetheraprocessbyhuman(i.e.non-computerizedprocess)iswithinthescopeornot?Andwhy?OrMFIPart5intendstohaveonlyimplementation-freeabstractsemanticsofaprocess,ignoringbyhumanorcomputerized?Whyastate-transitionandevent-drivenprocessisoutofthescope,althoughtheyareimportanttomodelacomputerizedprocess.e.g.UMLsequencediagram,Petrinet,HoarCSPmodeletc.Note:Table1,AnnexCofWDMFIPart5says“UMLActivityDiagramisthefocusofthispart”,ratherthanUMLSequenceDiagram.2007/07/11東京電力・システム企画部・岡部雅夫3目的外使用・複製禁止2.Whatisadifferencebetweenaprocessandaservice?(1of2)AtWuhanAd-hocmeetinglastSeptember,we(?)agreedthatMFIPart7wouldbe“Metamodelforservicemodelregistration”.Dowereallyneedboth?Whatisadifference?TheChinesepresentationsays“Aservicerealizesaprocess”.But,ifweseetheRGPSpaper,bothmetamodelslooksimilar.IntheservicelayerofRGPS,“someconceptsarereferredfromOWL-S”,theRGPSpapersays.InOWL-S,specificationofaserviceismodeledasaprocessmodel,whichisrepresentedasametamodelintheintheservicelayerofRGPS.Therefore,themetamodelintheservicelayerofRGPSisametamodelforprocessmodelifwetaketheOWL-Sterms.2007/07/11東京電力・システム企画部・岡部雅夫4目的外使用・複製禁止2.Whatisadifferencebetweenaprocessandaservice?(2of2)MFIPart7doesnotintendtoregisteraserviceitself,butintendstoregisteramodelthatspecifiesaservice,thatis,aprocessmodelintheOWL-Sterminology.Ontheotherhand,AnnexAofWDMFIPart5showsanexamplebasedonthe“BravoAirreservationservice”exampleofOWL-S.So,MFIPart5andPart7mightbeprettymuchduplicated.Note:OWL-SisnotarecommendationofW3C,butisjustoneoftmembersubmissionsintheSemanticWebServiceInterestGroupofW3C,aswellasWebServiceModelingOntology(WSMO),SemanticWebServicesFramework(SWSF),WebServiceSemantics-WSDL-S.2007/07/11東京電力・システム企画部・岡部雅夫5目的外使用・複製禁止3.HowdeepshouldMFIPart5registersemanticsofaprocess?(1of3)Forexample,since4.3.14Postconditiononlyhasareference“constraints”toOutput,whatwecanknowisonlywhatoutputsapostconditionconstraintsandwecannotknowhowthepostconditionconstraintstheoutputs.ItdoesnotseemenoughfortheobjectivesofMFIPart5.Anotherexampleis4.3.19Sequence.Iguessthismataclassspecifiesasequencethatprocessesareexecuted.But,thereseemtobenosuchinformation.ItdoesnotseemenoughfortheobjectivesofMFIPart5.2007/07/11東京電力・システム企画部・岡部雅夫6目的外使用・複製禁止3.HowdeepshouldMFIPart5registersemanticsofaprocess?(2of3)LikeMFIPart3,doesMFIPart5requirerepositoriesthatstorefullsemantics(orspecifications)ofprocesses(orservices)?Ifso,forexample,howcan4.3.14Postconditionand4.3.19Sequencegetnecessaryspecificationsfromtherepositories?Theyarenotrelated.WeareafraidthatMFIPart3isenoughandMFIPart5isnotnecessarysinceifthereisaprocessmodelwithfullsemanticswhichcanbeidentifiedbyaURI,itcanberegisteredinMFIPart3registryasakindofontology.2007/07/11東京電力・システム企画部・岡部雅夫7目的外使用・複製禁止3.HowdeepshouldMFIPart5registersemanticsofaprocess?(3of3)DoesMFIPart7intendstospecifythisrepositoryspecifictoOWL-S?Ifso,MFIPart7specifictoOWL-SisoutofthescopeofMFI.MFIshouldbemoregeneric.WedonotwanttodevelopMFIPart7.1specifictoOWL-S,MFIPart7.2specifictoWSMO,MFIPart7.3specifictoSWSF,MFIPart7.4specifictoPSL,MFIPart7.5specifictoPetriNetetc.etc.2007/07/11東京電力・システム企画部・岡部雅夫8