Մուտք
Այս հոդվածը նախատեսված է նրանց համար, ովքեր գոնե տարրական մակարդակով ծանոթ են գոյաբանության հայեցակարգին: Եթե դուք ծանոթ չեք գոյաբանություններին, ապա, ամենայն հավանականությամբ, ձեզ համար պարզ չի լինի գոյաբանությունների և մասնավորապես այս հոդվածի նպատակը։ Խորհուրդ եմ տալիս ծանոթանալ այս երևույթին նախքան այս հոդվածը կարդալը (գուցե նույնիսկ Վիքիպեդիայից մի հոդվածը բավարար լինի)։
Այդպես Օնտոլոգիա - սա քննարկվող որոշակի առարկայի մանրամասն նկարագրությունն է: Նման նկարագրությունը պետք է տրվի ինչ-որ հստակ ձևակերպված լեզվով։ Օնտոլոգիաները նկարագրելու համար կարող եք օգտագործել IDEF5 մեթոդաբանությունը, որն իր զինանոցում ունի 2 լեզու.
- IDEF5 սխեմատիկ լեզու: Այս լեզուն տեսողական է և օգտագործում է գրաֆիկական տարրեր:
- IDEF5 տեքստային լեզու: Այս լեզուն ներկայացված է որպես կառուցվածքային տեքստ:
Այս հոդվածում կքննարկվի առաջին տարբերակը՝ սխեմատիկ լեզուն: Մենք կխոսենք տեքստի մասին հաջորդ հոդվածներում:
Օբյեկտներ
Սխեմատիկ լեզվով, ինչպես արդեն նշվեց, օգտագործվում են գրաֆիկական տարրեր։ Նախ, մենք պետք է հաշվի առնենք այս լեզվի հիմնական տարրերը:
Հաճախ գոյաբանությունն օգտագործում է ինչպես ընդհանրացված սուբյեկտներ, այնպես էլ հատուկ օբյեկտներ: Ընդհանրացված սուբյեկտները կոչվում են տեսակներ. Դրանք պատկերված են որպես շրջանակ, որի ներսում կա պիտակ (օբյեկտի անվանումը).
Տեսակները տվյալ տեսակի առանձին նմուշների հավաքածու են։ Այսինքն, այնպիսի տեսակետ, ինչպիսին է «Ավտոմեքենաները», կարող է ներկայացնել առանձին մեքենաների մի ամբողջ հավաքածու:
Ինչպես պատճենները Այս տեսակը կարող է լինել կոնկրետ մեքենաներ, կամ որոշակի տեսակի սարքավորումներ կամ որոշակի ապրանքանիշեր: Ամեն ինչ կախված է համատեքստից, թեմայի ոլորտից և դրա մանրամասնության մակարդակից: Օրինակ, ավտոտեխսպասարկման կետի համար հատուկ մեքենաները որպես ֆիզիկական անձինք կարևոր կլինեն: Ավտոմեքենաների վաճառքի վերաբերյալ որոշ վիճակագրություն պահպանելու համար կարևոր կլինի հատուկ մոդելներ և այլն:
Տեսակների առանձին օրինակները նշանակված են նույն կերպ, ինչպես իրենք՝ ցեղատեսակները, որոնք նշված են միայն շրջանագծի ներքևում գտնվող կետով.
Նաև, որպես օբյեկտների քննարկման մաս, արժե նշել այնպիսի օբյեկտներ, ինչպիսիք են գործընթացները.
Եթե դիտումները և օրինակները այսպես կոչված ստատիկ օբյեկտներ են (ժամանակի ընթացքում չեն փոխվում), ապա գործընթացները դինամիկ օբյեկտներ են: Սա նշանակում է, որ այդ օբյեկտները գոյություն ունեն որոշակի խիստ սահմանված ժամանակահատվածում։
Օրինակ՝ կարելի է առանձնացնել այնպիսի օբյեկտ, ինչպիսին է մեքենայի արտադրության գործընթացը (քանի որ խոսքը դրանց մասին է)։ Ինտուիտիվորեն պարզ է, որ այս օբյեկտը գոյություն ունի միայն այս մեքենայի իրական արտադրության ժամանակ (խիստ սահմանված ժամանակահատվածում): Արժե նկատի ունենալ, որ այս սահմանումը պայմանական է, քանի որ այնպիսի առարկաներ, ինչպիսին է մեքենան, նույնպես ունեն իրենց ծառայության ժամկետը, պահպանման ժամկետը, գոյությունը և այլն: Այնուամենայնիվ, եկեք չխորանանք փիլիսոփայության մեջ, և առարկայական ոլորտների մեծ մասում մենք կարող ենք ընդունել, որ օրինակները, և առավել ևս տեսակները, գոյություն ունեն ընդմիշտ:
Գործընթացները պատկերված են որպես ուղղանկյուն՝ գործընթացի պիտակով (անունով).
Գործընթացները օգտագործվում են մի օբյեկտի մյուսին անցնելու սխեմաներում: Սա ավելի մանրամասն կքննարկվի ստորև:
Բացի գործընթացներից, նման սխեմաները օգտագործում են տրամաբանական օպերատորներ. Այստեղ ամեն ինչ բավականին պարզ է նրանց համար, ովքեր ծանոթ են պրեդիկատներին, Բուլյան հանրահաշիվին կամ ծրագրավորմանը: IDEF5-ն օգտագործում է երեք հիմնական տրամաբանական օպերատորներ.
- տրամաբանական AND (AND);
- տրամաբանական ԿԱՄ (OR);
- բացառիկ ԿԱՄ (XOR):
IDEF5 ստանդարտը (http://idef.ru/documents/Idef5.pdf - այս աղբյուրի տեղեկատվության մեծ մասը) սահմանում է տրամաբանական օպերատորների պատկերը փոքր շրջանակների տեսքով (համեմատած դիտումների և օրինակների հետ) պիտակով: խորհրդանիշների ձևը. Այնուամենայնիվ, IDEF5 գրաֆիկական միջավայրում, որը մենք մշակում ենք, մենք շատ պատճառներով հեռացել ենք այս կանոնից: Դրանցից մեկն այս օպերատորների դժվար նույնականացումն է։ Հետևաբար, մենք օգտագործում ենք օպերատորների տեքստային նշումը նույնականացման համարով.
Թերևս այստեղ կավարտենք առարկաներով:
Հետ
Օբյեկտների միջև կան հարաբերություններ, որոնք գոյաբանության մեջ նշանակում են կանոններ, որոնք որոշում են օբյեկտների փոխազդեցությունը և որոնցից նոր եզրակացություններ են ստացվում։
Սովորաբար հարաբերությունները որոշվում են գոյաբանության մեջ օգտագործվող սխեմայի տեսակով: Ծրագիրը գոյաբանական օբյեկտների և նրանց միջև հարաբերությունների մի շարք է: Կան սխեմաների հետևյալ հիմնական տեսակները.
- Կոմպոզիցիայի սխեմաներ.
- Դասակարգման սխեմաներ.
- Անցումային դիագրամներ.
- Ֆունկցիոնալ դիագրամներ.
- Համակցված սխեմաներ.
Նաև երբեմն կա այնպիսի սխեմա, ինչպիսին է էկզիստենցիալ. Էքզիստենցիալ սխեման առանց հարաբերությունների օբյեկտների հավաքածու է: Նման դիագրամները պարզապես ցույց են տալիս, որ որոշակի առարկայական տարածքում կա օբյեկտների որոշակի հավաքածու:
Դե, հիմա, հերթականությամբ, յուրաքանչյուր տեսակի սխեմայի մասին:
Կոմպոզիցիայի սխեմաներ
Այս տեսակի դիագրամը օգտագործվում է օբյեկտի, համակարգի, կառուցվածքի և այլնի կազմը ներկայացնելու համար: Տիպիկ օրինակ է մեքենայի մասերը: Իր առավել ընդլայնված տեսքով մեքենան բաղկացած է թափքից և փոխանցման տուփից: Իր հերթին, մարմինը բաժանված է շրջանակի, դռների և այլ մասերի: Այս տարրալուծումը կարող է շարունակվել հետագայում. ամեն ինչ կախված է տվյալ առաջադրանքի մանրամասնության անհրաժեշտ մակարդակից: Նման սխեմայի օրինակ.
Կոմպոզիցիայի հարաբերությունները ցուցադրվում են որպես սլաքի վերջում սլաքի ծայրով (ի տարբերություն, օրինակ, դասակարգման հարաբերությունների, որտեղ սլաքի ծայրը գտնվում է սլաքի սկզբում, ավելի մանրամասն ստորև): Նման հարաբերությունները կարող են պիտակավորվել պիտակով, ինչպես նկարում (մասում):
Դասակարգման սխեմաներ
Դասակարգման սխեմաները կոչված են արտահայտելու տեսակների սահմանումը, դրանց ենթատեսակները և տեսակների օրինակները: Օրինակ, մեքենաները կարող են լինել մեքենաներ և բեռնատարներ: Այսինքն՝ «Ավտոմեքենա» տեսարանն ունի երկու ենթադիտում։ VAZ-2110-ը «Ուղևորատար ավտոմեքենա» ենթատիպի հատուկ օրինակ է, իսկ ԳԱԶ-3307-ը «Բեռնատար» ենթատեսակի օրինակ է.
Հարաբերությունները դասակարգման սխեմաներում (ենթատեսակ կամ կոնկրետ օրինակ) ունեն սկզբում ծայրով սլաքի ձև և, ինչպես կոմպոզիցիայի սխեմաների դեպքում, կարող են պիտակ ունենալ հարաբերությունների անվանումով:
Անցումային սխեմաներ
Այս տեսակի սխեմաները անհրաժեշտ են որոշակի գործընթացի ազդեցության տակ օբյեկտների մի վիճակից մյուսին անցնելու գործընթացները ցուցադրելու համար: Օրինակ, կարմիր ներկ ներկելու գործընթացից հետո սև մեքենան կարմիր է դառնում.
Անցումային հարաբերությունը նշվում է սլաքով, որի ծայրը գլխով է, իսկ կենտրոնում՝ շրջան: Ինչպես տեսնում եք դիագրամից, գործընթացները վերաբերում են հարաբերություններին, ոչ թե առարկաներին:
Բացի նկարում ցուցադրված սովորական անցումից, կա խիստ անցում: Այն օգտագործվում է այն դեպքերում, երբ տվյալ իրավիճակում անցումը ակնհայտ չէ, սակայն մեզ համար կարևոր է այն ընդգծել։ Օրինակ, մեքենայի վրա հետևի հայելի տեղադրելը նշանակալից գործողություն չէ, եթե հաշվի առնենք մեքենայի հավաքման գործընթացը գլոբալ: Այնուամենայնիվ, որոշ դեպքերում անհրաժեշտ է առանձնացնել այս գործողությունը.
Խիստ անցումը նշվում է այնպես, ինչպես սովորական անցումը, բացառությամբ վերջում կրկնակի լաստանավի:
Նորմալ և խիստ անցումները կարող են նաև նշվել որպես ակնթարթային: Դա անելու համար կենտրոնական շրջանակին ավելացվում է եռանկյուն: Ակնթարթային անցումներն օգտագործվում են այն դեպքերում, երբ անցումային ժամանակն այնքան կարճ է, որ այն բոլորովին աննշան է դիտարկվող առարկայի շրջանակներում (նվազագույն նշանակալի ժամանակահատվածից պակաս):
Օրինակ, եթե մեքենային նույնիսկ չնչին վնաս է պատճառվել, այն կարելի է համարել վնասված, և դրա գինը կտրուկ իջնում է։ Այնուամենայնիվ, վնասների մեծ մասը տեղի է ունենում անմիջապես, ի տարբերություն ծերացման և մաշվածության.
Օրինակը ցույց է տալիս խիստ անցում, բայց դուք կարող եք նաև օգտագործել սովորական անցումը որպես ակնթարթային:
Ֆունկցիոնալ դիագրամներ
Նման դիագրամները օգտագործվում են օբյեկտների միջև փոխազդեցության կառուցվածքը ցույց տալու համար: Օրինակ, ավտոմեխանիկն իրականացնում է տրանսպորտային միջոցների սպասարկում, իսկ ավտոտեխսպասարկման մենեջերը ընդունում է վերանորոգման հարցումները և դրանք փոխանցում ավտոմեխանիկին.
Ֆունկցիոնալ հարաբերությունները պատկերված են ուղիղ գծի տեսքով՝ առանց ծայրի, բայց երբեմն պիտակով, որը հարաբերությունների անվանումն է։
Համակցված սխեմաներ
Համակցված սխեմաները նախկինում քննարկված սխեմաների համակցություն են: IDEF5 մեթոդաբանության սխեմաների մեծ մասը համակցված է, քանի որ գոյաբանությունները, որոնք օգտագործում են միայն մեկ տեսակի սխեմա, հազվադեպ են:
Բոլոր ձևավորումները հաճախ օգտագործում են տրամաբանական օպերատորներ: Օգտագործելով դրանք՝ հնարավոր է իրականացնել հարաբերություններ երեք, չորս կամ ավելի օբյեկտների միջև։ Տրամաբանական օպերատորը կարող է արտահայտել ինչ-որ ընդհանուր միավոր, որի վրա իրականացվում է գործընթաց կամ որը մասնակցում է որևէ այլ հարաբերությունների: Օրինակ, դուք կարող եք համատեղել նախորդ օրինակները մեկի մեջ հետևյալ կերպ.
Կոնկրետ դեպքում համակցված սխեման օգտագործում է կոմպոզիցիայի սխեման (հայելի + մեքենա առանց հայելի = մեքենա հայելիով) և անցումային սխեմա (հայելիով մեքենան կարմիր ներկման գործընթացի ազդեցության տակ դառնում է կարմիր մեքենա): Ավելին, հայելիով մեքենան հստակ արտահայտված չէ, փոխարենը նշվում է տրամաբանական AND օպերատորը:
Ամփոփում
Այս հոդվածում ես փորձեցի նկարագրել IDEF5 մեթոդաբանության հիմնական օբյեկտներն ու հարաբերությունները: Ես որպես օրինակ օգտագործեցի ավտոմոբիլային տիրույթը, քանի որ պարզվեց, որ շատ ավելի հեշտ է դիագրամներ կառուցել՝ օգտագործելով դրանց օրինակը: Այնուամենայնիվ, IDEF5 սխեմաները կարող են օգտագործվել ցանկացած այլ գիտելիքի ոլորտում:
Օնտոլոգիաները և տիրույթի գիտելիքների վերլուծությունը բավականին ծավալուն և ժամանակատար թեմա է: Այնուամենայնիվ, IDEF5-ի շրջանակներում ամեն ինչ պարզվում է, որ այնքան էլ դժվար չէ, համենայն դեպս, այս թեմայի հիմունքները բավականին պարզ են սովորում։ Իմ հոդվածի նպատակն է նոր լսարան ներգրավել գիտելիքների վերլուծության խնդրին, թեկուզև IDEF5 պարզունակ գործիքի միջոցով՝ որպես գրաֆիկական լեզու:
Գրաֆիկական լեզվի խնդիրն այն է, որ դրա օգնությամբ հնարավոր չէ հստակ ձևակերպել գոյաբանության որոշ հարաբերություններ (աքսիոմներ): Դրա համար կա տեքստային լեզու IDEF5: Այնուամենայնիվ, սկզբնական փուլում գրաֆիկական լեզուն կարող է շատ օգտակար լինել նախնական գոյաբանական պահանջները ձևակերպելու և IDEF5 տեքստային լեզվով կամ որևէ այլ գործիքի մեջ ավելի մանրամասն գոյաբանություն մշակելու վեկտորը սահմանելու համար:
Հուսով եմ, որ այս հոդվածը օգտակար կլինի այս ոլորտում սկսնակների համար, գուցե նույնիսկ նրանց համար, ովքեր երկար ժամանակ զբաղվում են գոյաբանական վերլուծության խնդրով: Այս հոդվածի բոլոր հիմնական նյութերը թարգմանվել և մեկնաբանվել են IDEF5 ստանդարտից, որին ես անդրադարձել եմ ավելի վաղ () Ինձ ոգեշնչեց նաև NOU INTUIT-ի հեղինակների մի հրաշալի գիրք ().
Source: www.habr.com