metodoloġija IDEF5. Lingwa grafiku

Dħul

Dan l-artikolu huwa maħsub għal dawk li huma familjari mal-kunċett ta 'ontoloġija għall-inqas f'livell elementari. Jekk m'intix familjari mal-ontoloġiji, allura x'aktarx l-iskop tal-ontoloġiji u dan l-artikolu b'mod partikolari mhux se jkun ċar għalik. Nagħtik parir biex tiffamiljarizza ruħek ma’ dan il-fenomenu qabel tibda taqra dan l-artiklu (forsi anke artiklu mill-Wikipedija jkun biżżejjed).

Allura Ontoloġija - din hija deskrizzjoni dettaljata ta' ċertu qasam tas-suġġett taħt konsiderazzjoni. Tali deskrizzjoni trid tingħata f'xi lingwa fformulata b'mod ċar. Biex tiddeskrivi ontoloġiji, tista 'tuża l-metodoloġija IDEF5, li għandha 2 lingwi fl-armament tagħha:

• lingwa skematika IDEF5. Din il-lingwa hija viżwali u tuża elementi grafiċi.
• Lingwa tat-test IDEF5. Din il-lingwa hija rappreżentata bħala test strutturat.

Dan l-artikolu ser jikkunsidra l-ewwel għażla - lingwa skematika. Aħna ser nitkellmu dwar it-test fl-artikoli li ġejjin.

Oġġetti

F'lingwaġġ skematiku, kif diġà ssemma, jintużaw elementi grafiċi. L-ewwel, għandna nikkunsidraw l-elementi bażiċi ta 'din il-lingwa.

Ħafna drabi, ontoloġija tuża kemm entitajiet ġeneralizzati kif ukoll oġġetti speċifiċi. Entitajiet ġeneralizzati jissejħu tipi. Huma murija bħala ċirku b'tikketta (isem l-oġġett) ġewwa:

L-ispeċi huma ġabra ta' kampjuni individwali ta' speċi partikolari. Jiġifieri, fehma bħal "Karozzi" tista 'tirrappreżenta kollezzjoni sħiħa ta' karozzi individwali.
Peress li l- kopji Dan it-tip jista 'jkun karozzi speċifiċi, jew ċerti tipi ta' tagħmir, jew ċerti marki. Kollox jiddependi fuq il-kuntest, il-qasam tas-suġġett u l-livell ta’ dettall tiegħu. Pereżempju, għal ħanut tat-tiswija tal-karozzi, karozzi speċifiċi bħala entitajiet fiżiċi se jkunu importanti. Biex tinżamm xi statistika dwar il-bejgħ f'konċessjoni tal-karozzi, mudelli speċifiċi, eċċ se jkunu importanti.

Każijiet individwali ta' speċi huma indikati b'mod simili għall-ispeċi nfushom, indikati biss b'tikka fil-qiegħ taċ-ċirku:

Ukoll, bħala parti mid-diskussjoni ta 'oġġetti, ta' min isemmi oġġetti bħal dawn bħala proċessi.

Jekk il-veduti u l-istanzi huma l-hekk imsejħa oġġetti statiċi (li ma jinbidlux maż-żmien), allura l-proċessi huma oġġetti dinamiċi. Dan ifisser li dawn l-oġġetti jeżistu f'ċertu perjodu ta' żmien definit b'mod strett.

Pereżempju, nistgħu nispiċċaw oġġett bħal dan bħala l-proċess tal-manifattura ta 'karozza (peress li qed nitkellmu dwarhom). Huwa intuwittivament ċar li dan l-oġġett jeżisti biss matul il-produzzjoni attwali ta 'din il-karozza stess (perjodu ta' żmien definit b'mod strett). Ta 'min iżomm f'moħħu li din id-definizzjoni hija kundizzjonali, minħabba li oġġetti bħal karozza għandhom ukoll il-ħajja tas-servizz tagħhom, il-ħajja fuq l-ixkaffa, l-eżistenza, eċċ. Madankollu, ejja ma nidħlux fil-filosofija u fi ħdan il-qafas tal-biċċa l-kbira tas-suġġetti nistgħu naċċettaw li l-istanzi, u aktar u aktar l-ispeċi, jeżistu għal dejjem.

Il-proċessi huma murija bħala rettangolu b'tikketta (isem) tal-proċess:

Il-proċessi jintużaw fi skemi għat-tranżizzjoni ta 'oġġett wieħed għal ieħor. Dan se jiġi diskuss f'aktar dettall hawn taħt.

Minbarra l-proċessi, skemi bħal dawn jużaw operaturi loġiċi. Kollox hawnhekk huwa pjuttost sempliċi għal dawk li huma familjari mal-predikati, l-alġebra Boolean jew l-ipprogrammar. IDEF5 juża tliet operaturi loġiċi bażiċi:

• loġiku U (U);
• JEW loġiku (JEW);
• JEW esklussivi (XOR).

L-istandard IDEF5 (http://idef.ru/documents/Idef5.pdf - il-biċċa l-kbira tal-informazzjoni minn dan is-sors) jiddefinixxi l-immaġni ta 'operaturi loġiċi fil-forma ta' ċrieki żgħar (meta mqabbla ma 'veduti u każijiet) b'tikketta fil- forma ta' simboli. Madankollu, fl-ambjent grafiku IDEF5 li qed niżviluppaw, tbiegħdejna minn din ir-regola għal ħafna raġunijiet. Waħda minnhom hija l-identifikazzjoni diffiċli ta’ dawn l-operaturi. Għalhekk, nużaw in-notazzjoni testwali ta 'operaturi b'numru ta' identifikazzjoni:

Forsi nispiċċaw b'oġġetti hawn.

Relazzjonijiet

Hemm relazzjonijiet bejn l-oġġetti, li fl-ontoloġija tfisser regoli li jiddeterminaw l-interazzjoni bejn l-oġġetti u li minnhom joħorġu konklużjonijiet ġodda.

Tipikament, ir-relazzjonijiet huma determinati mit-tip ta 'skema użata fl-ontoloġija. L-iskema huwa sett ta 'oġġetti ontoloġija u relazzjonijiet bejniethom. Hemm it-tipi ewlenin ta’ skemi li ġejjin:

1. Skemi ta' kompożizzjoni.
2. Skemi ta' klassifikazzjoni.
3. Dijagrammi ta' transizzjoni.
4. Dijagrammi funzjonali.
5. Skemi magħquda.

Ukoll kultant ikun hemm tali tip ta 'skema bħala eżistenzjali. Schema eżistenzjali hija ġabra ta’ oġġetti mingħajr relazzjonijiet. Dijagrammi bħal dawn sempliċement juru li f'ċertu qasam tas-suġġett hemm ċertu sett ta 'oġġetti.

Ukoll, issa, fl-ordni, dwar kull tip ta 'skema.

Skemi ta' kompożizzjoni

Dan it-tip ta 'dijagramma jintuża biex jirrappreżenta l-kompożizzjoni ta' oġġett, sistema, struttura, eċċ. Eżempju tipiku huwa l-partijiet tal-karozzi. Fl-aktar forma mkabbra tagħha, il-karozza tikkonsisti minn korp u trasmissjoni. Min-naħa tiegħu, il-korp huwa maqsum f'qafas, bibien u partijiet oħra. Din id-dekompożizzjoni tista 'titkompli aktar - kollox jiddependi fuq il-livell meħtieġ ta' dettall f'dan il-kompitu partikolari. Eżempju ta' skema bħal din:

Ir-relazzjonijiet tal-kompożizzjoni jintwerew bħala vleġġa b'vleġġa fit-tarf (b'differenza, pereżempju, relazzjoni ta 'klassifikazzjoni, fejn il-vleġġa tinsab fil-bidu tal-vleġġa, aktar dettalji hawn taħt). Tali relazzjonijiet jistgħu jiġu ttikkettjati b'tikketta bħal fil-figura (parti).

Skemi ta' klassifikazzjoni

L-iskemi ta' klassifikazzjoni huma maħsuba biex jesprimu d-definizzjoni ta' speċi, is-sottospeċi tagħhom, u każijiet ta' speċi. Pereżempju, il-karozzi jistgħu jkunu karozzi jew trakkijiet. Jiġifieri, il-veduta "Karozza" għandha żewġ subviews. VAZ-2110 huwa eżempju speċifiku tas-sottotip "Karozza tal-Passiġġieri", u GAZ-3307 huwa eżempju tas-sottotip "Trakk":

Ir-relazzjonijiet fi skemi ta’ klassifikazzjoni (sottospeċi jew każ speċifiku) għandhom forma ta’ vleġġa bil-ponta fil-bidu u, bħal fil-każ ta’ skemi ta’ kompożizzjoni, jista’ jkollhom tikketta bl-isem tar-relazzjoni.

Skemi ta' tranżizzjoni

Skemi ta 'dan it-tip huma meħtieġa biex juru l-proċessi ta' transizzjoni ta 'oġġetti minn stat għal ieħor taħt l-influwenza ta' ċertu proċess. Pereżempju, wara l-proċess taż-żebgħa taż-żebgħa ħamra, karozza sewda ssir ħamra:

Relazzjoni ta 'tranżizzjoni hija indikata minn vleġġa b'ras fit-tarf u ċirku fiċ-ċentru. Kif tistgħu taraw mid-dijagramma, il-proċessi jirreferu għal relazzjonijiet, mhux oġġetti.

Minbarra t-tranżizzjoni ordinarja murija fil-figura, hemm transizzjoni stretta. Jintuża f'każijiet fejn it-tranżizzjoni f'sitwazzjoni partikolari mhix ovvja, iżda huwa importanti għalina li nenfasizzawha. Pereżempju, l-installazzjoni ta 'mera li tara fuq wara fuq karozza mhix operazzjoni sinifikanti jekk inqisu l-proċess tal-assemblaġġ tal-karozza globalment. Madankollu, f'xi każijiet huwa meħtieġ li tissepara din l-operazzjoni:

Transizzjoni stretta hija mmarkata b'mod simili għal transizzjoni regolari, ħlief għall-ferrule doppju fl-aħħar.

Transizzjonijiet normali u stretti jistgħu wkoll jiġu mmarkati bħala istantanji. Biex tagħmel dan, trijangolu huwa miżjud maċ-ċirku ċentrali. Transizzjonijiet istantanji jintużaw f'każijiet fejn iż-żmien ta' transizzjoni huwa tant qasir li huwa kompletament insinifikanti fil-qasam tas-suġġett taħt konsiderazzjoni (inqas mill-perjodu ta' żmien sinifikanti minimu).
Pereżempju, jekk ikun hemm anke l-iċken ħsara lil karozza, din tista’ titqies bil-ħsara u l-prezz tagħha jonqos drastikament. Madankollu, il-biċċa l-kbira tal-ħsara sseħħ istantanjament, kuntrarjament għat-tixjiħ u l-ilbies:

L-eżempju juri tranżizzjoni stretta, iżda tista 'wkoll tuża transizzjoni regolari bħala transizzjoni immedjata.

Dijagrammi funzjonali

Dijagrammi bħal dawn jintużaw biex jindikaw l-istruttura ta 'interazzjoni bejn l-oġġetti. Pereżempju, mekkanik tal-karozzi jwettaq il-manutenzjoni tal-vettura, u maniġer tas-servizz tal-karozzi jaċċetta talbiet għal tiswijiet u jittrasferihom lil mekkanik tal-karozzi:

Ir-relazzjonijiet funzjonali huma murija bħala linja dritta mingħajr ponta, iżda kultant b'tikketta, li hija l-isem tar-relazzjoni.

Skemi magħquda

Skemi magħquda huma kombinazzjoni ta' skemi diskussi qabel. Ħafna mill-iskemi fil-metodoloġija IDEF5 huma kkombinati, peress li ontoloġiji li jużaw tip wieħed biss ta 'skema huma rari.

Id-disinni kollha spiss jużaw operaturi loġiċi. Billi tużahom, huwa possibbli li jiġu implimentati relazzjonijiet bejn tlieta, erba 'oġġetti jew aktar. Operatur loġiku jista' jesprimi xi entità ġenerali li fuqha jitwettaq proċess jew li tipparteċipa f'xi relazzjoni oħra. Pereżempju, tista' tgħaqqad l-eżempji preċedenti f'wieħed kif ġej:

F'każ speċifiku, l-iskema magħquda tuża skema ta 'kompożizzjoni (mera + karozza mingħajr mera = karozza b'mera) u skema ta' transizzjoni (karozza b'mera ssir karozza ħamra taħt l-influwenza tal-proċess taż-żebgħa ħamra). Barra minn hekk, karozza b'mera mhix espressa b'mod espliċitu - minflok, l-operatur loġiku U huwa indikat.

Konklużjoni

F'dan l-artikolu, ippruvajt niddeskrivi l-oġġetti u r-relazzjonijiet ewlenin fil-metodoloġija IDEF5. Jien użajt id-dominju tal-karozzi bħala eżempju għax irriżulta li kien ħafna aktar faċli biex jinbnew dijagrammi bl-użu tal-eżempju tagħhom. Madankollu, l-iskemi IDEF5 jistgħu jintużaw fi kwalunkwe qasam ieħor ta 'għarfien.

L-ontoloġiji u l-analiżi tal-għarfien tad-dominju huma suġġett pjuttost estensiv u jieħu ħafna ħin. Madankollu, fil-qafas ta 'IDEF5, kollox jirriżulta li mhux daqshekk diffiċli; għall-inqas, il-baŜi ta' dan is-suġġett jitgħallmu b'mod pjuttost sempliċi. L-iskop tal-artiklu tiegħi huwa li niġbed udjenza ġdida għall-problema tal-analiżi tal-għarfien, għalkemm permezz ta 'għodda IDEF5 tant primittiva bħala lingwa grafika.

Il-problema ta' lingwa grafika hija li bl-għajnuna tagħha huwa impossibbli li jiġu fformulati b'mod ċar xi relazzjonijiet (axioms) tal-ontoloġija. Hemm lingwa tat-test IDEF5 għal dan. Madankollu, fl-istadju inizjali, lingwa grafika tista 'tkun utli ħafna biex jiġu fformulati rekwiżiti inizjali ta' ontoloġija u tiddefinixxi l-vettur għall-iżvilupp ta 'ontoloġija aktar dettaljata fil-lingwa tat-test IDEF5 jew fi kwalunkwe għodda oħra.

Nittama li dan l-artiklu jkun utli għal dawk li jibdew f'dan il-qasam, forsi anke għal dawk li ilhom jittrattaw il-kwistjoni tal-analiżi ontoloġika. Il-materjal ewlieni kollu f'dan l-artikolu ġie tradott u interpretat mill-istandard IDEF5, li rreferejt għalih qabel (duplikat). Ġejt ispirat ukoll minn ktieb mill-isbaħ minn awturi minn NOU INTUIT (link għall-ktieb tagħhom).

Sors: www.habr.com