Type-instance konsistens og komplethed

<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 konsistens og komplethed</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="id432.htm" TARGET="_top" TITLE="Typeinstance koncept"><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="id431.htm" TARGET="_top" TITLE="Wholepart koncept"><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> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Ved implementering af type-instance relationer kan der skelnes mellem forskellige former for nedarvede egenskaber:</div> <div> - En type kan være defineret med et antal konstante egenskaber, der er helt identiske for alle forekomster af typen.</div> <div> - En type kan desuden være defineret med et antal bundne men varierende egenskaber, der forekommer i alle forekomster af typen men eventuelt med forskellige givne værdier.</div> <div> - Endeligt kan en type desuden være defineret med et antal bundne men varierende egenskaber, der forekommer i alle forekomster af typen men eventuelt med forskellige vilkårlige værdier.</div> <bR> <div> Den første variant med nedarvning af konstante egenskaber er automatisk omfattet af den almindelige, simple nedarvning der er defineret for type-instance konceptet i det generelle systemmodelleringssprog. Konstante egenskaber kan uden videre modelleres som delsystemer med whole-part relationer i forhold til type systemet.</div> <bR> <div> De to øvrige varianter med nedarvning af bundne men varierende egenskaber kan generaliseres til et med en antagelse om at alle elementer i en systemmodel er af typen "system". Dermed er varianten med nedarvning af varierende egenskaber med vilkårlige værdier et special tilfælde af varianten med nedarvning af varierende egenskaber med givne værdier.</div> <bR> <div> En sådan nedarvning af varierende egenskaber er ikke umiddelbart omfattet af den almindelige, simple nedarvning der er defineret for type-instance konceptet i det generelle systemmodelleringssprog, men kræver supplerende sikring af konsistens og komplethed mellem typerne og forekomsterne i systemmodellen. Hvis en type har egenskaber i form af whole-part delsystemer der selv er (rene) type definitioner, skal alle forekomster af typen tilsvarende have egenskaber i form af whole-part delsystemer der tilsvarende er typer af typens delsystem typer for at systemmodellen er konsistent og komplet.</div> <bR> <div> Definition af type-instance nedarvning konsistens og komplethed kriterie</div> <div> "<FONT SIZE="2" COLOR="#000000" FACE="Arial" > type, forekomst, egenskabtype, egenskabsubtype, egenskabdelsystem</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, egenskabtype) </FONT>Ù<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Type-Instance(egenskabtype, egenskabsubtype) </FONT>Ù Ø<FONT SIZE="2" COLOR="#000000" FACE="Arial" >Whole-Part(egenskabtype, egenskabdelsystem)</FONT></div> <div> ®<FONT SIZE="2" COLOR="#000000" FACE="Arial" > </FONT>$<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Whole-Part(forekomst, egenskabsubtype) </FONT>Ù<FONT SIZE="2" COLOR="#000000" FACE="Arial" > Type-Instance(egenskabtype, egenskabsubtype)</FONT></div> <bR> </td> </tr></table></body>