Generelt systemmodelleringssprog udgangspunkt

<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>Generelt systemmodelleringssprog udgangspunkt</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="id369.htm" TARGET="_top" TITLE="Generelt systemmodelleringssprog 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="id430.htm" TARGET="_top" TITLE="Systemrelation koncept kerne"><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="bézivin__1998__who_s_afraid_of_ontologies_.htm" TARGET="_top" TITLE="Whos Afraid of Ontologies?"><U><B>Bézivin [1998] Who's Afraid of Ontologies?</B></U></A></div> <div> <A HREF="lemesle__1998__meta_modeling_and_modularity.htm" TARGET="_top" TITLE="Metamodeling and Modularity"><U><B>Lemesle [1998] Meta-modeling and Modularity</B></U></A></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> Eksisterende generelle systemmodelleringssprog, som DEVS og Petri net kunne eventuelt være anvendelige til generel systemmodellering for computerbaserede systemer. Disse generelle systemmodelleringssprog er dog specielt beregnet til systemmodellering af "virkelige" systemer og simulering af disse med specielle eksekveringsmodeller tilknyttet systemmodelleringssprogene. Her er der ønske om et generelt systemmodelleringssprog der kan vendes til såvel uformelle systemmodeller som formelle, direkte eksekverbare systemmodeller i form af "almindelige" computerbaserede programmer uden brug af en simulator til eksekveringen.</div> <bR> <div> Andre computer orienterede, generelle systemmodeller som Meta Object Facility (MOF) kunne eventuelt også være anvendelige til generel systemmodellering for computerbaserede systemer. MOF er dog i første omgang specielt formuleret i relation til CORBA og UML, og MOF understøtter primært koncepter der er nødvendige i forhold til disse og mangler andre systemmodellerings koncepter som for eksempel multiple typer. MOF er desuden bundet til objektorienteret systemmodellering.</div> <bR> <div> Et interessant udgangspunkt for specifikation af et generelt modelleringssprog er sNet, der er foreslået som en alternativ meta-meta-model til blandt andet Meta Object Facility (MOF). sNet er baseret på semantiske netværk og består af en simpel kerne og nogle få supplerende koncepter som whole-part og type-instance samt modulariserings- og udvidelsesmekanismer til modulopdeling af systemmodeller.</div> <bR> <div> Som generelt systemmodelleringssprog foreslåes dog her som udgangspunkt et i forhold til sNet lidt simplere modelleringssprog uden kardinalitetsangivelse for relationer; uden bunden, entydig navngivning af systemer for identifikation; uden bunden type angivelse for systemer; samt uden bundet modultilhørsforhold, da disse ikke umiddelbart er nødvendige og eventuelt ikke alle er hensigtsmæssige. Disse koncepter kan dog let tilføjes igen til selve modelleringssproget eller som udvidelser idet de udelukkende er defineret med modelleringssprogets kerne koncepter. Specielt vil modulopdeling konceptet være hensigtsmæssigt/nødvendigt i forbindelse med praktisk håndtering af systemmodeller. Modulopdeling kan dog eventuelt også implementeres på andre måder end i sNet.</div> <bR> <div> Til gengæld er det her foreslåede generelle systemmodelleringssprog udvidet lidt i forhold til sNet med mulighed for mange-til-mange kardinalitet for relationer; og multiple typer samt multiple navne for systemer.</div> <bR> </td> </tr></table></body>