www.wikidata.uk-ua.nina.az
Mova modelyuvannya ce bud yaka shtuchna mova kotra mozhe vikoristovuvatisya dlya virazhennya informaciyi danih abo znan chi sistem u strukturi i yaka viznachayetsya poslidovnim naborom pravil Pravila zastosovuyutsya zadlya interpretaciyi znachennya komponentiv u strukturi V oblasti informatiki ta sumizhnih galuzyah keruvannya danimi abo procesami movi modelyuvannya dozvolyayut rozrobnikam programnogo zabezpechennya sistemnim analitikam chi sistemnim arhitektoram viznachati vimogi do organizaciyi abo sistemi programnogo zabezpechennya a takozh do yiyi struktur ta vnutrishnih procesiv z vishim rivnem abstrakciyi Zmist 1 Oglyad 2 Vidi mov modelyuvannya 2 1 Grafichni tipi 2 1 1 Prikladi mov grafichnogo modelyuvannya v inshih galuzyah nauki 2 2 Tekstovi vidi 2 3 Bilsh konkretni vidi 2 3 1 Algebrayichna 2 3 2 Povedinkova 2 3 3 Predmetno specifichna 2 3 4 Predmetno oriyentovani 3 Div takozh 4 Dzherela 5 PosilannyaOglyad RedaguvatiMovna model mozhe buti grafichnoyu chi tekstovoyu 1 Movi grafichnogo modelyuvannya vikoristovuyut diagramnu tehniku z imenovanimi simvolami yaki predstavlyayut koncepciyi ta liniyi sho zv yazuyut simvoli ta nadayut spivvidnoshennya i rizni inshi grafichni poznachennya dlya podannya obmezhen Movi tekstovogo modelyuvannya mozhut vikoristovuvati standartizovani klyuchovi slova suprovodzhuvani parametrami abo terminami ta frazami prirodnoyu movoyu shob utvoriti virazi yaki viznachayutsya komp yuterom Prikladom movi grafichnogo modelyuvannya ta vidpovidnoyi movi tekstovogo modelyuvannya ye EXPRESS Ne vsi movi modelyuvannya ye vikonuvanimi i dlya tih hto yih vikoristovuye ce ne obov yazkovo oznachaye sho programisti bilshe ne potribni Navpaki vikonuvani movi modelyuvannya priznacheno dlya posilennya produktivnosti kvalifikovanih programistiv abi voni mogli rozv yazuvati skladnishi pitannya yak ot paralelni obchislennya ta rozpodileni sistemi Vidi mov modelyuvannya RedaguvatiGrafichni tipi Redaguvati Prikladi mov grafichnogo modelyuvannya u galuzi informatiki keruvannya proyektami ta sistemnoyi inzheneriyi Povedinkove Derevo ce formalna grafichna mova modelyuvannya sho vikoristovuyetsya perevazhno u sistemah ta programnij inzheneriyi Zazvichaj zastosovuyetsya shob odnoznachno predstavlyati sotni abo navit tisyachi vimog do prirodnih mov yaki zazvichaj vzhivayutsya dlya virazhennya potreb zacikavlenih storin shodo vseohopnoyi integrovanoyi sistemi programnogo zabezpechennya Poznachennya modelyuvannya biznes procesiv BPMN ta XML forma BPML ce priklad movi modelyuvannya procesu Poslidovno kerovanij tehnologichnij lancyuzhok EPC ce blok shema dlya modelyuvannya biznes procesiv EPC mozhna vikoristovuvati dlya nalashtuvannya sistemi planuvannya resursiv pidpriyemstva i polipshennya biznes procesiv Teoriya C K skladayetsya z movi modelyuvannya dlya procesiv proyektuvannya DRAKON ce mova algoritmichnogo modelyuvannya zagalnogo priznachennya dlya viznachennya programno intensivnih sistem shematichnogo predstavlennya algoritmu abo poetapnogo procesu ta simejstvo mov programuvannya EXPRESS ta EXPRESS G ISO 10303 11 ce mizhnarodna standartna mova modelyuvannya danih zagalnogo priznachennya Mova rozshirenogo korporativnogo modelyuvannya EEML zazvichaj vikoristovuyetsya dlya modelyuvannya biznes procesiv na dekilkoh rivnyah Blok shema yavlyaye soboyu shematichne zobrazhennya algoritmu abo poetapnogo procesu Osnovi modelyuvannya fundamentalnih koncepcij FMC dlya programno intensivnih sistem IDEF ce simejstvo mov modelyuvannya yake mistit IDEF0 dlya funkcionalnogo modelyuvannya IDEF1X dlya informacijnogo modelyuvannya IDEF3 dlya modelyuvannya biznes procesiv IDEF4 dlya ob yektno oriyentovanogo programuvannya ta IDEF5 dlya modelyuvannya ontologij Jackson Structured Programming JSP ce sposib strukturnogo programuvannya na osnovi vidpovidnosti strukturi potoku danih i strukturi programi LePUS3 ce ob yektno oriyentovanij vizualnij dizajn opisu movi ta formalna mova specifikaciyi yaka pidhodit persh za vse dlya modelyuvannya velikih ob yektno oriyentovanih Java C C program i shabloniv proyektuvannya Object Role Modeling ORM u galuzi rozrobki programnogo zabezpechennya ce metod konceptualnogo modelyuvannya i mozhe buti vikoristanij yak instrument analizu informaciyi ta pravil Merezhi Petri vikoristovuyut variaciyi lishe na odnomu metodi diagram i topologiyi a same na dvochastkovomu grafi Prostota jogo bazovogo interfejsu koristuvacha legko zabezpechuvala shiroku pidtrimku instrumentiv protyagom bagatoh rokiv osoblivo stosovno perevirki modeli grafichnogo modelyuvannya ta doslidu programnogo zabezpechennya Southbeach Notation ce mova vizualnogo modelyuvannya sho vikoristovuyetsya dlya opisu situacij z tochki zoru agentiv yaki vvazhayutsya korisnimi chi shkidlivimi z boku modelyera Poznachennya pokazuyut yak agenti spivdiyut odin z odnim i chi cya vzayemodiya pokrashuye abo pogirshuye stanovishe Mova specifikaciyi ta opisu SDL ce mova specifikaciyi spryamovana na odnoznachnu specifikaciyu ta opis povedinki reaktivnih i rozpodilenih sistem SysML ce mova modelyuvannya specifichna dlya domenu sistemotehniki yaka viznachayetsya yak profil UML nalashtuvannya Unifikovana mova modelyuvannya UML ce mova modelyuvannya zagalnogo priznachennya yaka ye galuzevim standartom dlya viznachennya programno intensivnih sistem UML 2 0 potochna versiya pidtrimuye trinadcyat riznih diagramnih sposobiv i maye vseohopnu pidtrimku instrumentiv Servisno oriyentovana modelna struktura SOMF ce cilisna mova dlya proyektuvannya modelej arhitekturi korporativnogo rivnya ta rivnya dodatkiv u galuzi arhitekturi pidpriyemstv virtualizaciyi servis oriyentovanoyi arhitekturi SOA hmarnih obchislen tosho 2 Mova opisu arhitekturi ADL ce mova yaka vikoristovuyetsya dlya opisu ta predstavlennya ustroyu arhitekturi sistemi AADL AADL ce mova modelyuvannya kotra pidtrimuye ranni ta povtoryuvani analizi arhitekturi sistemi vidnosno kritichno vazhlivih vlastivostej za dopomogoyu rozshiryuvanih poznachen struktur instrumentiv ta tochno viznachenoyi semantiki Prikladi mov grafichnogo modelyuvannya v inshih galuzyah nauki Redaguvati EAST ADL ce specialna mova modelyuvannya prisvyachena proyektuvannyu avtomobilnih sistem Mova energetichnih sistem ESL mova yaka spryamovana na modelyuvannya vidnovlyuvanoyi energetiki ta svitovoyi ekonomiki Tekstovi vidi Redaguvati Informacijni modeli takozh mozhe buti virazheno formalizovanimi prirodnimi movami yak ot Gellish 3 Gellish maye varianti z prirodnimi movami skazhimo formalna anglijska Gellish i formalna gollandska Gellish Gellish Formeel Nederlands tosho Gellish Formal English ce mova predstavlennya informaciyi abo mova semantichnogo modelyuvannya yaka viznachayetsya v anglijskomu slovniku taksonomiyi Gellish Gellish English Dictionary Taxonomy sho maye formu taksonomiyi ontologiyi analogichno dlya gollandciv Gellish Formal English ne lishe pidhodit dlya virazu znan vimog i slovnikiv taksonomij ta ontologij a takozh dlya informaciyi pro okremi rechi Vsi ci dani virazhayutsya odniyeyu movoyu i tomu mozhut buti integrovani nezalezhno vid togo chi zberigayutsya voni u centralnih rozpodilenih abo u federativnih bazah danih Informacijni modeli u Gellish Formal English skladeno z naboru viraziv Gellish Formal English yaki vikoristovuyut termini z prirodnoyu movoyu ta formalizovani virazi Napriklad geografichna informacijna model mozhe skladatisya z nizki formalnih anglijskih viraziv Gellish yak ot the Eiffel tower lt is located in gt Paris Ejfeleva vezha lt roztashovana u gt Parizhi Paris lt is classified as a gt city Parizh lt klasifikuyetsya yak gt misto todi yak informacijni vimogi ta znannya mozhe buti virazheno napriklad tak tower lt shall be located in a gt geographical area vezhu lt roztashovano u gt geografichnomu rajoni city lt is a kind of gt geographical area misto lt ye svogo rodu gt geografichnim regionom U takih virazah Gellish Formal English zastosovuyutsya nazvi konceptiv napriklad city i vislovi sho ye sposobami zv yazkiv napriklad lt is located in gt i lt is classified as a gt yaki musyat buti vibrani z Gellish English Dictionary Taxonomy abo vashogo vlasnogo slovnika domenu Anglijskij slovnik taksonomiya Gellish dozvolyaye stvoryuvati semantichno bagati informacijni modeli oskilki vin mistit bilshe 600 standartnih tipiv zv yazkiv i maye viznachennya bilshe 40000 polozhen Informacijna model u Gellish mozhe virazhati fakti abo viroblyati tverdzhennya zapiti ta vidpovidi Bilsh konkretni vidi Redaguvati V galuzi informatiki zgodom z yavilisya bilsh konkretni tipi mov modelyuvannya Algebrayichna Redaguvati Movi algebrayichnogo modelyuvannya AML ce movi programuvannya visokogo rivnya dlya opisu ta virishennya zavdan visokoyi skladnosti dlya gromizdkih matematichnih obchislen Odniyeyu z osoblivih perevag AML yak ot AIMMS AMPL GAMS LPL MPL OPL i OptimJ ye podibnist yih sintaksisu z matematichnim poznachennyam zavdan optimizaciyi Ce dozvolyaye otrimati duzhe stisle ta zrozumile viznachennya problem u galuzi optimizaciyi yake pidtrimuyetsya deyakimi movnimi elementami yak ot nabori pokazniki algebrayichni virazi potuzhni rozridzheni zminni indeksiv i obrobki danih obmezhennya z dovilnimi imenami Algebrayichne formulyuvannya modeli ne mistit niyakih pidkazok yak jogo obroblyati Povedinkova Redaguvati Povedinkovi movi priznacheni dlya opisu sposterezhuvanoyi povedinki skladnih sistem sho zbirayutsya zi skladovih yaki vikonuyutsya odnochasno Ci movi zoseredzheno na opisi klyuchovih viznachen napriklad paralelizm nedeterminizm sinhronizaciya ta zv yazok Semantichni osnovi povedinkovih mov ce obchislennya abo algebra procesiv Predmetno specifichna Redaguvati Mova modelyuvannya zasnovana na disciplini DspM oriyentovana na pidsumki pov yazani z promizhkom zhittyevogo ciklu pevnoyi rozrobki programnogo zabezpechennya Takim chinom cya mova proponuye vidminnu leksiku sintaksis ta poznachennya dlya kozhnogo etapu skazhimo viyavlennya analiz dizajn arhitektura stisnennya tosho Napriklad shodo etapu analizu proyektu modelyer vikoristovuye specifichnu notaciyu analizu dlya dopravlennya diagrami analitichnoyi propoziciyi Odnak na etapi proyektuvannya logichne poznachennya dizajnu vikoristovuyetsya dlya opisu vzayemodiyi mizh ob yektami programnogo zabezpechennya Vodnochas praktichni poradi z movi modelyuvannya pritamanni dlya konkretnoyi disciplini ne pereshkodzhayut praktikam poyednuvati rizni poznachennya na odnij diagrami Predmetno oriyentovani Redaguvati Modelyuvannya domennih imen DSM ce metodologiya rozrobki programnogo zabezpechennya dlya proyektuvannya i stvorennya sistem najchastishe ce IT sistemi yak ot komp yuterne programne zabezpechennya Ce peredbachaye sistematichne vikoristannya grafichnoyi movi specifichnoyi dlya domenu DSL shobi predstavlyati rizni grani sistemi Movi DSM mayut vlastivist pidtrimuvati abstrakciyi vishogo rivnya nizh movi modelyuvannya zagalnogo priznachennya tozh voni potrebuyut menshe zusil ta detalej nizkogo rivnya dlya poznachennya danoyi sistemi Div takozh RedaguvatiInterfejs koristuvacha Mova programuvannyaLyudino mashinna vzayemodiya Interfejs komandnogo ryadka Grafichnij interfejs koristuvacha AIMMS General Algebraic Modeling System Imitacijne modelyuvannya Vizualne programuvannyaDzherela Redaguvati He Xiao Ma Zhiyi Shao Weizhong Li Ge 2007 07 A metamodel for the notation of graphical modeling languages 31st Annual International Computer Software and Applications Conference Vol 1 COMPSAC 2007 IEEE doi 10 1109 compsac 2007 27 Procitovano 22 travnya 2023 Bell Michael 2008 Service oriented modeling service analysis design and architecture Hoboken N J John Wiley amp Sons ISBN 978 1 119 19886 4 Arhivovana kopiya Arhiv originalu za 30 listopada 2012 Procitovano 28 chervnya 2021 Xiao He 2007 A metamodel for the notation of graphical modeling languages In Computer Software and Applications Conference 2007 COMPSAC 2007 Vol 1 31st Annual International Volume 1 Issue 24 27 July 2007 pp 219 224Posilannya RedaguvatiVikishovishe maye multimedijni dani za temoyu Mova modelyuvannya PhD Gellish a Generic Extensible Ontological Language Service Oriented Modeling Service Analysis Design and Architecture modeling languages com Arhivovano 9 veresnya 2018 u Wayback Machine Fundamental Modeling Concepts Arhivovano 6 veresnya 2018 u Wayback Machine Otrimano z https uk wikipedia org w index php title Mova modelyuvannya amp oldid 39537711