MPP_06. Forma, Informa, Performa, Model faktů

Transkript

1 MPP_06 Forma, Informa, Performa, Model faktů

2 Obsah přednášky Zdokonalování / vylepšení podstaty organizace Modely pohledů (aspektové modely) model faktů. DEMO struktura a propojení modelů pohledů. 2

3 Volley club analysis T1/rq T1/pm One can become member of the tennis club Volley by sending a letter to the club by postal mail. In the letter one has to mention one s surname and first name, birth date, sex, telephone number, and postal mail address (street, house number, zip code, and town). Adam, the administrator of Volley, empties the mailbox daily and checks whether the information provided is complete. If not, he makes a telephone call to the sender in order to complete the data. Once a letter is complete, Adam writes an incoming mail number and the date on the letter, records the letter in the letter book, and puts it in a folder. Every Wednesday evening, Adam takes the folder to Eve, the secretary of Volley. He also takes the member register with him. If Eve decides that an applicant can become member of Volley, she stamps new member on the letter and writes the date below it. She then hands the letter to Adam in order to add the new member to the member register. This is a book with numbered lines. Each new member is entered on a new line. The line number is the number by which the new member is referenced in the administration. 3

4 Volley club analysis T1/dc T2/rq T2/st T1/st Next, Eve calculates the fee that the new member has to pay for the remaining part of the calendar year. She asks Adam for the annual fee, as decided at the general assembly, which Adam has recorded on a sheet of paper in this files. Then, she asks Adam to write down the amount in the member register. If Eve does not allow an applicant to become member (e.g. because he or she is too young or because the maximum number of members has been reached), Adam will send a letter in which he explains why the applicant cannot (yet) become member of Volley. If all applications are processed, Adam takes the letters and the member register home and prepares an invoice to all new members for the payment of the first fee. He sends these invoices by postal mail. Payments have to be performed by bank transfers. As soon as a bank statement is received, Adam prints a card on which the member number, the starting date, the name, the date of birth, the sex, and the residence are mentioned. The card is sent to the new member by postal mail. 4

5 Rozbor příběhu Ačkoli sends those invoices je jistě aktivita dokumentů, daleko významnější je její význam je na úrovni performa. Jsou to požadavky (requests) na placení. Část Payments have to be performed navíc indikuje druhý originální druh produktu, který jsme našli. Část bank statement is received reprezentuje prohlášení platební transakce a část is sent to reprezentuje prohlášení transakce, ve které se člověk stává členem. Pro obě části také platí, že existují na úrovní informa a na úrovni forma, ale že nejdůležitější je performa úroveň. 5

6 Rozbor příběhu Neměl být velký problém souhlasit s částmi textu, které jsou obarveny zeleně a modře. Jasně jsou o informační produkci nebo o úrovni informa koordinace a o produkci dokumentů nebo o forma úrovni koordinace. 6

7 Rozbor příběhu Z dosud provedené analýzy je možné identifikovat dva originální druhy produkce, a to: Členství začalo (Membership is started) a první členský poplatek Členství je zaplacen (the first fee of Membership is paid). V těchto specifikacích slova s velkým počátečním písmenem (Členství) je zástupný symbol pro individuální instance. Příklad instance Členství je: členství

8 Rozbor příběhu Pojem členství se nevyskytuje v textu je doplněn při analýze a návrhu vhodných pojmů. Pojem členství pomáhá snadno rozlišit dvě nespojitá období členství dané osoby. Všeobecné pravidlo pro formulování druhů (typů) produktů je nalezení typu objektu (v našem případě členství) jehož instance jsou jednoznačně identifikovatelné v prostoru a času. Prostorem se rozumí stavový prostor světa produkce (produkčního světa). 8

9 Rozbor příběhu Výsledkem dvou transakcí jsou dva druhy produktů P1 a P2. Instance P1 a P2 jsou produkty typů transakcí členství začátek a členství platba. Podobně jako produkty P1 a P2 se budeme odkazovat na transakce T1 a T2. 9

10 Rozbor příběhu Podle konvence je snaha se odkazovat na transakce a na role aktérů stejným číslem (A1 je exekutor transakce T1). Během vykonávání T1 je odpovídající transakce T2 instanciovaná. T2 je uzavřená v transakci T1. Verifikace instanciací: Anna role aktéra A0, Eva role aktéra A1, konkrétní členství je identifikované jako

11 Formalizace příběhu Anna: Ráda bych se stala členkou Volley co nejdříve. (A0/Anna: request: A1/Eve: členství 1089 začalo: co nejdříve) Eva: Jsem ráda, že jste si vybrala Volley club. Je to nejlepší klub v okolí. (Tímto výrazem Eva si potvrzuje, že rozuměla Anně nebere se jako promise) členství začátek pro členství 1089 je požadováno(t1/rq) koordinační fakt Pro začátek členství nalezne Eva první den následujícího měsíce (což je počáteční den členství). Anna bude mít 12 let(splní podmínku věku), stejně jako počet členů klubu nepřekročí danou hranici splněné podmínky. 11

12 Formalizace příběhu Eva: Budete členkou od 1. dne následujícího měsíce. (A1/Eva: promise: A0/Anna: členství 1089 začalo: první den následujícího měsíce) Anna: Super (Výrazem Anna potvrzuje, že rozuměla slibu Evy) členství začátek pro členství 1089 je slíbeno(t1/pm) 12

13 Formalizace příběhu Dále Eva spočítá členský poplatek 750,- Kč k zaplacení. Eva se odkazuje na Annu v její roli A2, exekutora transakce A2. Eva: Budete muset zaplatit poplatek 750,- Kč za zbytek roku. (A1/Eva: request: A2/Anna: první poplatek členství 1089 je zaplacen: co nejdříve) členství platba za členství 1089 je požadováno (T2/rq) Anna: Hned zaplatím. (A2/Anna: promise: A1/Eva: první poplatek členství 1089 je zaplacen: co nejdříve) členství platba za členství 1089 je slíbeno (T2/pm) 13

14 Formalizace příběhu Anna vytáhne 750,- Kč a předá Evě. Akce je produkční čin T2 je vykonán. Anna: zde jsou peníze. (A2/Anna: state: A1/Eva: první poplatek členství 1089 je zaplacen: nyní) členství platba za členství 1089 je předvedeno (T2/st) Eva: Děkuji (A1/Eva: accept: A2/Anna: první poplatek členství je placen: nyní) členství platba za členství 1089 je akceptováno (T2/ac) Podmínka pro vytvoření členství 1089 je splněna a Eva může přikročit k produkčnímu faktu druhá role aktéra o tom přímo neví. 14

15 Formalizace příběhu Eva: Jste členkou klubu Volley od prvního dne příštího měsíce. (A1/Eva: state: A0/Anna: členství 1089 začalo: první den dalšího měsíce) členství začátek proč členství 1089 je předvedeno(t1/st) Anna: Děkuji (A0/Anna: accept: A1/Eva: členství 1089 je začato: první den příštího měsíce) členství začátek pro členství 1089 je akceptováno(t1/ac) 15

16 Formalizace příběhu Pokud se soustředíme na B-organizaci podniku, je možné přímo identifikovat podnikové procesy podniku. Skládají se z originálních typů transakcí a rolí aktérů (stejně jako z vložených informačních a dokumentačních typů transakcí). Diagram toků (vývojový diagram) může posloužit jako vhodný prostředek pro zjišťování typů transakcí a rolí aktérů. 16

17 Tři aspekty organizace 17

18 Formalizace příběhu Protože je členský poplatek definován jako typ faktu, jeho hodnota je ontologická, vždy přítomná, pouze musí být na požádání spočítaná. 18

19 Formalizace příběhu Dopis vyjadřující koordinační čin a fakt promise se nerozesílá. Činy promise a state jsou typickými příklady činů, které jsou často vykonány mlčky. Avšak moderní ICT vykoná všechny koordinační činy explicitně, bez pochyb o aktuálním stavu transakce pro oba účastníky. Při objednávce přes internet je všechno explicitní a transparentní děje se totiž vše virtuálně bez komunikačních nákladů. 19

20 Formalizace příběhu Nalezení koordinačních činů prováděných mlčky je právě umožněno použitím univerzálního transakčního vzoru, který jiné metodologie nemají. Bez transakčního vzoru bychom byli ztraceni podobně jako při použití jiných metodik. 20

21 Rozlišovací axiom koordinace aktéři produkce uzavírání a plnění závazků ontologický rozhodování vytváření formulování interpretování infologický počítání přemýšlení mluvení, poslouchání psaní, čtení datalogický kopírování ukládání přenášení 21

22 Tříbení podstaty organizace Rozlišení mezi originálním, informačním a dokumentačním produktem vede k rozlišení v každé organizaci mezi třemi stránkami (pohledy aspekty) organizace: B-organizací (B od business), I-organizací (I od informační), D-organizací (D od dokumentační). 22

23 Tři aspekty organizace 23

24 Tři aspekty organizace Význam tří částí kužele je dvojaký: vyjadřuje že nad B-organizací nic není obsahy tří částí kužele (červená, zelená, modrá část) zhruba korespondují s počty transakčních typů a počty rolí aktérů v odpovídající organizaci. Rozdělení organizace na tři pohledy (aspekty) organizace nám poskytuje další prostředek snížení složitosti modelu organizace (nebo modelu podnikového procesu). 24

25 Tři aspekty organizace Protože business podniku je vytvářen v B-organizaci, člověk se může především zaměřit na B-organizaci. Je dostačující se zaměřit na B-organizaci k pochopení jak je vytvářen byznys v podniku, protože B-organizace je ontologicky kompletní. Je-li to nutné, je možné přistoupit ke studiu I-organizace, která podporuje B-organizaci poskytováním informačních služeb. 25

26 Zdokonalování podstaty organizace Obdobně je možné v případě nutnosti přistoupit k D-organizaci, která poskytuje dokumentační služby I-organizaci. Ontologický model podniku je konceptuální model B-organizace. Je plně nezávislý na implementaci. Ontologický model vznikl když se do úvahy vzala pouze performa úroveň koordinace, tedy abstrakcí od nižších úrovní koordinance (informa, forma). 26

27 Tři stránky (aspekty) organizace Pro všechny tři stránky organizace platí, že jejich ontologický model je pravým startovním bodem pro validování (potvrzení) jejich implementace. Implementace zde znamená přiřazení vhodných technologických prostředků k transakcím a rolím aktérů. Implementační prostředky pro role aktérů jsou v podstatě lidské bytosti. 27

28 Tři stránky (aspekty) organizace U koordinačních činů je třeba vybrat médium pro přenos zpráv (pošta, atd.). U produkčních činů mohou být použity různé technologie v závislosti na charakteru produkce. 28

29 Tři stránky (aspekty) organizace Základní (esenciální) model podniku je definovaný jako ontologický model B-organizace. Tento model se skládá z Konstrukčního modelu, Procesního modelu, Modelu faktů a Modelu akcí. 29

30 Tři aspekty organizace Ačkoli každý druh transakce má přesně jednoho exekutora, může mít několik rolí aktérů jako iniciátorů. Obráceně, každá role aktéra může být iniciátorem řady typů transakcí. 30

31 Model faktů - členství v tenisovém klubu konstrukční model a tabulka transakcí a jejich výsledků TENISOVÝ KLUB CA01 žadatel o členství T01 A01 startér členství T02 CA02 plátce začátek členství členství platba R01 R02 začátek členství členství platba Transakce T01 začátek členství T02 členství platba Výsledek transakce R01 členství začalo R02 platba za členství byla zaplacena 31

32 Model faktů Konstrukční diagram organizace obsahuje také tabulku produktů transakcí. Z tabulky se dovíme, že typ produktu T1 je Členství začalo a že je označeno P1 (produkt 1). Podobně typ produktu transakce T2 je první poplatek členství je placen je označen P2. Tabulka produktů transakcí je mostem mezi Konstrukčním modelem a Modelem faktů. 32

33 Co jsou termíny (termy) Term (termín, výraz, název, pojem). Termíny jsou podstatná jména, která se užívají v denních podnikových operacích (business operations). Termíny (termy) popisují: smysluplné podnikové koncepty (třídy), charakteristiky podnikových entit (atributy), způsob, jak se podnikové objekty chovají (metody). 33

34 Co jsou fakta (fact) Fakta jsou kombinací termínů, které popisují co lidé v podnicích znají jako jejich činnost (business). Fakta mohou popisovat: vztahy mezi termy interakce mezi termíny (spolupráce) smysluplné kombinace termů ve slovníku. 34

35 Co jsou fakta (fact) Příklady faktů: Pojištění může obsahovat mnoho krytí (rozsahů úhrady). Krytí (rozsah úhrady) stanovuje částku (rozsah) ochrany proti ztrátě. Spoluúčast je částka, kterou pojištěný musí zaplatit v případě ztráty. Fakta jsou podnikové znalosti (business knowledge). 35

36 Term, fakt, pravidlo Termín (Term) je slovo, které má význam pro lidi z dané domény. Fakta jsou kolekce termínů, které popisují co lidé z podniku (konkrétní domény) znají o podniku (business doméně). Fakta jsou postavena na termínech. 36

37 Termín, fakt, pravidlo Pravidlo (rule) používá fakta k popisu jak lidí v podniku (business people) chtějí, aby jejich podnik byl řízen. Pravidla mohou být v interakci s jinými pravidly. 37

38 Elementární fakt Elementární fakt je definován na základě věty přirozeného jazyka, ve které je vyjádřen. Elementární fakt lze stručně definovat jako tvrzení, že objekt hraje danou roli. Příklad elementárního faktu: Jan se narodil 16 listopadu Věta se nazývá elementární, - není možné ji rozdělit na menší části, které by byly platné a které by současně měly význam původní věty. 38

39 Elementární fakt Další věta je příkladem ne elementárního faktu: Jan se narodil 16 listopadu 1988 a má modré oči. Možnost rozdělení na dvě elementární věty: Jan se narodil 16 listopadu Jan má modré oči. Význam původní věty je kompletně zachován ve dvou elementárních větách. 39

40 Elementární fakt Další příklad faktu: Jan se narodil 16 listopadu 1988 v Brně. Říkáme, že se narodil je role objektu. Možnost rozdělit větu na dva elementární fakty: Jan se narodil 16. listopadu 1988 Jan se narodil v Brně Modelovací přístupy založené na přirozeném jazyku mohou vyjádřit fakt pomocí řady různých vět. 40

41 Elementární fakt Objektivní kritérium, pro stanovení toho, zda je fakt elementární či není. Toto kritérium se nazývá pravidlo n-1 a říká, že každé aplikovatelné jednoznačné pravidlo musí obsáhnout alespoň n-1 rolí n-arního faktového typu. Demonstrace graficky po rozvedení věty do kompletní formy. Například rozvedení posledně uvedené věty je následující: 41

42 Elementární fakt OSOBA se jménem OSOBY Jan je narozena DATUM se jménem DATUMU v MÍSTO se jménem MÍSTO Brno Instance typu faktu modelovaná pomocí ORM (Object-Role-Modeling). 42

43 Elementární fakt F01 typ faktu. Každá část (nesoucí označení 1, 2, 3) představuje roli připojené třídy objektu, kterou představuje na obrázku obdélník. DATUM F01 OSOBA MÍSTO <1> je narozen <2> v <3> 43

44 Elementární fakt Typ faktu pak může být reprezentovaný instancemi faktu jako např. Anna Ostrava Zdeněk Havířov Eva Frýdek Místek Jan Brno 44

45 Pravidlo jedinečnosti Toto pravidlo znamená, že v libovolných instancích typu faktu F01 se objekt v dané roli může vyskytnout pouze jednou. Pravidlo představuje vodorovná čára nad částí obdélníku označena 1 (rolí), a konkrétně to znamená, že daná osoba se vždy narodila pouze v daný den a na daném místě. Nemůže existovat osoba, která má např. dvě nebo více různých dat narození, nebo dvě či více míst narození. 45

46 Elementární fakta Nahradit ternární typ faktu F01 dvěma binárními typy faktu (F02, F03): F02 OSOBA 1 2 <1>je narozen dne <2> F <1> je narozen v <2> DATUM MÍSTO 46

47 F02: Anna Zdeněk Eva Anna Jan Zdeněk Elementární fakta F03: Anna Zdeněk Anna Eva Jan Jan Ostrava Havířov Karviná Frýdek Místek Znojmo Brno 47

48 Elementární fakta Uvedené věty měly deklarativní charakter, který byl reprezentován pravdivým faktem - tvrzením, tedy, že Jan se narodil v Brně 16. listopadu Vyjadřování informací jako elementárních faktů nebývá vždy jednoduché. 48

49 Fakta jízdní řád 49

50 Analýza faktů Maastricht is a station Sittard is a station Roermond is a station is a train 6576 is a train 5548 is a train... unary typ faktu nebo KATEGORIE Train 3344 departs at 10:31 from Maastricht Train 3344 departs at 10:48 from Sittard Train 6576 departs at 11:31 from Maastricht... ternární typ faktu Train 3344 arrives at 10:47 in Sittard Train 3344 arrives at 11:02 in Roermond Train 6576 arrives at 11:47 in Sittard... 50

51 Formalizovaný zápis 51

52 Formalizovaný zápis 52

53 Formalizovaný zápis 53

54 Model faktů Model faktů je reprezentovaný diagramem faktů objektů. V Modelu faktů se specifikuje, která (byznys) fakta jsou relevantní v produkčním světě a která byznys pravidla se aplikují. Rozlišujeme tři druhy typů byznys faktů: třídy objektů, typ vlastnosti, typ atributu. 54

55 Model faktů třída objektu Třída objektu je extenzí unárního typu faktu (a naopak, unární typ faktu je intenzí třídy objektu). Extenze konceptu odkazuje na kolekci jevů, které koncept pokrývají (řádky databázové tabulky). Intenze konceptu je kolekcí vlastností, které do značné míry charakterizují jevy v extenzi konceptu (sloupce databázové tabulky). Např. třída objektu je ČLENSTVÍ. 55

56 Model faktů typ vlastnosti Typ vlastnosti je speciální binární typ faktu, který mapuje z třídy objektu nazývané doména do třídy objektu nazývané rozsah. Příkladem je člen daného členství. Odkaz z členství na člena. Instance typu vlastnosti jsou existenčně závislé na existenci objektu domény kresleno otevřenou stranou symbolu >. 56

57 Model faktů typ atributu Typ vlastnosti se nazývá typem atributu, je-li její rozsah rozsahem hodnot. Např. typ atributu je datum narození osoby. Typy atributů jsou kresleny v seznamu mezi se zaoblenými tvary domény. Dimenze rozsahu hodnot je uvedena v závorkách. Příklady dimenzí jsou TIME, MONEY. Dimenze mohou být specializované do rozsahů hodnot např. YEAR, MONTH, DAY, EURO. 57

58 Diagram faktů a objektů typ vlastnost Zaoblené obdélníky reprezentují třídy objektů. Třídy MEMBERSHIP a PERSON jsou primární třídy, kterým se říká kategorie. Kategorie nemusí být definované na základě jiných typů faktů, místo toho jsou definované jako takové. Světle šedá barva u kategorie PERSON znamená, že je externí. 58

59 Diagram faktů a objektů 59

60 Model faktů Spojnice mezi MEMBERSHIP a PERSON je označena jako the member of Membership is Person (člen Členství je Osoba), reprezentuje typ vlastnost. Symbol > vyjadřuje, že každé členství má přesně jednu osobu jako svého člena. 60

61 Model faktů Zatím co každá osoba může být členem 0, 1 nebo více členství. Ačkoli to nedává smysl, mít současná členství se stejnou osobou jako členem, osoba může velmi dobře mít více členství v průběhu svého života. 61

62 Model faktů Symbol > také vyjadřuje, že typ faktu PERSON je existenciálně závislý na třídě objektu MEMBERSHIP. To znamená, že typ faktu PERSON může začít existovat spolu s korespondující instancí od MEMBERSHIP. Typy (druhy) produktů P1 a P2 jsou existenciálně nezávislé unární typy faktů: výsledky typů transakcí T1 a T2. 62

63 Model faktů Z obrázku je patrné, že jakékoli členství (membership) se může stát zaplaceným členstvím (paid membership), ale pouze zaplacené členství se může stát zahájeným členstvím (started membership). Jinak řečeno třída PAID MEMBERSHIP je podtřídou třídy MEMBERSHIP a třída STARTED MEMBERSHIP je podtřídou třídy PAID MEMBERSHIP. 63

64 Model faktů Členství tedy nejdříve projde fází zaplaceného členství a pak se stane zahájeným členstvím (začne existovat). 64

65 Model faktů 65

66 Model faktů Třída objektu [YEAR] není ve skutečnosti třídou objektu, ale rozsahem hodnot proto je jméno v závorkách. Tímto způsobem je možné modelovat minimální věk, maximální počet členů a roční členský poplatek. Tyto položky jsou časově závislé vlastnosti. Rozhodnutí je mimo oblast zájmu proto kresleny šedě. 66

67 Model faktů Typy faktů mohou být deklarované podobně jako MEMBERSHIP a datum narození, nebo mohou být také odvozené odvozené od originálních typů faktů. Byznys pravidla (business rules) představují pravidla která platí v podnikovém procesu. 67

68 Specifikace odvozených faktů 68

69 Model faktů Na model faktů se můžeme dívat jako na jádro slovníku dat (data dictionary). Je třeba pouze doplnit vysvětlující text ke každému z prvků. Stejně tak se člověk může dívat na model faktů jako na jádro databázového modelu. Všechno v něm, je potřebné, protože se jedná o ontologický model. Reálná DB ale také obsahuje mnoho faktů nutných pro informační a dokumentační typy transakcí. 69

70 Model faktů Běžné databáze pokrývají jak koordinační, tak produkční svět a jsou obyčejně nekompletní v oblasti koordinačního světa, protože ignorují transakční vzor. Univerzálnost a komplexnost kompletního transakčního vzoru garantuje, že všechny relevantní informace budou dostupné. 70

71 Model faktů Je třeba se zabývat kompletním transakčním vzorem při použití nových podpůrných IS? Univerzální vzor je přirozený způsob, jak lidé spolu komunikují. Lidé očekávají, že je-li to potřebné, v informačním systému mohou provést libovolný krok z univerzálního vzoru,. Pokud to IS nepodporuje, musíme to řešit ad-hoc manuálně. 71

72 Model faktů Je-li navíc uživatelské rozhraní plně webové, náklady za jedno speciálním doplnění převáží náklady za zpracování výjimky manuálně. V příkladu členství v tenisovém klubu může být: sekretářka (Eva) je zodpovědná za řešení události (T1/rq) provedením koordinační čin buď [T1/pm] nebo [T1/dc]. Administrátor provádí pouze informační a dokumentační úlohy. 72

73 Model faktů Vykonáním činu promise a následně produkčního činu, je normálně v zodpovědnosti někoho, kdo je exekutorem transakce. To znamená, že tato osoba je zodpovědná za celou transakci, i když část může být delegovaná na jiné osoby. Ve třetí části, Eva sekretářka deleguje svoji pravomoc na administrátora, aby vykonal některé procesní kroky, [T1/st], [T2/rq] a [T2/ac]. 73

74 Model faktů Administrátor je tedy zodpovědný za správné provedení těchto kroků, ale sekretářka stále zůstává principiálně zodpovědná za celý proces. Sekretářka je zodpovědná klubu za případné chyby, ne administrátor. 74