Entydig modellering med connector og association forent i samme språk

Abstract

I dagens samfunn ønsker vi å innføre programvaresystemer for å effektivisere og sikre kvaliteten på tjenester. Programvaresystemene blir større og større, og det stilles store krav til stabilitet og brukervennlighet. Dette gjør utviklingsprosessen så komplisert at mange systemer blir for dyre til at de blir realisert. Introduksjon av associationer, connectorer og parter i modelleringsspråk eller programmeringsspråk vil gi utviklere et enda bedre verktøy i utvikling av programvaresystemer. Dette kan gi økt kvalitet og produktivitet, som igjen vil redusere kostnadene. Disse begrepene har opphav innen modellering, og vi har ikke så lange tradisjoner på å tolke de entydig som vi har med logiske konstruksjoner som if og while. I denne oppgaven har vi laget et modelleringspråk hvor vi bruker associationer, connectorer og parter for å modellere programvaresystemer. Modellene blir entydige og kan oversettes direkte til kjørbar kode. Vi har kommet frem til en måte å forene associationer, connectorer og parter slik at de utfyller hverandre og fremstår på en helhetlig måte. Vi har også kommet med en beskrivelse av hvordan associationer kan spesialiseres og vi har innført nestede associationer for å kunne modellere spesielle egenskaper ved systemet.