Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

«Як руз дар хаёти снёх» ё аз моделсозии процесс то лоихаи системаи автоматии бахисобгирии сарвати «Белка-1.0» (Кисми 1).

Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)
Барои «Киссаи подшох Салтан»-и А.С. Пушкин, ки нашриёти «Адабиёти бачагона», Москва, 1949, Ленинград, расмхои К.

Ба ин «сатур» чй дахл дорад?

Ман дарҳол фаҳмонам, ки «сигур» ба он чӣ иртибот дорад. Бо лоиҳаҳои шавқовар дар Интернет барои омӯзиши UML дар асоси мавзӯъе, ки аз афсонаҳо гирифта шудааст (масалан, дар ин ҷо [1]), Ман инчунин тасмим гирифтам, ки барои донишҷӯёни худ як мисоли шабеҳ омода кунам, то онҳо тавонанд танҳо се намуди диаграммаҳоро омӯзанд: Диаграммаи фаъолият, Диаграммаи истифода ва Диаграммаи синф. Ман дидаву дониста номи диаграммаҳоро ба забони русӣ тарҷума намекунам, то ки баҳсҳо дар бораи "мушкилоти тарҷума" нашавад. Ман каме дертар шарҳ медиҳам, ки ин барои чӣ аст. Дар ин мисол ман чаҳорчӯбаи Enterprise Architect-ро аз як ширкати австралиягӣ истифода мебарам Системаҳои Sparx [2] - воситаи хуб барои нархи оқилона. Ва дар доираи тренингҳои худ ман истифода мекунам Модели [3], як абзори хуби тарроҳии ба объект нигаронидашуда, ки стандартҳои UML2.0 ва BPMN-ро дастгирӣ мекунад, бидуни зангҳои нолозим аз ҷиҳати қобилиятҳои визуалӣ, аммо барои омӯзиши асосҳои забон кофӣ аст.

Мо фаъолияти бахисобгирии сарватхои моддиро, ки дар ин процессхо ба вучуд меоянд, автоматй кунонда истодаем.

...
Ҷазира дар баҳр ҷойгир аст, (E1, E2)
Дар ҷазира жола борид (E3, E1)
Бо калисоҳои тиллоӣ, (E4)
Бо манораҳо ва боғҳо; (E5, E6)
Дар пеши қаср дарахти арча мерӯяд, (E7, E8)
Ва дар зераш хонаи булӯр аст; (E9)
Дар он ҷо як мурғи ром зиндагӣ мекунад, (A1)
Бале, чӣ саргузашт! (A1)
Сангур суруд мехонад, (P1, A1)
Бале, ӯ ба чормағз мехӯрад, (P2)
Аммо чормағз оддӣ нест, (C1)
Ҳама снарядҳо тиллоӣ мебошанд, (C2)
Мағоза аз зумуррад пок аст; (C3)
Хизматгорон мурғро муҳофизат мекунанд, (P3, A2)
Онҳо ба вай ҳамчун ходимони гуногун хизмат мекунанд (P4)
Ва котиб таъин карда шуд (A3)
Ҳисоби қатъии чормағз хабар аст; (P5, C1)
Армия ба вай салом медихад; (P6, A4)
Танга аз снарядҳо рехта мешавад, (P7, C2, C4)
Бигзор онҳо дар саросари ҷаҳон гарданд; (С8)
Духтарон зумуррад мерезанд (P9, A5, C3)
Ба анборҳо ва дар зери сарпӯш; (E10, E11)
...
(А.С. Пушкин «Достони подшох Салтан, дар бораи кахрамони пуршараф ва тавонои у княз Гидон Салтанович ва маликаи зебои Свон», А.С. кор оид ба афсона тахминан соли 1822 cap шуда буд, афсонаро аввалин бор Пушкин дар мачмуаи «Шеърхои А. — 10 сол аз концепция то нашр!)

Каме дар бораи рамзҳое, ки дар тарафи рости сатрҳо навишта шудаанд. "А" (аз "Актёр") маънои онро дорад, ки сатр дорои маълумот дар бораи иштирокчии раванд аст. «С» (аз «Класс») – маълумот дар бораи объектҳои синфӣ, ки ҳангоми иҷрои равандҳо коркард мешаванд. «Е» (аз «Муҳити зист») – маълумот дар бораи объектҳои синфӣ, ки муҳити иҷрои равандҳоро тавсиф мекунанд. "P" (аз "Раванд") - маълумот дар бораи худи равандҳо.

Дар омади гап, таърифи дақиқи раванд инчунин даъво мекунад, ки сабаби баҳсҳои методологӣ бошад, агар танҳо бо сабаби мавҷуд будани равандҳои гуногун: тиҷорат, истеҳсолот, технологӣ ва ғайра. ва ғайра. (шумо метавонед фаҳмед, масалан, дар ин ҷо [4] ва дар ин ҷо [5]). Барои он ки бахсу мунозира рох надихад, биёед ба ин розй шавем Мо ба процесс аз нуктаи назари такроршавандагии он бо мурури замон ва зарурати автоматикунонй манфиатдорем, яъне. ба системам автоматй гузарондани ичрои ягон кисми амалиёти процесс.

Эзоҳҳо дар бораи истифодаи диаграммаи фаъолият

Биёед моделсозии раванди худро оғоз кунем ва барои ин диаграммаи Фаъолиятро истифода барем. Аввалан, биёед бифаҳмам, ки кодҳои дар боло зикршуда дар модел чӣ гуна истифода мешаванд. Бо мисоли графикӣ шарҳ додан осонтар аст, аммо дар айни замон мо баъзе унсурҳои (қариб ҳама чизҳои ба мо лозиманд) диаграммаи Фаъолиятро таҳлил мекунем.
Биёед порчаи зеринро таҳлил кунем:

...
Сангур суруд мехонад, (P1, A1)
Бале, ӯ ба чормағз мехӯрад, (P2)
Аммо чормағз оддӣ нест, (C1)
Ҳама снарядҳо тиллоӣ мебошанд, (C2)
Мағоза аз зумуррад пок аст; (C3)
...

Мо ду марҳилаи равандҳои P1 ва P2, иштирокчии A1 ва объектҳои се синфи гуногун дорем: объекти синфи C1 ба қадам ворид карда мешавад, объектҳои синфҳои C2 ва C3 дар натиҷаи фаъолияти ин қадами P2 аз мо бароварда мешаванд. раванд. Барои диаграмма мо унсурҳои моделсозии зеринро истифода мебарем.

Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

Порчае аз раванди моро чунин тасвир кардан мумкин аст (расми 1).

Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

Расми 1. Парчами диаграммаи фаъолият

Барои ташкили фазо ва сохтори диаграммаи Фаъолият, мо аз нуқтаи назари истифодаи классикии қайди UML равиши ғайристандартиро истифода мебарем. Аммо ин якчанд сабаб дорад. Аввалан, танҳо пеш аз оғози моделсозӣ мо ба ном тартиб медиҳем шартномаи моделсозӣ, ки дар он мо тамоми хусусиятҳои истифодабарии қайдро сабт мекунем. Сониян, ин равиш борҳо дар марҳилаи моделсозии бизнес дар лоиҳаҳои воқеӣ барои эҷоди системаҳои нармафзор бомуваффақият татбиқ карда шуд; натиҷаҳо аз ҷониби гурӯҳи хурди муаллифони мо дар объекти мувофиқи ҳуқуқи муаллиф сабт карда шуданд [6] ва инчунин дар дастури таълимӣ истифода шуданд [7]. XNUMX]. Барои диаграммаи Фаъолият, мо муайян мекунем, ки майдони диаграмма бо истифода аз "хати шиноварӣ" сохта шудааст. Номи трек ба намуди унсурҳои диаграмма, ки дар он трек ҷойгир карда мешаванд, мувофиқат мекунад.

"Артефактҳои вуруд ва баромад": Ин трек дорои унсурҳои Объектҳо мебошад - объектҳое, ки истифода мешаванд ё натиҷаи иҷрои баъзе равандҳо мебошанд.
"Қадамҳои раванд": Дар ин ҷо мо унсурҳои Фаъолият - амали иштирокчиёни равандро ҷойгир мекунем.
"Иштирокчиён": роҳ барои унсурҳое, ки нақшҳои иҷрокунандагони амалро дар раванди мо ифода мекунанд; барои онҳо мо ҳамон як элементи моделсозии Object - объектро истифода мебарем, аммо мо ба он стереотипи "Актёр" -ро илова мекунем.
Роҳи навбатӣ номида мешавад "Қоидаҳои тиҷорат" ва дар ин трек мо дар шакли матн қоидаҳои иҷрои марҳилаҳои равандро ҷойгир мекунем ва барои ин мо элементи моделсозиро истифода мебарем Note - ёддошт.
Мо дар ин ҷо меистем, гарчанде ки мо низ метавонистем аз роҳ истифода барем "Асбобҳо" барои чамъ кардани маълумот дар бораи дарачаи автоматикунонии процесс. Роҳ низ метавонад муфид бошад «Мавқеъ ва тақсимоти иштирокчиён», он метавонад барои пайваст кардани нақшҳо ба мавқеъҳо ва шӯъбаҳои иштирокчиёни раванд истифода шавад.

Ҳар он чизе, ки ман гуфтам, порае аст конвенсияҳои моделсозӣ, ин кисми шартнома ба коидахои ташкили як диаграмма ва мувофикан ба коидахои навиштан ва хондани он дахл дорад.

"рецепт"

Акнун биёед варианти моделсозии системаро махсус баррасӣ кунем аз диаграммаи фаъолият. Ин танҳо яке аз вариантҳост, ман қайд мекунам, ки ин, албатта, ягона нест. Диаграммаи фаъолият моро аз нуқтаи назари нақши он дар гузаштан аз моделсозии равандҳо ба тарҳрезии системаи автоматӣ ҷалб мекунад. Барои ин, мо ба тавсияҳои методологӣ риоя хоҳем кард - як навъ дорухат, ки танҳо аз панҷ марҳила иборат аст ва таҳияи танҳо се намуди диаграммаҳоро пешбинӣ мекунад. Истифодаи ин дорухат ба мо кӯмак мекунад, ки тавсифи расмии равандеро, ки мо мехоҳем автоматӣ ва ҷамъоварии маълумотро барои тарҳрезии система ба даст орем. Ва барои донишҷӯён дар оғози омӯзиши UML, ин як навъ наҷотдиҳандаи ҳаёт аст, ки ба онҳо имкон намедиҳад, ки дар ҳама гуна воситаҳо ва усулҳои визуалӣ, ки дар UML ва абзорҳои муосири моделсозӣ мавҷуданд, ғарқ шаванд.

Дар ин ҷо, дар асл, худи рецепт аст ва сипас диаграммаҳоеро, ки барои мавзӯи "афсона"-и мо сохта шудаанд, пайравӣ кунед.

Марҳилаи 1. Мо равандро дар шакли диаграммаи Фаъолият тавсиф мекунем. Барои раванде, ки зиёда аз 10 қадам дорад, истифодаи принсипи таҷзияи марҳилаи раванд барои беҳтар кардани хондани диаграмма маъно дорад.

Марҳилаи 2. Интихоб кунед, ки он чиро автоматӣ кардан мумкин аст (масалан, қадамҳоро дар диаграмма нишон додан мумкин аст).

Марҳилаи 3. Қадами автоматӣ бояд бо функсия ё функсияҳои система алоқаманд бошад (муносибат метавонад бисёр-ба-бисёр бошад), диаграммаи Use-case кашед. Инҳо вазифаҳои системаи мо мебошанд.

Марҳилаи 4. Ташкили дохилии АС-ро бо истифода аз диаграммаи синфӣ тавсиф мекунем - Синф. Роҳи шиноварии "Объектҳои воридот ва баромад (ҳуҷҷатҳо)" дар диаграммаи Фаъолият асос барои сохтани модели объект ва модели муносибат бо объект мебошад.

Марҳилаи 5. Биёед қайдҳоро дар треки "Қоидаҳои тиҷорат" таҳлил кунем, онхо навъхои гуногуни махдудиятхо ва шароитхоро таъмин мекунанд, ки тадричан ба талаботи гайрифунксионалй табдил меёбанд.
Маҷмӯи диаграммаҳои натиҷавӣ (Фаъолият, Use-case, Class) ба мо тавсифи расмиро дар қайди хеле қатъӣ медиҳад, яъне. мутолиаи равшан дорад. Акнун шумо метавонед мушаххасоти техникиро таҳия кунед, мушаххасоти талаботро мушаххас кунед ва ғайра.

Биёед моделсозӣ оғоз кунем.

Марҳилаи 1. Равандро дар шакли диаграммаи фаъолият тавсиф кунед

Хотиррасон мекунам, ки мо майдони диаграммаро бо истифода аз хатҳои "шиноварӣ" сохтем; ҳар як хат унсурҳои як навъро дар бар мегирад (расми 2). Илова ба элементҳои диаграммаи дар боло тавсифшуда, мо элементҳои иловагиро истифода мебарем, биёед онҳоро тавсиф кунем.

Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

Қарор (Қарор) нуқтаи шохабандии раванди моро дар диаграмма ва якҷоякунии риштаҳо (Merge) - нуқтаи дубора муттаҳидшавии онҳоро ифода мекунад. Шартҳои гузариш дар қавсҳои мураббаъ дар гузаргоҳҳо навишта мешаванд.

Дар байни ду синхронизатор (Форк) мо шохаҳои равандҳои параллелро нишон медиҳем.
Раванди мо метавонад танҳо як ибтидо дошта бошад - як нуқтаи воридшавӣ (Ибтидоӣ). Аммо шояд якчанд анҷомҳо вуҷуд дошта бошанд (ниҳоӣ), аммо на барои диаграммаи мушаххаси мо.

Тирчаҳо хеле зиёданд; бо миқдори зиёди элементҳо ва пайвастҳо шумо аввал марҳилаҳои равандро муайян карда, сипас таҷзияи ин марҳилаҳоро иҷро карда метавонед. Аммо барои возеҳӣ, ман мехоҳам раванди "афсона"-и худро комилан дар як диаграмма нишон диҳам, дар ҳоле ки, албатта, мо бояд боварӣ ҳосил кунем, ки тирҳо "ба ҳам напайванданд", метавонист он чизеро, ки ба он пайваст аст, пайгирӣ кунем. ба чи.

Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

Расми 2. Диаграммаи фаъолият - намуди умумии раванд

Зеро дар сатрхои поэтикй баъзе чузъиёти чараён дур монда, онхоро баркарор кардан лозим омад, онхо бо унсурхои заминаи сафед нишон дода шудаанд. Ин тафсилот марҳилаи интиқол/қабул барои нигоҳдорӣ ва коркард ва якчанд артефактҳои воридотӣ ва баромадро дар бар мегирад. Кайд кардан бамаврид аст, ки ин кадам хам процессро пурра ошкор намекунад, зеро ба мо лозим меояд, ки қадами интиқол ва қадами қабулро алоҳида таъин кунем ва ҳатто барои снарядҳо як қадами алоҳида илова кунем ва инчунин фикр кунем, ки аввал ҳамаи ин арзишҳои моддӣ бояд муваққатан дар ҷое нигоҳ дошта шаванд ва ғайра. ва ғайра.
Ҳамчунин қайд кунем, ки саволи пайдоиши чормағз беҷавоб боқӣ мемонад - онҳо аз куҷо пайдо мешаванд ва чӣ тавр ба сутун мерасанд? Ва ин савол (он бо ҳуруфи сурх дар ёддошт қайд карда шудааст - элементи Эзоҳ) омӯзиши алоҳидаро талаб мекунад! Таҳлилгар ҳамин тавр кор мекунад - оҳиста-оҳиста маълумот ҷамъоварӣ мекунад, тахминҳо мекунад ва аз коршиносони мавзӯъ "хуб" ё "не-хуб" мегирад - одамони хеле муҳим ва оддӣ ивазнашаванда дар марҳилаи моделсозии бизнес ҳангоми сохтани системаҳо.

Инчунин қайд кунед, ки марҳилаи раванди P5 аз ду қисм иборат аст.

Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

Ва мо ҳар як қисмро тақсим мекунем ва онро муфассалтар баррасӣ мекунем (расми 3, расми 4), зеро фаъолиятҳое, ки дар доираи ин қадамҳои мушаххас анҷом дода мешаванд, автоматӣ карда мешаванд.

Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

Расми 3. Диаграммаи фаъолият - тафсилот (қисми 1)

Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

Расми 4. Диаграммаи фаъолият - тафсилот (қисми 2)

Марҳилаи 2. Интихоб кунед, ки он чиро автоматӣ кардан мумкин аст

Қадамҳои автоматикунонидашуда дар диаграммаҳо бо ранг нишон дода шудаанд (ниг. Расми 3, Расми 4).
Аз моделсозии раванд то тарҳрезии автоматии система (Қисми 1)

Хамаи онхоро як иштирокчии процесс — котиб ичро мекунад:

  • Ба ведомость маълумот дар бораи вазни гайка дохил мешавад;
  • Маълумотро дар бораи додани гайка ба ведомость дохил мекунад;
  • Факти ба пуст ва ядро ​​табдил ёфтани чормагзро кайд мекунад;
  • Маълумотро дар бораи ядрои чормағз ба изҳорот ворид мекунад;
  • Маълумотро дар бораи пуфакҳои чормағз ба рӯйхат дохил мекунад.

Таҳлили корҳои анҷомдодашуда. Баъд чӣ?

Хамин тавр, мо бисьёр корхои тайёриро анчом додем: мо дар бораи процессе, ки мо автоматй кунонда истодаем, маълумот чамъ кардем; ба ташаккули созишнома оид ба моделсозӣ шурӯъ карданд (то ҳол танҳо дар робита ба истифодаи диаграммаи Фаъолият); моделиронии равандро анҷом дод ва ҳатто якчанд қадамҳои онро таҷзия кард; Мо қадамҳои равандро муайян кардем, ки мо автоматӣ хоҳем кард. Ҳоло мо омодаем, ки ба қадамҳои оянда гузарем ва ба тарҳрезии функсия ва ташкили дохилии система шурӯъ кунем.

Тавре ки шумо медонед, назария бе амалия чизе нест. Шумо бешубҳа бояд "моделсозӣ" -ро бо дасти худ санҷед, ин барои фаҳмидани равиши пешниҳодшуда низ муфид аст. Масалан, шумо метавонед дар муҳити моделсозӣ кор кунед Модели [3]. Мо танҳо як қисми қадамҳои диаграммаи умумии равандро тақсим кардем (нигаред ба расми 2). Ҳамчун вазифаи амалӣ, мумкин аст аз шумо хоҳиш карда шавад, ки ҳамаи диаграммаҳоро дар муҳити Modelio такрор кунед ва таҷзияи қадами “Интиқол/Қабул барои нигоҳдорӣ ва коркард”-ро иҷро кунед.
Мо ҳоло дар бораи кор дар муҳити мушаххаси моделсозӣ фикр намекунем, аммо ин метавонад мавзӯи мақолаҳо ва баррасиҳои мустақил гардад.

Дар қисми дуюми мақола, мо усулҳои моделсозӣ ва тарроҳиро дар марҳилаҳои 3-5 таҳлил хоҳем кард; мо диаграммаҳои UML Use-case ва Class-ро истифода хоҳем бурд. Давом дорад.

Рӯйхати манбаъҳо

  1. Вебсайти "UML2.ru". Форуми ҷомеаи таҳлилгарон. Бахши умумӣ. Мисолхо. Намунаҳои афсонаҳое, ки ҳамчун диаграммаҳои UML формат карда шудаанд. [Манбаи электронӣ] Ҳолати дастрасӣ: Интернет: http://www.uml2.ru/forum/index.php?topic=486.0
  2. Вебсайти Sparx Systems. [Манбаи электронӣ] Ҳолати дастрасӣ: Интернет: https://sparxsystems.com
  3. Вебсайти Modelio. [Манбаи электронӣ] Ҳолати дастрасӣ: Интернет: https://www.modelio.org
  4. Луғати бузурги энсиклопедӣ. Раванд (тафсир). [Манбаи электронӣ] Ҳолати дастрасӣ: Интернет: https://dic.academic.ru/dic.nsf/enc3p/246322
  5. Вебсайти "Ташкили идоракунии самаранок". Блог. Категорияи "Идоракунии равандҳои тиҷоратӣ". Таърифи раванди бизнес. [Манбаи электронӣ] Ҳолати дастрасӣ: Интернет: https://rzbpm.ru/knowledge/pochemu-processy-stali-s-pristavkoj-biznes.html
  6. Шањодатномаи №18249 дар бораи баќайдгирї ва ба амонат гузоштани асари фаъолияти зењнї. Алфимов Р.В., Золотухина Е.Б., Красникова С.А. Дастнависи василаи таълимӣ таҳти унвони “Моделсозии соҳаи мавзӯъ бо истифода аз меъмори корхона” // 2011.
  7. Золотухина Е.Б., Вишня А.С., Красникова С.А. Моделсозии равандҳои бизнес. - М.: КУРС, SIC INFRA-M, EBS Znanium.com. — 2017.

Манбаъ: will.com

Илова Эзоҳ