Type-instance koncept

<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>Type-instance koncept</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="id430.htm" TARGET="_top" TITLE="Systemrelation koncept kerne"><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="id779.htm" TARGET="_top" TITLE="Typeinstance konsistens og komplethed"><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="snets__1998__snet_formalism___technical_report__the.htm" TARGET="_top" TITLE="sNet Formalism Technical Report, The"><U><B>sNets [1998] sNet Formalism - Technical Report, The</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Ethvert system kan være en forekomst af et antal typer af systemer, hvis egenskaber (i form af delsystemer) systemet nedarver med hensyn til modelleringen af systemet. (Dette betyder ikke nødvendigvis nedarvning i forbindelse med implementeringen af systemet.) Ethvert system kan ligeledes være type for et antal andre system forekomster. Der er således ingen grundlæggende forskel på typer og forekomster. Type-instance relationer er gensidigt definerende og inverterede.</div> <bR> <div> Type-instance relationer kan anvendes til effektiv fælles angivelse af identiske egenskaber for et antal systemer i stedet for at angive alle egenskaberne for hvert enkelt system; som skabeloner for andre systemer med angivelse af et antal faste egenskaber og strukturer; samt til kategorisering af systemer i kategorier med bestemte egenskaber.</div> <bR> <div> Semantik for type-instance koncept</div> <div> <IMG SRC="30fdc450.gif" border=0 width="220" height="69" ALT="VISIO 5 Drawing" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></div> <bR> <div> Definition af type-instance koncept</div> <div> <IMG SRC="311b0af0.gif" border=0 width="176" height="175" ALT="VISIO 5 Drawing" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></div> <bR> <div> Nedarvning af egenskaber sker over flere niveauer fra alle overliggende typer og typers typer og så videre, og der er principielt ingen forskel på direkte nedarvning af egenskaber fra en type og indirekte nedarvning af egenskaber fra en types type.</div> <bR> <div> Nedarvning af egenskaber er desuden udelukkende adderende således at alle en types egenskaber også er gældende for alle typens forekomster. Nedarvede egenskaber kan ikke ændres eller slettes for den enkelte forekomster som det for eksempel er tilfældet for objektorienterede modellerings- og programmeringssprog.</div> <bR> <div> Definition af type-instance nedarvning</div> <div> "<FONT SIZE="2" COLOR="#000000" FACE="Arial" > type, subtype, subsubtype</FONT></div> <div> ·<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Type-Instance(type, subtype) </FONT>Ù<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Type-Instance(subtype, subsubtype)</FONT></div> <div> ®<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Type-Instance(type, subsubtype)</FONT></div> <div> "<FONT SIZE="2" COLOR="#000000" FACE="Arial" > type, forekomst, egenskab</FONT></div> <div> ·<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Type-Instance(type, forekomst) </FONT>Ù<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Whole-Part(type, egenskab)</FONT></div> <div> ®<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Whole-Part(forekomst, egenskab)</FONT></div> <bR> </td> </tr></table></body>