Apie verslo taisykles
Skaidrės iš pranešimo, kurį 2020 m. kovo 10 d. skaičiau kolegoms Metasite. Tai tos pačios linijos tęsinys kaip ir pranešimas apie verslo reikalavimus, tik žingsniu žemiau — apie taisykles, kurios užrašomos po jais.
Pradėjau nuo komandos apklausos. Parašyti taisyklę dauguma pasitiki galintys; paaiškinti ją suinteresuotoms pusėms — jau kur kas mažiau, ir beveik visi nesutiko, kad tema neverta laiko. Šiokių tokių susitarimų turėjome, bet kaip taisyklė galiausiai suformuluojama, buvo palikta kiekvieno analitiko nuožiūrai.
Likusi dalis — ką apie tai sako OMG SBVR standartas: iš kur jis atsirado, kaip apibrėžia taisyklę, patarimą ir juos išreiškiančius sakinius, ir kaip atrodo SBVR Structured English.
Tyrimas pranešimo metu buvo maždaug trečdalyje kelio, tad tai ataskaita apie kryptį, o ne baigta metodika.
Skaidrės angliškos ir tokios, kokios buvo 2020-aisiais — jų neredaguoju. Po jomis spausdinamas užrašas skaitytojui: kas buvo pasakyta žodžiu ten, kur skaidrėje to nėra, o kur skaidrė nurodo šaltinį — nuoroda į jį.
Specifikacijos atsiduria natūralioje kalboje todėl, kad tai vienintelė terpė, kurią dalijasi verslo ir techninė pusės. Skaidrėje surašyta, kiek tai kainuoja: dviprasmybės, įvardžiai, kurių nuoroda pasimeta tarp sakinių, ir laike vykstanti elgsena, užrašyta plokščiu esamuoju laiku. Paskutinis punktas veda į temporalinę logiką – logikos šaką apie teiginius su laiko kvalifikatoriumi („visada esu alkanas“, „būsiu alkanas, kol ko nors suvalgysiu“).
Skaidrėje surašyti principai yra Business Rules Manifesto – 2003 m. Business Rules Group paskelbtas teiginys, kas yra taisyklė ir kur jos vieta.
Šaltinis: Business Rules Manifesto, Business Rules Group, 2003.
SBVR yra OMG standartas, kuriuo remiasi visa likusi pranešimo dalis: kiekvienas apibrėžimas nuo čia yra jo apibrėžimas, cituojamas, o ne sugalvotas.
Šaltinis: Semantics of Business Vocabulary and Business Rules (SBVR), OMG.
Aletinėje logikoje teiginys, kuris yra galimas, bet nebūtinas, vadinamas kontingentiniu. Jei versle jį imtų traktuoti kaip apibrėžiamąją taisyklę, realaus pasaulio dalykai būtų suklasifikuoti neteisingai. Tipinė pasekmė – atsisakoma veiksmo, kuris turėtų būti leidžiamas, nes neįvykdytos nebūtinos sąlygos: pavyzdžiui, nepriimamas nuomos užsakymas todėl, kad norintysis išsinuomoti yra jaunesnis nei 21 metų.
Šaltiniai: SBVR, OMG ir RuleSpeak, Business Rule Solutions.