Færslu
Þessi grein er ætluð þeim sem þekkja hugtakið verufræði að minnsta kosti á grunnstigi. Ef þú ert ekki kunnugur verufræði, þá mun líklegast tilgangur verufræði og þessa grein sérstaklega ekki vera ljós fyrir þér. Ég ráðlegg þér að kynna þér þetta fyrirbæri áður en þú byrjar að lesa þessa grein (kannski dugar grein frá Wikipedia).
Svo Verufræði - þetta er ítarleg lýsing á ákveðnu efnissviði sem er til skoðunar. Slík lýsing verður að vera gefin á einhverju skýru máli. Til að lýsa verufræði geturðu notað IDEF5 aðferðafræðina, sem hefur 2 tungumál í vopnabúrinu sínu:
- IDEF5 skýringarmál. Þetta tungumál er sjónrænt og notar grafíska þætti.
- IDEF5 textamál. Þetta tungumál er táknað sem uppbyggður texti.
Þessi grein mun fjalla um fyrsta valkostinn - skýringarmynd. Við munum tala um texta í eftirfarandi greinum.
Hlutir
Í skýringarmynd, eins og áður hefur verið nefnt, eru grafískir þættir notaðir. Í fyrsta lagi ættum við að íhuga grunnþætti þessa tungumáls.
Oft notar verufræði bæði almennar einingar og sérstaka hluti. Almennar einingar eru kallaðar tegundir. Þeir eru sýndir sem hringur með merkimiða (nafn hlutarins) inni:
Tegundir eru safn einstakra eintaka af tiltekinni tegund. Það er, útsýni eins og „Bílar“ getur táknað allt safn einstakra bíla.
Eins og eintök Þessi tegund getur verið ákveðnir bílar, eða ákveðnar tegundir búnaðar, eða ákveðin vörumerki. Það veltur allt á samhenginu, viðfangsefninu og smáatriðum þess. Til dæmis, fyrir bílaverkstæði, munu tilteknir bílar sem líkamlegir einingar skipta máli. Til að viðhalda einhverri tölfræði um sölu á bílaumboði munu sérstakar gerðir osfrv.
Einstök tilvik tegunda eru tilnefnd á svipaðan hátt og tegundin sjálf, aðeins auðkennd með punkti neðst í hringnum:
Einnig, sem hluta af umfjöllun um hluti, er vert að nefna hluti eins og ferlar.
Ef skoðanir og tilvik eru svokallaðir kyrrstæðir hlutir (breytast ekki með tímanum), þá eru ferli kvikir hlutir. Þetta þýðir að þessir hlutir eru til á ákveðnu stranglega afmörkuðu tímabili.
Til dæmis getum við nefnt slíkan hlut eins og ferlið við að framleiða bíl (þar sem við erum að tala um þá). Það er innsæi ljóst að þessi hlutur er aðeins til við raunverulega framleiðslu þessa bíls (ströng skilgreint tímabil). Rétt er að hafa í huga að þessi skilgreining er skilyrt, því hlutir eins og bíll hafa líka sinn líftíma, geymsluþol, tilveru o.s.frv. Hins vegar skulum við ekki fara út í heimspeki og innan ramma flestra fagsviða getum við sætt okkur við að tilvik, og enn frekar tegundir, séu til að eilífu.
Ferlar eru sýndir sem rétthyrningur með merkimiða (nafn) ferlisins:
Ferlar eru notaðir í kerfum til að skipta einum hlut yfir í annan. Nánar verður fjallað um þetta hér á eftir.
Til viðbótar við ferla, nota slík kerfi rökrænir rekstraraðilar. Hér er allt frekar einfalt fyrir þá sem þekkja forsendur, Boolean algebru eða forritun. IDEF5 notar þrjá grundvallar rökræna rekstraraðila:
- rökrétt OG (AND);
- rökrétt EÐA (OR);
- eingöngu OR (XOR).
IDEF5 staðallinn (http://idef.ru/documents/Idef5.pdf - flestar upplýsingarnar frá þessari heimild) skilgreinir mynd af rökréttum rekstraraðilum í formi lítilla hringja (samanborið við skoðanir og tilvik) með merkimiða í form tákna. Hins vegar, í IDEF5 grafíska umhverfinu sem við erum að þróa, höfum við horfið frá þessari reglu af mörgum ástæðum. Ein þeirra er erfið auðkenning á þessum rekstraraðilum. Þess vegna notum við textagerð rekstraraðila með kenninúmeri:
Kannski munum við klára með hluti hér.
Samskipti
Það eru tengsl milli hluta, sem í verufræði þýðir reglur sem ákvarða samspil hluta og sem nýjar ályktanir eru dregnar af.
Venjulega eru tengsl ákvörðuð af gerð skema sem notað er í verufræðinni. Kerfið er safn verufræðihluta og tengsla þar á milli. Það eru eftirfarandi helstu tegundir af kerfum:
- Samsetningarkerfi.
- Flokkunarkerfi.
- Umskipti skýringarmyndir.
- Hagnýtar skýringarmyndir.
- Samsett kerfi.
Einnig er stundum til slík tegund af kerfi eins og tilvistarleg. Tilvistarskema er safn af hlutum án tengsla. Slíkar skýringarmyndir sýna einfaldlega að á ákveðnu efnissviði er ákveðið safn af hlutum.
Jæja, nú, í röð, um hverja tegund af kerfi.
Samsetningarkerfi
Þessi tegund af skýringarmynd er notuð til að tákna samsetningu hlutar, kerfi, uppbyggingu osfrv. Dæmigerð dæmi eru bílavarahlutir. Í sinni stækkuðu mynd samanstendur bíllinn af yfirbyggingu og skiptingu. Aftur á móti er líkamanum skipt í ramma, hurðir og aðra hluta. Þessari niðurbroti er hægt að halda áfram - það veltur allt á nauðsynlegum smáatriðum í þessu tiltekna verkefni. Dæmi um slíkt kerfi:
Samsetningartengsl eru sýnd sem ör með örvarodda í lokin (ólíkt t.d. flokkunartengslum, þar sem örvaroddur er í upphafi örarinnar, nánari upplýsingar hér að neðan). Slík tengsl má merkja með merkimiða eins og á myndinni (hluti).
Flokkunarkerfi
Flokkunarkerfum er ætlað að tjá skilgreiningu á tegundum, undirtegundum þeirra og tilfellum tegunda. Til dæmis geta bílar verið bílar og vörubílar. Það er, „Bíll“ útsýnið hefur tvær undiryfirlit. VAZ-2110 er sérstakt tilvik af undirgerðinni „Farþegabíll“ og GAZ-3307 er tilvik af undirgerðinni „Vörubíll“:
Tengsl í flokkunarkerfum (undirtegund eða tiltekið tilvik) eru í formi ör með odd í upphafi og geta, eins og í tilviki samsetningarkerfa, verið með merkimiða með nafni skyldleikans.
Umskiptakerfi
Áætlanir af þessu tagi eru nauðsynlegar til að sýna umskipti hluta frá einu ástandi í annað undir áhrifum ákveðins ferlis. Til dæmis, eftir ferlið við að mála rauða málningu, verður svartur bíll rauður:
Umbreytingarsamband er gefið til kynna með ör með höfuð á endanum og hring í miðjunni. Eins og þú sérð á skýringarmyndinni vísa ferlar til tengsla, ekki hluta.
Til viðbótar við venjulega umskiptin sem sýnd eru á myndinni eru ströng umskipti. Það er notað í þeim tilvikum þar sem umskipti í tilteknum aðstæðum eru ekki augljós, en það er mikilvægt fyrir okkur að leggja áherslu á það. Til dæmis er það ekki mikil aðgerð að setja upp baksýnisspegil á bíl ef við lítum á samsetningarferlið bíla á heimsvísu. Hins vegar, í sumum tilfellum er nauðsynlegt að aðskilja þessa aðgerð:
Strangt umskipti eru merkt á svipaðan hátt og venjuleg umskipti, nema tvöfalda ferrúlan í lokin.
Einnig er hægt að merkja eðlilegar og strangar umbreytingar sem tafarlausar. Til að gera þetta er þríhyrningi bætt við miðhringinn. Skyndiskipti eru notuð í þeim tilfellum þar sem aðlögunartíminn er svo stuttur að hann er algjörlega óverulegur innan þess málefnasviðs sem til skoðunar er (minna en verulegur lágmarkstími).
Til dæmis, ef það er jafnvel minnsta skemmd á bíl getur hann talist skemmdur og verð hans lækkar verulega. Hins vegar gerist flestar skemmdir samstundis, ólíkt öldrun og sliti:
Dæmið sýnir ströng umskipti, en þú getur líka notað venjulega umskipti sem augnablik.
Hagnýtar skýringarmyndir
Slíkar skýringarmyndir eru notaðar til að gefa til kynna uppbyggingu víxlverkunar milli hluta. Sem dæmi má nefna að bifvélavirki sér um viðhald ökutækja og bílaþjónustustjóri tekur við beiðnum um viðgerðir og færir þær til bifvélavirkja:
Virk sambönd eru sýnd sem bein lína án þjórfé, en stundum með merkimiða, sem er nafn sambandsins.
Samsett kerfi
Samsett kerfi eru sambland af áður ræddum kerfum. Flest kerfin í IDEF5 aðferðafræðinni eru sameinuð, þar sem verufræði sem nota aðeins eina tegund kerfis eru sjaldgæf.
Öll hönnun notar oft rökræna rekstraraðila. Með því að nota þá er hægt að útfæra tengsl milli þriggja, fjögurra eða fleiri hluta. Rökréttur rekstraraðili getur tjáð einhverja almenna aðila sem ferli er framkvæmt yfir eða sem tekur þátt í einhverju öðru sambandi. Til dæmis geturðu sameinað fyrri dæmi í eitt sem hér segir:
Í ákveðnu tilviki notar sameinaða kerfið samsetningarkerfi (spegill + bíll án spegils = bíll með spegli) og umbreytingarkerfi (bíll með spegli verður rauður bíll undir áhrifum rauða málningarferlisins). Þar að auki er bíll með spegli ekki tjáð beint - í staðinn er rökréttur rekstraraðili OG sýndur.
Ályktun
Í þessari grein reyndi ég að lýsa helstu hlutum og tengslum í IDEF5 aðferðafræðinni. Ég notaði bílalénið sem dæmi vegna þess að það reyndist miklu auðveldara að búa til skýringarmyndir með því að nota dæmið þeirra. Hins vegar er hægt að nota IDEF5 skema á hvaða öðru þekkingarsviði sem er.
Verufræði og greining á lénsþekkingu er frekar umfangsmikið og tímafrekt viðfangsefni. Hins vegar, innan ramma IDEF5, reynist allt ekki vera svo erfitt; að minnsta kosti eru grunnatriði þessa efnis einfaldlega lærð. Tilgangur greinar minnar er að laða nýjan áhorfendur að vandamáli þekkingargreiningar, þó með svo frumstæðu IDEF5 tæki sem myndrænt tungumál.
Vandamálið við myndrænt tungumál er að með hjálp þess er ómögulegt að setja skýrt fram einhver tengsl (axioms) verufræðinnar. Það er textamál IDEF5 fyrir þetta. Hins vegar, á upphafsstigi, getur grafískt tungumál verið mjög gagnlegt til að móta upphaflegar verufræðikröfur og skilgreina vektorinn til að þróa ítarlegri verufræði á IDEF5 textamálinu eða í einhverju öðru verkfæri.
Ég vona að þessi grein nýtist byrjendum á þessu sviði, jafnvel þeim sem hafa verið að fást við verufræðilega greiningu í langan tíma. Allt aðalefnið í þessari grein var þýtt og túlkað út frá IDEF5 staðlinum, sem ég vísaði til áðan (). Ég var líka innblásin af frábærri bók frá höfundum frá NOU INTUIT ().
Heimild: www.habr.com