Implementering

<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>Implementering</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="id433.htm" TARGET="_top" TITLE="Systemhierarki systemmodel"><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="id434.htm" TARGET="_top" TITLE="Datamodellering"><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="id419.htm" TARGET="_top" TITLE="Generelt systemmodelleringssprog"><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> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="27"></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <A HREF="zeigler__1976__theory_of_modelling_and_simulation.htm" TARGET="_top" TITLE="Theory of Modelling and Simulation"><U><B>Zeigler [1976] Theory of Modelling and Simulation</B></U></A></div> <div> <A HREF="jensen__1997__a_brief_introduction_to_coloured_petri_nets.htm" TARGET="_top" TITLE="A Brief Introduction to Coloured Petri N"><U><B>Jensen [1997] A Brief Introduction to Coloured Petri Nets</B></U></A></div> <div> <A HREF="jensen__1994__an_introduction_to_the_theoretical_aspects_of_coloured_petri_nets.htm" TARGET="_top" TITLE="An Introduction to the Theoretical Aspec"><U><B>Jensen [1994] An Introduction to the Theoretical Aspects of Coloured Petri Nets</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Det her formulerede generelle systemmodelleringssprog i form af semantiske system-relation, type-instance og whole-part koncepter giver mulighed for systemmodellering af vilkårlige systemer. Systemmodelleringen omfatter dog kun strukturelle og abstrakte elementer for systemet.</div> <bR> <div> I forbindelse med generel systemmodellering af computerbaserede systemer er der desuden behov for at kunne modellere konkrete, eksekverbare systemmodeller i form af programkode for en bestemt computer. Dermed skal systemmodellen resultere i sekvenser af bits og bytes eller tilsvarende data, der repræsenterer computerens sprog.</div> <bR> <div> Det generelle systemmodelleringssprog omfatter ikke direkte sådanne konkrete data, men det er muligt at definere og modellere med for eksempel bits og bytes som generelle systemelementer. Disse har dog ikke umiddelbart nogen speciel betydning i forhold til andre generelle systemelementer.</div> <bR> <div> Generelle systemmodelleringsværktøjer til systemmodellering af computerbaserede systemer bør derfor omfatte et antal aksiomatiske systemdefinitioner med speciel betydning i forhold til det generelle systemmodelleringsværktøj til for eksempel generering af computer filer med data og programmer.</div> <bR> <div> Sådanne aksiomatiske systemdefinitioner kan for eksempel blot bestå af en "0 bit" og en "1 bit" hvormed bytes og alle andre computerbaserede data kan modelleres som generelle systemmodeller. Det kan eventuelt også være hensigtsmæssigt at definere "byte" og andre computerbaserede data som aksiomatiske systemer for at gøre det generelle systemmodelleringsværktøj mere effektivt og hensigtsmæssigt at anvende.</div> <bR> <div> Udover aksiomatiske systemdefinitioner for bits til systemmodellering af computerbaserede systemer kan generelle systemmodelleringsværktøjer eventuelt også omfatte andre aksiomatiske systemdefinitioner for andre typer af systemmodeller som for eksempel DEVS og Petri Net med henblik på umiddelbar simulering. Det vil eventuelt også være muligt at integrere de forskellige aksiomatiske systemdefinitioner, således at én generel systemmodel umiddelbart kan anvendes til for eksempel både simulering og generering af direkte eksekverbar computer programkode.</div> <bR> </td> </tr></table></body>