System-relation koncept kerne

<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>System-relation koncept kerne</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="id370.htm" TARGET="_top" TITLE="Generelt systemmodelleringssprog udgangs"><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="id432.htm" TARGET="_top" TITLE="Typeinstance 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> <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> De grundlæggende elementer for det her formulerede generelle systemmodelleringssprog er meget enkle idet alle systemer udelukkende selv består af andre (del)systemer samt orienterede, boolske kanter til strukturering af (del)systemerne som matematiske grafer. Kanterne i graferne udgør ikke systemets relationer men angiver kun en eller anden form for "fører-til" / "kommer-før" ordning af (del)systemerne. Alle bestanddele af et system - såvel "ting" som relationer - betragtes i sig selv som (del)systemer. Det egentlige modelleringssprogs semantik og definitioner beskrives ved hjælp af sådanne uvægtede/ufarvede, orienterede, matematiske grafer.</div> <bR> <div> Det grundlæggende koncept om systemer betående af (del)systemer og relationer udgør samtidigt hele den semantiske kerne i det generelle modelleringssprog. Kardinaliteten for relationer er som udgangspunkt "udefineret mange-til-mange" således at alle kardinaliteter er mulige.</div> <bR> <div> Semantik for system-relation koncept</div> <div> <IMG SRC="30d18450.gif" border=0 width="280" height="69" ALT="VISIO 5 Drawing" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></div> <bR> <div> Refleksiv definition af system-relation koncept</div> <div> <IMG SRC="1a7dcdc0.gif" border=0 width="220" height="220" ALT="VISIO 5 Drawing" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></div> <bR> <div> Definitionsgraferne læses som navngivne noder (under stregen i noden) og kanter. Noder angives desuden med type (over stregen i noden).</div> <bR> <div> Type-instance konceptet er i sig selv blot en særlig form for relationer der defineres nærmere i de følgende afsnit. System-relation og type-instance koncepterne udgør en komplet, selvdefinerende kerne for det her formulerede generelle systemmodelleringssprog. Derudover defineres i de følgende afsnit blot yderligere et whole-part koncept, der ligeledes i sig selv blot er en særlig form for relationer. Disse tre koncepter udgør den samlede, strukturelle kerne for det her definerede generelle systemmodelleringssprog.</div> <bR> </td> </tr></table></body>