Overview - George Mason University
Transcript of Overview - George Mason University
5/14/09
1
BMLEnabledInforma1onExchangeFramework
inSESontologyforC2
HojunLeeBernardP.Zeigler
ArizonaCenterforIntegra1veModeling&Simula1onUniversityofArizona
andRTSyncCorp
Overview
• Mo#va#on:ontology‐baseddatafusionforC2
• Review– theInforma#onExchangeFramework(IEF)andthe
SystemEn#tyStructure(SES)
– JDLDataFusionProcessModel
– BaJleManagementLanguage(BML)
• Approachtointegra#ngBMLintotheIEFintheC2DataFusionContext
• Resul#ngArchitectureforC2DataFusion
• Conclusions/FutureWork
5/14/09
2
C2NeedsforOntology‐basedDataFusionFramework
• C2needsinforma#on– Firststeptoplanmilitaryopera#onsisgatheringinforma#on.
– Morerefinedinforma#onismorevaluable.
• C2systemsneedanInforma#onExchangeFramework(IEF)tosupportsrequestsforhighlevelinforma#onaswellassimpleobjectdatafromvariousinforma#onsources
• BaJleManagementLanguage(BML)expressesuserrequirementsandinvokesinforma#onexchangeprocessinSESontology.
Informa1onExchangeFramework
5/14/09
3
ApproachtoIntegra1ngBMLintotheInforma1onExchangeFramework
DevelopSESsfor• Radar• Rela1ons• Threats
ExtendBMLtoexpressrequestsfor• AirTargets:Level1info• AirSitua1on:Level2info• AirThreat:Level3info
ExtendBMLtoexpressreportstomatchlevelsofrequests
DevelopPruningandTransforma1onOpera1onstosa1sfytheBMLrequest
JDLDataFusionProcessModel(1/2)Refinementprocessesinsensornetworksmappingrawdataintouseableproducts
Joint Directors of Laboratories (JDL) Model
5/14/09
4
JDLDataFusionProcessModel(2/2)
• Level0apreprocessingsteponsensorlevel• Level1(ObjectRefinement)–refinetheobjectsor
en##es’representa#on
• Level2(Situa#onRefinement)–describethecurrentrela#onshipsamongen##es.
• Level3(ThreatRefinement)–projectcurrentsitua#ontothenearfuture
• Level5(UserRefinement)–emphasisonuserrolesincehigherlevelinforma1onisrelatedtotemporal/spa1alcoordinatesspecifiedbyusers
correspondstothepragma#cframeinIEF
Background‐SystemEn1tyStructure(SES)
• En1ty:realworldobjects,madeofotherchildrenen##es.
• Aspect:representsthelabeleddecomposi#onrela#onbetweentheparentandthechildren.
• Specializa1on:labeledrela#onthatexpressesalterna#vechoicesthatasystemen#tycantakeon.
• Mul1‐Aspect:isanaspectthatexpressesanallofonekinddecomposi#on.
• Variables:areslotsaJachedtoanen#ty.Theslotscantakevaluesinaspecifictypeandrange.
• inheritance:theparentandanychildofaspecializa#oncombinetheirindividualvariables,aspectsandspecializa#onswhenpruningisac#vated
A formal framework for ontology development • especially to enable automation in modeling and simulation • applicable to complex data-engineering • set-theoretically defined • implemented in XML-based SES-Builder
5/14/09
5
SystemEn1tyStructure:WineOntologyExample
WhiteWineColor
Regions
Region MultiAsp
Wine
WineColorSpec
RedWineColor
RoseWineColor
Region
WineTasteSpec
regionGrows
regionGrowsMultiAsp
wineCountryDec
Region Wine
wineCountry
WineDec
WineGrowing entity
aspect
specialization multiple aspect
SESSupportsStructureMappings
• Structuralopera#onsinSESontologyframework– Pruning:opera#ontocutoffunnecessarystructureinSES
• Assignsomevaluestospecificen##es
• Trimtogeten##eswhichuserrequires
– Transforma#on:mappingfromoneontologytoanother.
• Theseopera#onsareinvokedbyuserrequirements–thepragma#cframeinInforma#onExchangeFramework(IEF)
5/14/09
6
Ba]leManagementLanguage(BML)• Aformalcommandandcontrollanguage
– Anunambiguouslanguageusedtocommandandcontrolforcesandequipmentconduc1ngmilitaryopera1ons
– toprovideforsitua1onalawarenessandshared,commonopera1onalpictures– understandabletohumansandmachines
• Intendedtobridgegapbetween– C2system(Human)andsimulatedforces(Machines).– C2system(Human)andrealforces(Human).– C2system(Human)androbo1cforces(Machine)infuture
• OrderandRequest
– OB→VerbTaskerTaskee(Affected|Ac#on)WhereStart‐When(End‐When)WhyLabel(Mod)*
• Report– RB→task‐reportVerbExecuter(Affected|Ac#on)WhereWhen(Why)Certainty
Label(Mod)*
– RB→event‐reportEVerb(Affected|Ac#on)WhereWhenCertainlyLabel(Mod)*– RB→status‐reportHos#lityRegarding(Iden#fica#onStatus‐value)WhereWhen
CertaintyLabel(Mod)*
FocusonRequestandReport
ExtendingBMLtotheInforma1onExchangeFramework
• BMLisextendedtoexpressmilitarypragma#cframesforhighlevelinforma#onfusioninsensornetworks
• Request– OB→requestContentsTaskerTaskee(Affected|Ac#on)Interest‐
Where(Tasker‐Where)Start‐When(End‐When)(Interval‐When)WhyLabel(Mod)*
– Applyvarious‘Contents’formul#‐levelinforequest.• AirTargetsInfo:Level1info• AirSitua#on:Level2info• AirThreat:Level3info
– Add‘Tasker‐Where’and‘Interval‐When’forhighlevelinfoprocess.
5/14/09
7
ExtendingBMLforIEF(Cont’d)
• Report– RB→status‐reportHos#lity(Rela#ons/Situa#on)(Threat)Regarding(Iden#fica#onStatus‐value)WhereWhenCertaintyLabel(Mod)*
– Add‘Rela#ons/Situa#on’and‘Threat’forlevel2/3info.
Click to Expand
Click to Expand
DetermineRela1onsbyfeatures• Affilia1onbyiff• Speedbyvelocity• Aggressivenessbyotherreports
• Distancebyrela1vedistancerangebetweentargetsandusers
• Direc1onbyrela1vetargetheading
Transforma1onandPruning:Rela1ontoThreatSESs
Rela#on‐SES
Threat-SES
Example:Atargetishos#le,slow,neutral,away,outofwarningrange,outofac#onrangefromthecommander.
PredefinedRulesmapthesetofrela1onstothethreattypesinThreat‐SES
Example:Thetargetiscau#ous.
5/14/09
8
15
16
5/14/09
9
Resul1ngDataFusionSystemArchitecture
Conclusions
• Weproposedaninforma#onexchangeframeworkfordatafusioninsensornetworks
• ExtendedBMLtoexpresspragma#cframesinaunambiguousway
• BMLrequestsinvokeontologicalopera#onsinSEStoprovidethreatlevelreportschemata
• Theapproachcaststhedatafusionprocessdevelopmentwithinanontologicalframeworkthatisamenabletomodelingandsimula#on
5/14/09
10
FutureWork
• Studycompa#bilityofourapproachwithexis#ngBMLsystem.
• ExtendframeworktofabricatethewholebaJle‐fieldpictureincludinggroundpicture.
• StudyinteroperabilityissueswithanothermessageformatsuchasCursoronTarget(CoT).
• FurtherdevelopmentforGIG/SOAWebServicescontext– NetworkCentricEnterpriseServices(NCES)andNetEnabledC2
(NECC)maybenefitfromtheBMLenhancedInforma#onExchangeFramework
devsworld.org www.acims.arizona.edu Rtsync.com
BooksandWebLinks
20
5/14/09
11
MoreDemosandLinksh]p://www.acims.arizona.edu/demos/demos.shtml
• NTAC_DEMO(Marketplace_demo,MarketplaceObserver_demo)
• IntegratedDevelopmentandTes1ngMethodology:
• AutoDEVS(ppt)&DEMO
– Naturallanguage‐basedAutomatedDEVSmodelgenera1on
– BPMN/BPEL‐basedAutomatedDEVSmodelgenera1on
– Net‐centricSOAExecu1onofDEVSmodels
– DEVSUnifiedProcessforIntegratedDevelopmentandTes1ngofSOA
• IntrusionDetec1onSystemonDEVS/SOA
21
BACKUP
22
5/14/09
12
BMLforIEFHowBMLinvokesontologicalopera#onsinSES
– PruningBML‐SESinSchemaformat
BMLforIEF
• PrunedBML‐SESextractsdatafromprunedRadar‐SES(mappingrela#onsfromBML‐SEStoRadar‐SES)– Radar‐SESisaSESontologytodealwithradardata
• ForLevel1– BindprunedBML‐SESwithextracteddata
– Sendbacktouser
5/14/09
13
RadarSES
Red dot lines represent pruned entities
BMLforIEF
• ForLevel2/3– ProceedtoSitua#onAwarenessprocessinSESontology
– FeaturebasedRela#on‐SESpruningprocess– Rela#onsandRulebasedThreat‐SESpruningprocess
– BindprunedBMLwithlevel2/3datainprunedRela#on‐SESandprunedThreat‐SES.
– Sendbacktouser
5/14/09
14
Examples
• Scenario1– Thecommanderof01baJalionwantstoreceivecon#nually
updatedbasicinforma#onofair‐targetsconcerningdangerousflyingobjectsintheneighborhoodofapoint(Xp,Yp)inCartesiancoordinatesystemwithradiusof4miles,tounderstandcurrentairspacesitua#on.
• BMLRequest– requestAirTargetsInfo01Bat001FCatXp,Ypwithradiusof4startatnowlabel‐r‐001
– ‘Where’couldbearea,notpinpoint.Soitisassumedasacircle.
• ‘AirTargetsInfo’ requests Level 1 info and perform a pruning process in BML-SES
Examples
5/14/09
15
• Data binding with data in pruned Radar-SES • BML Report at every interval period
• status-report one hostile interceptor at 30, 30 at now fact label-sr-001
• Scenario 2 • The same commander now wants to recognize threatening targets
in the same area. He wants to determine whether or not he needs to turn the unit to yellow alert in accordance with the received threat analysis results.
Examples
Examples
• BMLRequest– requestAirThreat01Bat 001FCatXp,Ypwithradiusof4at
Uxp,Uypstartatnowlabel‐r‐002
– Adduserloca#oninfoforlevel2,3processes.– ‘AirThreat’invokeslevel3process.Dothesamepruningas
example1exceptlevelen##es.
• FeaturebasedpruninginRela#ons‐SES– Targetfeatures:loca#on,velocity,heading,iff– Userfeatures:loca#on
5/14/09
16
Examples
– DetermineRela#onsbyfeatures• Affilia#onbyiff
• Speedbyvelocity• Aggressivenessbyotherreports• Distancebyrela#vedistancerangebetweentargetsandusers• Direc#onbyrela#vetargetheading
– Itcouldbethefollowingrela#onset:• Atargetishos#le,slow,neutral,away,outofwarningrange,outofac#onrangefromthecommander.
• PredefinedRulesaboutthesetofrela#onsdeterminesthethreattypesinThreat‐SES– Thetargetiscau#ous.
Examples
• ItcomesbacktoC2systemasareport:– status‐reportonehos#lecau#ousinterceptor
at32,32atnowfactlabel‐sr‐002