Generelle systemmodelleringssprog

<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>Generelle systemmodelleringssprog</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="id304.htm" TARGET="_top" TITLE="Generelle systemtyper"><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="id305.htm" TARGET="_top" TITLE="Generelle systemteorier"><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="id309.htm" TARGET="_top" TITLE="Systemvidenskab"><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="bertalanffy__1968__general_system_theory.htm" TARGET="_top" TITLE="General System Theory"><U><B>Bertalanffy [1968] General System Theory</B></U></A></div> <div> <A HREF="weinberg__1975__introduction_to_general_systems_thinking__an.htm" TARGET="_top" TITLE="Introduction to General Systems Thinking"><U><B>Weinberg [1975] Introduction to General Systems Thinking, An</B></U></A></div> <div> <A HREF="jackson__1995__software_requirements___specifications.htm" TARGET="_top" TITLE="Software Requirements Specifications"><U><B>Jackson [1995] Software Requirements & Specifications</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Generel systemteoris oprindelige mål er i sidste ende matematisk modellering af komplekse systemer på linie med naturvidenskabernes matematiske modellering af simple systemer for eksakt modellering af systemer. Dette er dog ikke en forudsætning for generel systemteori, og uformel modellering ses som nyttig og eventuel nødvendig for modellering af komplekse systemer før en eventuel mere formel modellering.</div> <bR> <div> Modellering med matematisk algebra giver mange fordele i form af præcision og metoder til analyse og bearbejdning af modellerne men stiller omvendt også store krav til præcision; resulterer i meget abstrakte modeller og er ikke velegnede til alle typer af systemer.</div> <bR> <div> Et alternativt/komplementerende formelt modelleringssprog er prædikativ logik, der ligeledes muliggør stor præcision, og som umiddelbart er lettere tilgængelig og velegnet til nogle typer af systemer.</div> <bR> <div> Matematisk sæt og net teori er ligeledes i vid udstrækning anvendelig til modellering af systemer og muliggør stor præcision og matematisk analyse og bearbejdning.</div> <bR> <div> Ad-hoc diagrammatisk modellering uden eksakt semantisk formalisering er fortrinsvis uformel. Der er dog en vis form for formalisering igennem konsistent anvendelse af et antal diagrammatiske elementer indenfor en model.</div> <bR> <div> Uformelle verbale beskrivelser er desuden nødvendige i forbindelse med designationer for formelle systemer og beskrivelse af aspekter der ikke umiddelbart er formaliserbare. Uformelle verbale beskrivelser er ligeledes hensigtsmæssige for umiddelbart lettere forståelige beskrivelser.</div> <bR> </td> </tr></table></body>