Presentasjon lastes. Vennligst vent

Presentasjon lastes. Vennligst vent

Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle Serialisering av grafiske spesifikasjoner.

Liknende presentasjoner


Presentasjon om: "Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle Serialisering av grafiske spesifikasjoner."— Utskrift av presentasjonen:

1 Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle Serialisering av grafiske spesifikasjoner

2 Bakgrunn DPL – Diagramatisk Predikat Logikk kan brukes til å beskrive modelleringsspråk og transformasjoner mellom disse Teorien blir utviklet av veilederene. Denne baserer seg på DPL := Første Ordens Logikk + Kategoriteori

3 Hva er gjort før Adrian Rutle: doktorgrad om Diagramatisk Spesifikasjon, modellering, Modelbasert utvikling… Ørjan Hatland: Utviklet eit.NET basert program for å tegne signaturer og sketcher… Stian jobber med plug-in til Eclipse (basert på EMF + GEF + GMF) Verktøy for å lage signaturer og diagramatiske spesifikasjoner

4 Utfordring EMF (Ecore) er ikke uttrykksfullt nok til å beskrive signaturer og diagram spesifikasjoner

5 Problemstilling Serialisering av signaturer og diagram spesifikasjoner i XMI (Ecore) format

6 Hvordan løse dette (?) Først må eg forstå problemstillingen selv… Kan lage en wrapper model rundt Ecore og uttrykke de tilleggspredikatene/konstraintene i Eannotations?

7 Takk for meg Dagens motto: Det finnes ikke problemer, bare utfordringer


Laste ned ppt "Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle Serialisering av grafiske spesifikasjoner."

Liknende presentasjoner


Annonser fra Google