Tooling 4 CC

Master
%TOC%

---++ General Information
---++++ Titel afstudeeropdracht: Tooling voor CC kennismodellen
---++++ Duur van afstuderen: 6 Maanden
---++++ Begeleider: Willy Jansen (Manager BIT SAS)
---++++ Locatie: Groningen

---++ INLEIDING

CC is een methode waarbij de betekenis van kennismodellen
wordt gerepresenteerd. Dit kan onder meer worden gebruikt om ambiguiteiten op
te sporen, en inconsistenties in complexe situaties bloot te leggen. Wij denken
daarbij aan het ontdekken van ongeauthoriseerde toegang tot beveiligde
netwerken, het vinden van inconsistenties in grootschalige softwareprojecten,
het garanderen van de financiele consistentie in een bancair systeem, of het
ontwerpen van efficientere/effectievere procesketens. Dit zijn zaken waar TNO
Telecom regelmatig mee te maken krijgt, en waarvan we verwachten dat CC een significante
bijdrage kan leveren.

---++ OPDRACHTOMSCHRIJVING

Om de CC methode te ondersteunen, met name voor grote
projecten, is het nodig tooling te ontwikkelen. Hierbij kan de student de
afstudeeropdracht gedeeltelijk zelf invullen; denk daarbij bijvoorbeeld aan:
   * slimme vertalingen van de CC-modellen
   * generieke oplossingen voor het populeren van de CC-modellen met praktijkdata
   * het genereren van code voor databasetoepassingen
   * koppeling naar theorem-provers

Voor de tool is het in ieder geval nodig om CC (kennis)modellen
te kunnen koppelen aan een database. Een vast onderdeel van de opdracht zal
daarom zijn het zoeken naar een geschikte database representatie en deze te
implementeren. Een en ander vindt plaats vanuit een Haskell-programmeeromgeving
en wordt aan een open source database gekoppeld (bijv. MySQL). Uit dit stuk van
het onderzoek volgt:
   * een ontwerp en implementatie van de database-koppeling op het niveau van relaties en invarianten.
   * consequenties voor het detecteren van inconsistenties.

---++ WIE ZOEKEN WIJ?

We zoeken een student met een open instelling, die
zelfstandig kan werken, en goed conceptueel kan denken zonder de beoogde
praktijk uit het oog te verliezen. Je hebt goede communicatieve en
presentatie-vaardigheden.

Kandidaten studeren bijvoorbeeld bedrijfsinformatietechnologie
of informatica, maar andere (exacte) studies kunnen ook. We verwachten dat je
geinteresseerd bent in modelleren en praktische ervaring hebt in programmeren.

Specifieke kennis/ervaring die we vragen is:
   * Functionele talen (bijv. Haskell)
   * Open source databases (bijv. MySQL)

---++ WAT BIEDEN WIJ?
Je komt te werken in een jonge
innovatieve omgeving met zowel TNO Telecom collega's als andere studenten. Je
zal meedraaien in de afdeling en je werk is nauw verbonden met onze projecten.
Deze opdracht wordt gedaan binnen het kader van het zeer innovatieve
CC-project, en geeft mogelijkheden om eigen initiatieven te ontplooien. Je kunt
rekenen op ondersteuning en begeleiding door enthousiaste TNO-ers, en je wordt
gestimuleerd om gebruik te maken van CC kennis via onze externe contacten.
Daarnaast krijg je gelegenheid om mee te kijken met projecten waarin CC in de
praktijk gebruikt wordt, en zo in korte tijd veel leren en praktische ervaring
opdoen. Je staat onder (wekelijkse) supervisie met de bedoeling te helpen een
weg door deze complexe materie te vinden, en ervoor te waken dat het werk
toepasbaar zal zijn. </p>


Daarnaast geeft dit aanbod je de mogelijkheid om TNO beter
te leren kennen. Als deze kennismaking van beide kanten positief is, kan dit
tot een baan leiden. 
Neem voor meer informatie contact op met onze Recruitment
Officer: [[werving@telecom.tno.nl]]
-- Main.DoaitseSwierstra - 09 Nov 2003