Vincent
Tirsdag, 08 juli 2008 00:04:52 +0000
En anden taler på DEBS , der truede med at være on-the-ball var Douglas Schmidt's Keynote [* 1] om Modeldrevet begivenhed forarbejdning. Selv om det ikke blev nævnt, de fleste kommercielle CEP software systemer [* 2] kan betragtes Modeldrevet (f.eks tegne et diagram, og systemet genererer den relevante kode eller motor kontrol).
Hvert EP forskeren har en "vinkel", og Vanderbilt's ser ud til at være "Distribueret og Realtime Embedded (Dre) systemer", der defineres som * ressourceintensiv hæmmet, typisk microcontroller-baserede systemer. Præsentationsværten indført "Model Driven Engineering" som en fælles løsning, som traditionelt bruger state modeller, proces / datastrømme og Petri Net, som alle (20-40 år siden) havde en stor semantisk forskel
til Fortran / samlevirksomhed osv. kode Gårsdagens. Den seneste udvikling i compilers etc har givet os hurtig Java og tilhørende rammer; problemet (for dette område) er, at for meget stadig skal kodes "uden for den model", og udnytte de biblioteker og rammer er også meget gerne en lektion i kompleksitet forvaltning. Så det "semantiske kløft" stadig.
Tja, en smule. I CEP plads til forretningssystemer, at kløften er målrettet efter den kommercielle CEP-værktøj samfund (og fyldt med varierende succes).
Præsentationsværten nævnt 2 mulige løsninger: Den ene er OMG MDA-baserede tilgang, som desværre han betegnes "UML Profiler" (alias subsets af UML for et bestemt domæne eller brug). Disse kombinationer af aktivitet diagrammer, state modeller, og "handling semantik" [* 3] anses af Vanderbilt som "domæne uafhængige sprog". Godt de kan, men de kan også være domæne-specifik (og til at bevise det punkt, en e-mail lige ankommet i min indbakke annoncere udviklingen af en UML profil for XBRL regnskabsaflæggelse - ca som "domæne specifikke" som du får).
I stedet har holdet på Vanderbilt foreslår domæne specifikke sprog, som de kalder "metamodels". Som er forvirrende, * som i virkeligheden metamodels kan domæne independenent * eller * specifik. Den OMG Model Integrated Computing gruppe blev nævnt som et ledende lys for semi-automatiske oversættelser af modeller til kode [* 4]. Også nævnes eksempler på teknologier, der støttes DSLs, såsom Eclipse GMF.
Det næste idéen var, at for at blive "distribueret" - i Dre jargon denne oversætter til "Ultra Large Udvidelsesmuligheder" systemer, som igen lyder meget knyttet til den kommercielle begrebet XTP ... og dermed arbejde på følgende teknologi stykker til at hjælpe med at styre komplekse distribuerede systemer [* 5], og som også kan være relevante for CEP:

• Længde ydeevneevalueringer fra modeller, sortere af in-situ ydeevnekontrol gennem ting kaldet System Efterkommelse Modeling (SEM) værktøjer [* 6]
  • Disse udtrykke design regler (som begrænsninger) som kan afprøves i modellen
• Konfiguration af et stort antal komponenter (100 sekunder i 1000 osv.) styres via XML konfigurationsfiler
  • Derfor er det Platform Independent Component Modeling Language eller PICML , der bruger OCL begrænsninger at give visualisering af systemet dependancies [* 6 igen]
• Middleware konfiguration modeller ved hjælp af begrænsninger for QoS (Quality of Service), transmittere gange, etc etc
  • Dermed en QoS Modeling Lang kaldet DQML

Titlen på denne hovedtale var "Udfordringerne i Mission-kritiske Distributed Event-baserede systemer med Q0S-aktiverede Middleware og Model Driven Engineering", men var virkelig en introduktion til Vanderbilt (mfl.) 's arbejde med disse (noget specialist) Dre systemer. Nogen skade i, at det var interessant at høre, hvad de op til, at selv det viser sig at være ortogonale i forhold til CEP per se.
Noter
[1] Fra Vanderbilt University i god "ole Nashville, der også viser sig at være værter for DEBS 2009. Nogle af de europæere blev lidt forvirret af meddelelsen til DEBS 2009 placering, på grund af bemærkninger som "... og vi har så-og-sådan, hvilket er virkelig dejligt at besøge, kun 350 miles væk ...". Så bedre medbringe dit pushbike, da.
[2] Medmindre du er nødt til at hånd-kode en streaming query, Selvfølgelig!
[3] Et eksempel på kommercielle MDE er TIBCO BusinessEventsVed hjælp af UML-baserede modeller for begreber (UML klasse modeller), og staten (UML stat modeller). I stedet for handling semantik (som jeg gætte er direkte svarer til, hvad vi kalder Regel funktioner) vi * foretrækker at bruge angivelsesmæssige produktionsreglerne (og forespørgsler). Som er omdannet til kompileres konstruktioner for effektive event-drevet Runtimes ...
[4] sammenligne med den videnbaserede Engineering gruppe i fabrikationsdelen af OMG.
[5] Lyder frygtelig gerne disse pesky agenser igen ...
[6] Ikke en fælles nok sigt at have en Wikipedia beskrivelse, selv om ...


Kilde ...