Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_bizrulesvocabularies2 [2008/06/10 09:55] miw |
pl:miw:miw08_bizrulesvocabularies2 [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| ====== Opis ====== | ====== Opis ====== | ||
| + | __**Projekt zakończony**__ | ||
| + | |||
| Magdalena, Pluta, <mpluta@wp.pl> | Magdalena, Pluta, <mpluta@wp.pl> | ||
| Linia 54: | Linia 56: | ||
| ===== 080527 ===== | ===== 080527 ===== | ||
| * w.w. opis | * w.w. opis | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| ====== Projekt ====== | ====== Projekt ====== | ||
| === opis thermostatu w SBVR === | === opis thermostatu w SBVR === | ||
| - | * [[hekate:hekate_case_thermostat|thermostat]] | + | |
| - | * [[miw08_bizrulesvocabularies2_thermostat|thermostat sbvr]] | + | * [[pl:miw:miw08_bizrulesvocabularies2:thermostat|thermostat sbvr]] |
| Linia 68: | Linia 75: | ||
| ====== Sprawozdanie ====== | ====== Sprawozdanie ====== | ||
| + | |||
| Linia 183: | Linia 191: | ||
| SBVR SE wykorzystuje zwroty i wyrażenia języka angielskiego do opisu słownictwa oraz definiowania reguł. | SBVR SE wykorzystuje zwroty i wyrażenia języka angielskiego do opisu słownictwa oraz definiowania reguł. | ||
| + | |||
| Linia 223: | Linia 232: | ||
| * Modal Operations | * Modal Operations | ||
| + | |||
| ^^ Modal Operations^^ | ^^ Modal Operations^^ | ||
| |it is obligatory that p |obligation formulation| | |it is obligatory that p |obligation formulation| | ||
| Linia 295: | Linia 305: | ||
| ===== Opis termostatu w SBVR ===== | ===== Opis termostatu w SBVR ===== | ||
| + | |||
| + | |||
| ==== Opis słownika i reguł ==== | ==== Opis słownika i reguł ==== | ||
| Linia 347: | Linia 359: | ||
| - | ==== Graficzna reprezentacja reguł ==== | ||
| - | {{:pl:miw:miw08_bizrulesvocabularies2:termostat1.png| termostat}} | ||
| + | ==== Graficzna reprezentacja reguł ==== | ||
| + | {{:pl:miw:miw08_bizrulesvocabularies2:thermostat1.jpg|thermostat}} | ||
| + | ==== Zapis thermostatu w ARD ==== | ||
| + | {{:pl:miw:miw08_bizrulesvocabularies2:ard.jpg|thermostatard}} | ||
| + | Wykresy zostały sporządzone przy pomocy graficznego programu Dia. | ||
| - | ===== Proponowany algorytm zamiany SBVR <-> ARD ===== | ||
| - | * reguła zapisana w ARD: | ||
| - | if the day is Monday | ||
| - | or the day is Tuesday or the day is Wednesday | ||
| - | or the day is Thursday or the day is Friday | ||
| - | then today is a workday | ||
| - | * równoważna reguła zapisana w SBVR: | ||
| - | it is necessary that day on Monday or on Tuesday or on Wednesday or on Thursday or on Friday, today is a workday | ||
| - | === Proponowany algorytm zamiany ARD <-> SBVR === | ||
| - | - Zdefiniowanie symboli leksykalnych | + | Plik źródłowy diagramu {{:pl:miw:miw08_bizrulesvocabularies2:ardindia.tar|ard}}. |
| - | - Wyodrębnienie w tekście zdefiniowanych symboli: | + | |
| - | * dla ARD: **if** //atrybut1// **is** //wartość1// ( **or** //atrybut1// **is** //inna wartość//) **then** //atrybut2// **is** //wartość2// | + | |
| - | * dla SBVR: **it is necessary that** //atrybut1// **on** //wartość1// (**or on** //inna wartość//) //atrybut2// **is** //wartość2// | + | |
| - | - wydzielenie atrybutów: | + | |
| - | * day | + | |
| - | * today | + | |
| - | - wyodrębnienie wartości przyjmowanych przez atrybuty | + | |
| - | * Monday, Tuesday, Wednesday, Thursday, Friday | + | |
| - | * workday | + | |
| - | - Wstawienie wyodrębnionych atrybutów i ich wartości w odpowiednie miejsce pomiędzy symbolami leksykalnymi | + | |
| + | ===== Algorytm zamiany SBVR <-> ARD ===== | ||
| - | Każdą regułę zapisaną w ARD można bez większych trudności przekształcić do reguły SBVR. Zamiana odwrotna może okazać się bardziej skomplikowana ze względu na występowanie dużej liczby symboli leksykalnych oraz logiki formalnej. Reguły zapisywane w SBVR reprezentują nie tylko konieczności ale także możliwości (//it is possible that//) co pozwala na podjęcie kilku różnych decyzji. | + | Na podstawie oryginalnych [[hekate:hekate_case_thermostat|reguł]] opisujących działanie termostatu zostały zapisane reguły w SBVR. Tak zapisane reguły zostały przedstawione w sposób graficzny przy pomocy diagramu SBVR. |
| + | Te same oryginalne reguły stały się punktem wyjścia dla stworzenie diagramu ARD. | ||
| + | Porównując oba diagramy nasuwa się wniosek, że są one niemalże identyczne. Po usunięciu elementów dotyczących szczegółowego opisu sezonu, pór roku, dni tygodni w tym dni pracujących i wolnych, otrzymujemy diagram identyczny z diagramem ARD. Reguły SBVR opisujące tę część diagramu ograniczają się do reguł: | ||
| + | * It is necessary that in spring on business_hours thermostat_setting is ’20 degree’. | ||
| + | * It is necessary that in spring on not_on_business_hours thermostat_setting is ’15 degree’. | ||
| + | * It is necessary that in summer on business_hours thermostat_setting is ’24 degree’. | ||
| + | * It is necessary that in summer on not_on_business_hours thermostat_setting is ’27 degree’. | ||
| + | * It is necessary that in autumn on business_hours thermostat_setting is ’20 degree’. | ||
| + | * It is necessary that in autumn on not_on_business_hours thermostat_setting is ’16 degree’. | ||
| + | * It is necessary that in winter on business_hours thermostat_setting is ’18 degree’. | ||
| + | * It is necessary that in winter on not_on_business_hours thermostat_setting is ’14 degree’. | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ===== Trudności i ograniczenia ===== | ||
| - | |||
| - | Zaletą zapisu reguł i słownika w SBVR jest duża elastyczność i intuicyjność zapisu. Język ten jest łatwy do odczytu również przez osoby nie posiadające doświadczenia w tej dziedzinie, jednakże w przypadku próby stworzenia skutecznego algorytmu przekształcenia SBVR do ARD i na odwrót czynność ta może dostarczyć dość dużych trudności i może okazać się dość skomplikowana. | ||
| ====== Materiały ====== | ====== Materiały ====== | ||
