Vincent
Tirsdag 08 juli 2008 00:04:52 +0000
Et annet snakke på DEBS som truet med å bli on-the-ball var Douglas Schmidts Keynote [* 1] på modell-drevet hendelse behandling. Selv om det ikke ble nevnt, mest kommersielle CEP programvare systemer [* 2] kan betraktes modell-drevet (f.eks tegne et diagram, og systemet vil generere riktig kode eller motor kontroller).
Hver EP forskeren har en "vinkel" og Vanderbilt's ser ut til å være "Distributed og sanntidsrapportering Embedded (DRE) systemer", definert som * ressurskrevende begrenset, vanligvis microcontroller-baserte systemer. Den presenterer innført "Model Driven Engineering" som en felles løsning, tradisjonelt bruker staten modeller, prosess / data flyter og Petri garn, som alle (20-40 år) hadde en stor semantiske gapet
til Fortran / Assembler etc. kode yesteryear. Siste utviklingen i kompilatorene osv. har gitt oss raskt Java og tilhørende rammer; problemet (for dette domenet) er at for mye fortsatt må være kodet "utenfor modellen", og utnytte biblioteker og rammer er for mye som en leksjon i kompleksitet ledelse. Så "semantiske gapet" gjenstår.
Vel, litt. I CEP space for business systemer, at gapet er ifølge kommersiell CEP-verktøy samfunnet (og fylt, med varierende grad av suksess).
Den presenterer nevnt 2 mulige løsninger: én er OMG MDA tilnærming, som dessverre han betegnet "UML Profiler" (aka undergrupper av UML for et spesifikt domene eller bruk). Disse kombinasjonene av aktivitet diagrammer, state-modeller, og "handling semantikk" [* 3] vurderes ved Vanderbilt som "domene uavhengig språk". Godt de kan, men de kan også være domene-spesifikke (og bevise punktet, epost nettopp kommet i innboksen min annonserer utvikling av et UML profil for XBRL finansiell rapportering - omtrent som "domene spesifikk" som du får).
I stedet teamet ved Vanderbilt foreslår domene bestemte språk som de kaller "metamodels". Som er forvirrende, * som i virkeligheten metamodels kan domenet independenent * eller * spesifikke. Den, det OMG Model Integrated Computing Gruppen ble nevnt som en guiding light for semi-automatiske oversettelser av modeller til koden [* 4]. Også nevnt var eksempler på teknologier som støttes DSLs, for eksempel Eclipse GMF.
Neste oppfatningen var at for å være "distribuert" - i DRE parlance dette betyr "Ultra Large Scaleability" systemer, som igjen høres veldig knyttet til kommersiell om XTP ... og dermed arbeidet med følgende teknologi brikker for å hjelpe til med å administrere komplekse distribuerte systemer [* 5], og som kanskje også være aktuelt å CEP:

• Kjøretid ytelse evaluering fra modeller slags in-situ ytelse bekreftelse gjennom ting kalt System Effektuering Modeling (SEM) verktøy [* 6]
  • Disse finner design reglene (som begrensninger) som kan bli testet i modellen
• Konfigurering av store antall komponenter (100s av 1000s etc) administreres via XML konfigurasjonsfiler
  • Derav Plattformuavhengig Component Modeling Language eller PICML som bruker OCL begrensninger gi visualisering av systemet dependancies [* 6 igjen]
• Middleware konfigurasjon modeller bruker begrensninger for QoS (Quality of Service), overføre ganger, osv. osv.
  • Derav en QoS Modeling Lang kalt DQML

Tittelen på denne Keynote var "Møte utfordringene i oppdragskritiske Distributed Event-baserte systemer med Q0S-aktivert Middleware og Model Driven Engineering", men var virkelig en introduksjon til Vanderbilt (et al) 's arbeid på disse (noe ekspert) DRE systemer. Ingen skade i den, så det var interessant å vite hva de er opp til, selv det viser seg å være ortogonale til CEP per se.
Merknader
[1] fra Vanderbilt University i god "ole Nashville, som også skje for å være vertskap for DEBS 2009. Noen av europeere ble litt bemused ved utlysing for DEBS 2009 befinner seg, på grunn av kommentarer som "... og vi har en slik og slik, som er virkelig flott å gå, bare 350 miles away ...". Så bedre få pushbike, da.
[2] Med mindre du har til hand-koden en streaming søket, Selvfølgelig!
[3] Et eksempel på kommersiell MDE er TIBCO BusinessEventsVed hjelp av UML-baserte modeller for konsepter (UML Klassifikasjon modeller) og stat (UML State modeller). I stedet for handling semantikk (som vel er direkte tilsvarer det vi kaller Regel Funksjoner) Vi * foretrekker å bruke declarative produksjon regler (og spørsmål). Som er transformert til sammen konstruerer for effektiv hendelse-drevet runtimes ...
[4] Sammenlign og kontrast med kunnskapsbasert Engineering gruppen i Fremstilling av OMG.
[5] Høres svært like de pesky agenter igjen ...
[6] Ikke et felles nok sikt å ha en Wikipedia beskrivelse, men ...


Kilde ...