entry
Ev gotar ji bo kesên ku bi kêmanî di astek seretayî de bi têgeha ontolojiyê re naskirî ye. Ger hûn bi ontolojiyên nas nebin, wê hingê bi îhtîmalek mezin dê armanca ontolojiyê û bi taybetî ev gotar ji we re ne diyar be. Ez ji we re şîret dikim ku berî ku hûn dest bi xwendina vê gotarê bikin, xwe bi vê diyardeyê nas bikin (dibe ku gotarek ji Wîkîpediya jî têrê bike).
Wê demê Ontolojî - ev ravekirinek hûrgulî ya mijarek diyarkirî ya li ber çavan e. Divê ravekirineke wiha bi zimanekî zelal û zelal were çêkirin. Ji bo danasîna ontolojiyê, hûn dikarin metodolojiya IDEF5 bikar bînin, ku di cebilxaneya xwe de 2 ziman hene:
- IDEF5 zimanê şematîk. Ev ziman dîtbar e û hêmanên grafîkî bi kar tîne.
- Zimanê nivîsê IDEF5. Ev ziman wek metneke sazkirî tê nîşandan.
Ev gotar dê vebijarka yekem - zimanê şematîkî binirxîne. Em ê di gotarên jêrîn de li ser nivîsê biaxivin.
Objects
Di zimanê şematîk de, wekî ku berê jî hate gotin, hêmanên grafîkî têne bikar anîn. Pêşî divê em hêmanên bingehîn ên vî zimanî bidin ber çavan.
Bi gelemperî, ontolojî hem hebûnên gelemperî û hem jî tiştên taybetî bikar tîne. Saziyên giştîkirî têne gotin celeb. Ew wekî çemberek bi etîketek (navê tiştê) li hundur têne xuyang kirin:
Cure berhevokek nimûneyên takekesî yên celebek diyar in. Ango, nêrînek wekî "Cars" dikare tevahî berhevokek otomobîlên kesane temsîl bike.
Wek kopî dike Ev celeb dikare otomobîlên taybetî, an hin cûreyên alavan, an hin marqeyan bin. Ew hemî bi çarçove, qada mijarê û asta wê ya hûrguliyê ve girêdayî ye. Mînakî, ji bo tamîrek gerîdeyê, otomobîlên taybetî wekî saziyên laşî dê girîng bin. Ji bo domandina hin statîstîkên li ser firotanê li firotgehek gerîdeyê, modelên taybetî, hwd dê girîng be.
Mînakên takekesî yên cureyan bi heman rengî bi xwe celeb têne destnîşan kirin, tenê bi xalek li binê çemberê têne destnîşan kirin:
Her weha, di çarçoveya nîqaşa nesneyan de, hêjayî gotinê ye ku tiştên wekî pêvajoyên.
Ger dîtin û nimûne bi navê tiştên statîk bin (bi demê re naguherin), wê hingê pêvajo tiştên dînamîkî ne. Ev tê wê wateyê ku ev tişt di demek diyarkirî de hene.
Mînakî, em dikarin tiştek wusa wekî pêvajoya çêkirina gerîdeyê (ji ber ku em li ser wan diaxivin) yek bikin. Bi têgihiştinî diyar e ku ev tişt tenê di dema hilberîna rastîn a vê gerîdeyê de heye (serdemek demkî diyarkirî). Hêjayî bibîrxistinê ye ku ev pênase şert e, ji ber ku tiştên wekî otomobîlê jî jiyana xwe ya karûbarê, jiyana refikê, hebûn û hwd hene. Lêbelê, em neçin felsefeyê û di çarçeweya piraniya warên mijarê de em dikarin qebûl bikin ku mînak, û hê bêtir celeb, her û her hene.
Pêvajo wekî çargoşeyek bi nîşanek (nav) pêvajoyê têne xuyang kirin:
Pêvajoyên di pîlanên ji bo veguheztina yek tiştê din de têne bikar anîn. Ev ê li jêr bi berfirehî were nîqaş kirin.
Ji bilî pêvajoyan, planên weha bikar tînin operatorên mantiqî. Her tişt li vir ji bo kesên ku bi pêşdaraz, cebraya Boolean an bernamesaziyê dizanin pir hêsan e. IDEF5 sê operatorên mentiqî yên bingehîn bikar tîne:
- mentiqî Û (Û);
- mantiqî OR (OR);
- exclusive OR (XOR).
Standarda IDEF5 (http://idef.ru/documents/Idef5.pdf - piraniya agahdariya ji vê çavkaniyê) wêneya operatorên mentiqî di şiklê derdorên piçûk de (li gorî dîtin û mînakan) bi etîketek di nav de diyar dike. forma sembolan. Lêbelê, di hawîrdora grafîkî ya IDEF5 de ku em pêşde diçin, ji ber gelek sedeman em ji vê qaîdeyê dûr ketine. Yek ji wan jî naskirina dijwar a van operatoran e. Ji ber vê yekê, em nîşana nivîsê ya operatorên bi jimareyek nasnameyê bikar tînin:
Dibe ku em ê bi tiştên li vir biqedînin.
Pêwendiyên
Têkiliyên di navbera nesneyan de hene, ku di ontolojiyê de tê wateya qaîdeyên ku têkiliya di navbera nesneyan de diyar dikin û ji wan encamên nû derdikevin.
Bi gelemperî, têkilî ji hêla celebê şemaya ku di ontolojiyê de tê bikar anîn têne destnîşankirin. Scheme komek nesne û têkiliyên ontolojiyê yên di navbera wan de ye. Cûreyên sereke yên planên jêrîn hene:
- Planên pêkhatî.
- schemes Classification.
- Diagramên veguherînê.
- Diagramên fonksîyonel.
- Planên hevgirtî.
Di heman demê de carinan celebek planek weha heye hebûnî. Şêma hebûnê berhevoka tiştên bê têkilî ye. Diagramên weha bi tenê nîşan didin ku di qada mijarek diyarkirî de komek hin tiştan heye.
Welê, naha, bi rêz, li ser her celeb plansaziyê.
Planên pêkhatî
Ev cureyê diagramê ji bo temsîlkirina pêkhateyekê, pergal, avahî, hwd tê bikar anîn. Mînakek tîpîk parçeyên otomobîlan e. Di forma xwe ya herî mezin de, otomobîl ji laş û veguhestinê pêk tê. Di encamê de, laş di çarçoveyek, derî û parçeyên din de tê dabeş kirin. Ev hilweşandin dikare bêtir berdewam bike - ew hemî bi asta hewceyê hewceyê di vê peywira taybetî de girêdayî ye. Mînakek plansaziyek weha:
Têkiliyên pêkhatî wekî tîrek bi serê tîrê li dawiyê têne xuyang kirin (berevajî, mînakî, têkiliyek dabeşkirinê, ku serê tîrê li destpêka tîrê ye, hûrguliyên bêtir li jêr). Têkiliyên bi vî rengî dikarin bi etîketekê wekî di jimar (beş) de bêne binavkirin.
schemes Classification
Planên dabeşkirinê ji bo diyarkirina danasîna cureyan, binecureyên wan û mînakên cureyan têne armanc kirin. Mînakî, otomobîl dikarin otomobîl an kamyon bin. Ango dîtina “Erebî” du binerd e. VAZ-2110 mînakek taybetî ya binkûreya "Otomobîla Rêwiyan" e, û GAZ-3307 jî mînakek binkûreya "Kamyon" e:
Têkiliyên di pileyên dabeşkirinê de (binecure an mînakek taybetî) di destpêkê de şeklê tîrêkek bi tîpek heye û, wekî di pileyên berhevokê de, dikare bi navê pêwendiyê xwedan etîketek be.
schemes Transition
Pîvanên bi vî rengî hewce ne ku pêvajoyên veguheztina tiştan ji dewletek din di bin bandora pêvajoyek diyar de nîşan bidin. Mînakî, piştî pêvajoya boyaxkirina boyaxa sor, otomobîlek reş sor dibe:
Têkiliyek veguheztinê bi tîrekek bi serê xwe li dawiyê û çemberek li navendê tê destnîşan kirin. Wekî ku hûn ji diagramê jî dibînin, pêvajo behsa têkiliyan dikin, ne tiştan.
Ji bilî veguheztina asayî ya ku di jimarê de tê xuyang kirin, veguheztinek hişk heye. Ew di rewşên ku derbasbûna di rewşek diyarkirî de ne diyar e de tê bikar anîn, lê ji bo me girîng e ku em wê tekez bikin. Mînakî, ger em pêvajoya komkirina gerîdeyê li gerdûnî bifikirin, sazkirina neynika paşîn a li ser gerîdeyê ne operasyonek girîng e. Lêbelê, di hin rewşan de hewce ye ku vê operasyonê ji hev veqetînin:
Veguheztinek hişk bi heman rengî veguheztinek birêkûpêk tête nîşankirin, ji bilî ferra ducar a li dawiyê.
Veguheztinên normal û hişk jî dikarin wekî tavilê bêne nîşankirin. Ji bo vê yekê, sêgoşeyek li dora navendî tê zêdekirin. Veguheztinên tavilê di rewşên ku dema veguheztinê ew qas kurt e de têne bikar anîn ku ew di nav qada mijarê ya li ber çavan de bi tevahî ne girîng e (kêmtir ji heyama girîng a herî kêm).
Wek mînak ger zerareke herî biçûk jî li otomobîlekê hebe, mirov dikare zirarê bibîne û bihayê wê pir dakeve. Lêbelê, pir zirar di cih de çêdibe, berevajî pîrbûn û cilê:
Mînak veguherînek hişk nîşan dide, lê hûn dikarin veguherînek birêkûpêk wekî tavilê jî bikar bînin.
Diagramên fonksîyonel
Diagramên bi vî rengî ji bo nîşankirina strukturên danûstendina di navbera tiştan de têne bikar anîn. Mînakî, mekanîzmayek otomatîkî lênihêrîna wesayîtê pêk tîne, û rêveberek karûbarê gerîdeyê daxwazên tamîrkirinê qebûl dike û wan vediguhezîne mekanîka gerîdeyê:
Têkiliyên fonksîyonel wekî xêzek rasterast bêyî tîp, lê carinan bi etîketek, ku navê têkiliyê ye, têne xuyang kirin.
Planên hevgirtî
Bernameyên hevgirtî hevokek ji pîlanên ku berê hatine nîqaş kirin in. Piraniya nexşeyên di metodolojiya IDEF5 de têne hev kirin, ji ber ku ontolojiyên ku tenê celebek nexşeyê bikar tînin kêm in.
Hemî sêwiran bi gelemperî operatorên mentiqî bikar tînin. Bi karanîna wan re, gengaz e ku têkiliyên di navbera sê, çar an jî bêtir tiştan de bicîh bikin. Operatorek mentiqî dikare hin sazûmanek gelemperî ku pêvajoyek li ser tê meşandin an ku beşdarî hin pêwendiyek din dibe diyar bike. Mînakî, hûn dikarin mînakên berê bi vî rengî li hev bikin:
Di rewşek taybetî de, nexşeya hevgirtî nexşeyek berhevokê (neynik + otomobîlek bê neynik = otomobîlek bi neynikê) û nexşeyek veguheztinê (otomobîlek bi neynikê re di bin bandora pêvajoya boyaxa sor de dibe gerîdeyek sor). Digel vê yekê, otomobîlek bi neynikê bi eşkere nayê diyar kirin - li şûna wê, operatorê mentiqî AND tê destnîşan kirin.
encamê
Di vê gotarê de, min hewl da ku di metodolojiya IDEF5 de hêman û têkiliyên sereke vebêjim. Min domana otomobîlê wekî mînakek bikar anî ji ber ku ew bi karanîna nimûneya wan pir hêsantir bû ku diyagraman çêbikin. Lêbelê, şemayên IDEF5 dikarin di her warê zanînê de bêne bikar anîn.
Ontolojî û analîzkirina zanîna domanê mijarek pir berfireh û demdirêj e. Lêbelê, di çarçoveya IDEF5 de, her tişt ne ew qas dijwar xuya dike; bi kêmanî, bingehên vê mijarê bi hêsanî têne fêr kirin. Armanca gotara min ew e ku temaşevanek nû bikişîne ser pirsgirêka analîza zanînê, her çend bi navgînek wusa IDEF5-ya bingehîn wekî zimanek grafîkî be.
Pirsgirêka zimanekî grafîkî ew e ku bi alîkariya wî ne mimkûn e ku bi zelalî hin têkiliyên (aksîomên) ontolojiyê bêne formulekirin. Ji bo vê yekê zimanek nivîsê IDEF5 heye. Lêbelê, di qonaxa destpêkê de, zimanek grafîkî dikare ji bo formulekirina hewcedariyên destpêkê yên ontolojiyê û danasîna vektorê ji bo pêşvebirina ontolojîyek berfirehtir di zimanê nivîsê IDEF5 de an jî di amûrek din de pir bikêr be.
Ez hêvî dikim ku ev gotar dê ji bo destpêkerên di vî warî de bikêr be, belkî ji bo kesên ku demek dirêj bi mijara analîza ontolojîk re mijûl bûne jî. Hemî materyalên sereke yên vê gotarê ji standarda IDEF5, ku min berê behs kiribû, hate wergerandin û şîrove kirin (). Ez di heman demê de ji pirtûkek hêja ji nivîskarên NOU INTUIT ().
Source: www.habr.com