1 / 7

Serialisering av grafiske spesifikasjoner

Serialisering av grafiske spesifikasjoner. Thomas Sløk Tvedt Veiledere: Uwe Wolter, Yngve Lamo, Adrian Rutle. Bakgrunn. DPL – Diagramatisk Predikat Logikk kan brukes til å beskrive modelleringsspråk og transformasjoner mellom disse

ranae
Download Presentation

Serialisering av grafiske spesifikasjoner

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  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 • http://gs.hib.no • Dagens motto: Det finnes ikke problemer, bare utfordringer 

More Related