Formalisering

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Formalisering</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <A HREF="id243.htm" TARGET="_top" TITLE="Integreret systemmodellering"><U><B><IMG SRC="003151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id246.htm" TARGET="_top" TITLE="Flow orientering"><U><B><IMG SRC="004151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id100.htm" TARGET="_top" TITLE="Interessante idéer og udviklinger indenf"><U><B><IMG SRC="0c80d1d0.gif" border=0 width="13" height="29" ALT="up" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id320.htm" TARGET="_top" TITLE="Specifikationer"><U><B><IMG SRC="0c71b1d0.gif" border=0 width="27" height="29" ALT="down" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <A HREF="id320.htm" TARGET="_top" TITLE="Specifikationer"><U><B>Specifikationer</B></U></A></div> <div> <A HREF="id321.htm" TARGET="_top" TITLE="Simulering"><U><B>Simulering</B></U></A></div> <div> <A HREF="id242.htm" TARGET="_top" TITLE="Mønstre"><U><B>Mønstre</B></U></A></div> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Formel specifikation har stort potentiale for at forbedre systemudvikling og kvaliteten af de udviklede systemer ved at kunne sikre eksakte, konsistente og komplette specifikationer af alt fra kravspecifikationer til eksekverbare programmer. Formel specifikation har dog ikke nået udbredt anvendelse i systemudvikling på grund af omfanget og kompleksiteten ved at lave og læse dem for systemudviklerne og kunderne/brugerne.</div> <bR> <div> Ved at kombinere/integrere formel specifikation med uformelle specifikationer som for eksempel dataflow diagrammer i struktureret systemudvikling bliver det meget lettere at udarbejde og læse formelle specifikationer igennem forholdsvis intuitive, simple, visuelle diagrammer i stedet for matematisk/logisk baserede udtryk.</div> <bR> <div> Tilsvarende er formelle sprog, metoder og værktøjer til modellering af simulerbare/eksekverbare modeller som for eksempel Petrinet udviklet fra kun at være praktisk anvendelige til små systemer med simple koncepter til også at være praktisk anvendelige til store systemer med komplicerede koncepter, som er nødvendige i forbindelse med analyse og design af systemer.</div> <bR> <div> Formel specifikation er dermed på vej til at kunne nå udbredt anvendelse i systemudvikling igennem integration i almindelige systemudviklingsværktøjer. Med mulighed for formel specifikation som en integreret del af såvel kravspecifikation, analyse, design og implementering vil de forskellige dele af systemudvikling desuden kunne have ét fælles, underliggende modelleringssprog, som kan sikre konsistens imellem de forskellige dele.</div> <bR> <div> En anden form for formalisering er identificering og beskrivelse af tilbagevendende/gentagne mønstre i problemer, analyse og design samt erfarede hensigtsmæssige løsninger for disse. Med mere eller mindre formaliserede mønstre etableres der et mere specialiseret, fælles sprog for indholdet af systemmodeller udover de traditionelle, fælles sprog for formen af systemmodeller.</div> <bR> </td> </tr></table></body>