C Zaliczenie i zadania
Warunki zaliczenia
Kurs kończy się zaliczeniem na ocenę. Na ocenę składają się cztery zadania oddawane na platformie Pegaz:
| Zadanie | Termin | Waga | Opis |
|---|---|---|---|
| Z1 | po spotkaniu 3 | 15% | model z bramkami |
| Z2 | po spotkaniu 5 | 20% | model z basenami, danymi i wyjątkami oraz podróż tok → BPMN → tok |
| Z3 | po spotkaniu 9 | 15% | model opracowany z agentem AI i recenzja |
| P | spotkanie 10 | 50% | projekt indywidualny z raportem analitycznym |
Każde zadanie oceniane jest w skali 0–100 punktów. Wynik końcowy to średnia ważona. Do zaliczenia potrzebne są jednocześnie oddany projekt P z wynikiem co najmniej 50% i wynik końcowy co najmniej 60%.
| Wynik końcowy | Ocena |
|---|---|
| 92–100% | bardzo dobry (5,0) |
| 84–91% | dobry plus (4,5) |
| 76–83% | dobry (4,0) |
| 68–75% | dostateczny plus (3,5) |
| 60–67% | dostateczny (3,0) |
| poniżej 60% | niedostateczny (2,0) |
Zasady
- Obecność jest obowiązkowa. Dopuszczalne są dwie nieobecności.
- Terminy: zadanie oddane do 7 dni po terminie traci 10% punktów. Później nie jest przyjmowane, chyba że prowadzący zgodzi się inaczej z ważnych powodów.
- Narzędzie: każdy oddawany model musi przechodzić
tok checkbez błędów i być w formie kanonicznej (tok fmt -w). - Samodzielność: zadania Z1 i Z2 wykonujesz bez narzędzi sztucznej inteligencji. W Z3 agent AI jest częścią zadania, a w projekcie P możesz z niego korzystać. Wtedy oddajesz rejestr poleceń (
prompty.md) i zaznaczasz, które części przygotował agent. Zasady wynikają z Zarządzenia nr 115 Rektora UJ z 27 listopada 2025 r. - Dane osobowe: w modelach, formularzach i symulacjach używasz wyłącznie danych fikcyjnych.
Opisy zadań
Z1. Model z bramkami: zgłoszenie publikacji do repozytorium
Termin: przed spotkaniem 4 · Waga: 15% · Forma: zadanie indywidualne, pliki oddawane na Pegazie
Polecenie
Zapisz w języku tok proces zgłoszenia publikacji do repozytorium uczelnianego opisany w tabeli poniżej. Model obejmuje jeden proces, bez basenów i linii. Rolę wykonawcy możesz zapisać komentarzem nad elementem. Etykieta każdego elementu zaczyna się numerem kroku z tabeli (np. "2. Kontrola formalna"). Bez numeru mogą być tylko bramki złączające.
Wyjścia bramek wykluczających i inkluzywnych mają etykiety odpowiedzi, warunki FEEL (when="…") i jeden przepływ domyślny (default). Nazwy zmiennych w warunkach dobierasz sam. Model sprawdzasz poleceniem tok check i porządkujesz poleceniem tok fmt.
Zadanie wykonujesz samodzielnie, bez narzędzi sztucznej inteligencji (czatów, agentów, asystentów w edytorze).
Dane wejściowe
Opisy kroków nie nazywają elementów BPMN. Wskazówki co do rodzaju zdarzenia, zadania lub bramki są w sformułowaniach.
| Nr kroku | Nr kolejnego kroku | Nazwa kroku | Wariant | Opis kroku | Kto wykonuje? |
|---|---|---|---|---|---|
| 1 | 2 | Zgłoszenie wpłynęło | Proces zaczyna się, gdy autor złoży w repozytorium formularz zgłoszenia publikacji z dołączonym plikiem. | Autor | |
| 2 | 3 | Kontrola formalna | Redaktor repozytorium sprawdza w systemie, czy zgłoszenie ma plik, komplet metadanych i wybraną licencję. | Redaktor repozytorium | |
| 3 | 9 | Czy zgłoszenie kompletne? | T | Tak, zgłoszenie jest kompletne. | |
| 4 | N | Nie, czegoś brakuje. | |||
| 4 | 5 | Prośba o uzupełnienie | Redaktor wysyła autorowi z systemu wiadomość z listą braków. | Redaktor repozytorium | |
| 5 | 6 | Oczekiwanie na odpowiedź autora | a | Redaktor nie podejmuje tu żadnej decyzji. Dalszy przebieg zależy od tego, co nastąpi pierwsze: a) autor przesyła uzupełnienie, | Redaktor repozytorium |
| 7 | b | b) mija 21 dni bez odpowiedzi. | |||
| 6 | 2 | Otrzymanie uzupełnienia | Do redaktora wpływa uzupełnienie od autora. Zgłoszenie wraca do kontroli formalnej. | Redaktor repozytorium | |
| 7 | 8 | Upływ 21 dni | Minął 21 dzień, a autor nie odpowiedział. | ||
| 8 | Koniec – zgłoszenie zamknięte | Zgłoszenie zostaje zamknięte bez publikacji. | |||
| 9 | 10, 11 | Rozpoczęcie opracowania | — | Obie czynności (10 i 11) wykonuje się zawsze, niezależnie od siebie i w dowolnej kolejności. | |
| 10 | 12 | Opracowanie metadanych | Redaktor uzupełnia w systemie słowa kluczowe, klasyfikację dziedzinową i identyfikatory. | Redaktor repozytorium | |
| 11 | 12 | Sprawdzenie praw autorskich | Specjalista ds. praw autorskich sprawdza w systemie umowę wydawniczą i zgodność licencji z polityką wydawcy. | Specjalista ds. praw autorskich | |
| 12 | 13 | Synchronizacja | Proces idzie dalej dopiero wtedy, gdy zakończą się oba kroki 10 i 11. | ||
| 13 | 14 | Dodatkowe powiadomienia | grant | Publikacja powstała w projekcie finansowanym z grantu. Może zajść jedna sytuacja, obie albo żadna. | |
| 15 | praca dyplomowa | Publikacja jest pracą dyplomową. | |||
| 16 | żadna (domyślnie) | Żadna z powyższych sytuacji nie zachodzi. | |||
| 14 | 16 | Przekazanie danych do systemu sprawozdawczego | System repozytorium automatycznie, bez udziału człowieka, przekazuje dane publikacji do systemu sprawozdawczego uczelni. | System repozytorium | |
| 15 | 16 | Powiadomienie promotora | System wysyła promotorowi wiadomość o publikacji pracy. | System repozytorium | |
| 16 | 17 | Synchronizacja | Proces czeka na zakończenie wszystkich czynności uruchomionych w kroku 13, ale tylko tych, które faktycznie zostały uruchomione. | ||
| 17 | 18 | Publikacja w repozytorium | System automatycznie udostępnia publikację w repozytorium i nadaje jej stały adres. | System repozytorium | |
| 18 | Koniec – publikacja dostępna |
Pliki do oddania
z1-repozytorium.tok: model w formie kanonicznej (tok fmtnie zmienia pliku),z1-repozytorium.bpmn: eksport poleceniemtok bpmn,z1-repozytorium.svg: rysunek poleceniemtok svg.
Przed oddaniem uruchom tok check z1-repozytorium.tok --lang pl. Model nie może mieć błędów. Pozostawione ostrzeżenia uzasadnij w komentarzu w pliku .tok, nad elementem, którego dotyczą.
Kryteria oceny
| Kryterium | Punkty |
|---|---|
| Kompletność: każdy krok tabeli ma element w modelu, etykiety z numerami kroków | 10 |
| Rodzaje zdarzeń początkowego, końcowych i przechwytujących (wiadomość, czas) | 15 |
| Rodzaje zadań dobrane do opisów kroków | 15 |
| Bramki rozdzielające i złączające (XOR, AND, OR, oparta na zdarzeniach) z właściwymi złączeniami | 25 |
| Gałęzie: etykiety, poprawne warunki FEEL, przepływy domyślne, pętla powrotna | 20 |
Model bez błędów tok check, forma kanoniczna, zgodność eksportu .bpmn i .svg z plikiem .tok |
10 |
| Czytelność: identyfikatory, komentarze z rolami, uzasadnienie ostrzeżeń | 5 |
| Razem | 100 |
Z2. Model z basenami, danymi i wyjątkami oraz jego podróż przez BPMN
Termin: przed spotkaniem 6 · Waga: 20% · Forma: zadanie indywidualne, pliki oddawane na Pegazie
Polecenie
Zapisz w języku tok proces „Digitalizacja na zamówienie w bibliotece cyfrowej” opisany w tabeli poniżej. Model musi mieć dwa baseny (bibliotekę z liniami i zamknięty basen zamawiającego), przepływy komunikatów, dane oraz wszystkie wyjątki z opisu: terminy, awarię i eskalację. Następnie wyeksportuj model do BPMN, otwórz go w Camunda Modeler, wprowadź tam jedną wskazaną zmianę, zaimportuj plik z powrotem do tok i opisz, co się zmieniło w tekście.
Zadanie wykonujesz samodzielnie, bez narzędzi sztucznej inteligencji (czatów, agentów, asystentów w edytorze).
Dane wejściowe
Pracownia Digitalizacji biblioteki uniwersyteckiej wykonuje skany obiektów ze zbiorów specjalnych na zamówienie osób z zewnątrz. Zamawiający to osoba spoza biblioteki. Nie modelujemy jego czynności, tylko wiadomości, które wymienia z biblioteką (osobny, zamknięty basen „Zamawiający”).
| Nr kroku | Nr kolejnego kroku | Nazwa kroku | Wariant | Opis kroku | Kto wykonuje? | Dokumenty |
|---|---|---|---|---|---|---|
| 1 | 2 | Wpływ zamówienia | Proces rozpoczyna się, gdy od zamawiającego wpływa przez formularz na stronie biblioteki zamówienie skanów wskazanych obiektów. | Pracownik Pracowni Digitalizacji | Zamówienie [złożone] | |
| 2 | 3 | Weryfikacja zamówienia | Pracownik sprawdza w katalogu, czy obiekty są w zbiorach, i ustala ich status prawnoautorski. | Pracownik Pracowni Digitalizacji | Zamówienie; Katalog zbiorów specjalnych | |
| 3 | 4 | Czy obiekty można digitalizować? | T | Tak, obiekty są w zbiorach i można je udostępnić w postaci kopii. | ||
| 17 | N | Nie, obiektów nie ma albo prawa autorskie nie pozwalają na kopię. | ||||
| 4 | 5 | Ocena stanu zachowania | Pracownik ogląda obiekty w magazynie i ocenia, czy można je bezpiecznie skanować. | Pracownik Pracowni Digitalizacji | Karta stanu zachowania | |
| 5 | 7 | Czy potrzebna konsultacja konserwatorska? | N | Nie, stan obiektów pozwala na skanowanie. | ||
| 6 | T | Tak, obiekty są uszkodzone albo bardzo cenne. | ||||
| 6 | 7 | Konsultacja konserwatora | Konserwator ocenia obiekty i określa warunki skanowania. Ma na to 5 dni roboczych. Po ich upływie konsultacja trwa dalej, ale sprawa zostaje jednocześnie zgłoszona wyżej (krok 6a). | Konserwator | Karta stanu zachowania [uzupełniona] | |
| 6a | — | Interwencja kierownika | Gdy konsultacja przekroczy termin, kierownik Pracowni ustala z konserwatorem nowy termin. Konsultacja nie zostaje przerwana. Po rozmowie ta ścieżka się kończy. | Kierownik Pracowni Digitalizacji | ||
| 7 | 8 | Wycena zamówienia | Koszt wynika wyłącznie z cennika: liczba skanów, rozdzielczość, tryb realizacji i rodzaj obiektu. Nikt go nie ocenia. | System biblioteczny | Wycena; Cennik usług | |
| 8 | 9 | Wysłanie wyceny | Pracownik wysyła zamawiającemu wycenę z prośbą o akceptację. | Pracownik Pracowni Digitalizacji | Wycena | |
| 9 | 10 (po 14 dniach: 18) | Oczekiwanie na akceptację | Zamawiający ma 14 dni na przesłanie akceptacji wyceny. Gdy akceptacja wpłynie, zaczyna się realizacja. Jeśli w tym czasie nie odpowie, zamówienie wygasa. | Pracownik Pracowni Digitalizacji | Akceptacja wyceny | |
| 10 | 12 (przy awarii: 11) | Skanowanie obiektów | Operator skanuje obiekty zgodnie z warunkami konserwatora. Jeśli skaner ulegnie awarii, skanowanie zostaje przerwane. | Operator skanera | Skany [surowe] | |
| 11 | 10 | Zgłoszenie awarii | Operator zgłasza awarię serwisowi w systemie zgłoszeń i przenosi zlecenie na drugi skaner. Potem skanowanie zaczyna się od początku. | Operator skanera | Zgłoszenie serwisowe | |
| 12 | 13 | Obróbka skanów | Operator przycina skany, nadaje im nazwy i metadane techniczne. | Operator skanera | Skany [opracowane] | |
| 13 | 14 | Kontrola jakości | Inna osoba niż operator ogląda skany i porównuje je z zamówieniem. | Pracownik Pracowni Digitalizacji | Skany [opracowane] | |
| 14 | 15 | Czy skany poprawne? | T | Tak, skany są zgodne z zamówieniem. | ||
| 12 | N | Nie, skany wymagają poprawek. | ||||
| 15 | 16 | Archiwizacja kopii matek | System zapisuje pliki matki w repozytorium cyfrowym biblioteki. | System biblioteczny | Repozytorium cyfrowe | |
| 16 | Koniec — skany przekazane | Proces kończy się, gdy system wysyła zamawiającemu odnośnik do pobrania skanów. | System biblioteczny | Skany [przekazane] | ||
| 17 | Koniec — odmowa | Proces kończy się wysłaniem zamawiającemu informacji o odmowie wraz z uzasadnieniem. | Pracownik Pracowni Digitalizacji | |||
| 18 | Koniec — zamówienie wygasło | Zamówienie wygasa, bo minął termin akceptacji wyceny. Nikt nie jest o tym dodatkowo informowany. | Zamówienie [wygasłe] |
Wymagania co do modelu:
- etykieta każdego elementu zaczyna się numerem kroku z tabeli, np.
"10. Skanowanie obiektów"; bez numeru mogą być tylko bramki złączające; - identyfikatory są krótkie i czytelne (
skanowanie,termin-akceptacji), bez polskich znaków; - linie: Pracownik Pracowni Digitalizacji, Konserwator, Kierownik Pracowni Digitalizacji, Operator skanera, System biblioteczny;
- przepływy komunikatów do i od zamawiającego w krokach 1, 8, 9, 16 i 17;
- co najmniej dwa obiekty danych ze stanem (
state=) i dwa magazyny danych (store) połączone z czynnościami przezreadsalbowrites; tok check --lang plzgłasza 0 błędów, a plik jest w formie kanonicznej (tok fmt -w).
Podróż przez BPMN:
- Wyeksportuj model:
tok bpmn z2-digitalizacja.tok. - Otwórz
z2-digitalizacja.bpmnw Camunda Modeler. Przenieś zadanie „13. Kontrola jakości” do linii Kierownik Pracowni Digitalizacji i zmień jego nazwę na „13. Kontrola jakości przez kierownika”. Zapisz plik pod nazwąz2-po-zmianie.bpmn. - Zaimportuj go:
tok import z2-po-zmianie.bpmn --no-flow-ids -o z2-po-zmianie.tok. - Porównaj
z2-digitalizacja.tokzz2-po-zmianie.tok(np. w VS Code: zaznacz oba pliki i wybierz porównanie).
Pliki do oddania
| Plik | Zawartość |
|---|---|
z2-digitalizacja.tok |
model w języku tok |
z2-digitalizacja.bpmn, z2-digitalizacja.svg |
eksport modelu (tok bpmn, tok svg) |
z2-po-zmianie.tok |
model zaimportowany po zmianie w Camunda Modeler |
z2-podroz.md |
krótki opis (do pół strony): które wiersze tekstu się zmieniły, czy zmieniło się coś poza wprowadzoną zmianą i dlaczego układ diagramu nie wraca do tekstu |
Kryteria oceny
| Kryterium | Punkty |
|---|---|
| Baseny i linie: zamknięty basen zamawiającego, wszystkie kroki we właściwych liniach | 10 |
| Typy elementów zgodne z opisem kroków (zadania, zdarzenia, bramki) | 20 |
| Wyjątki: termin 14 dni (przerywający), termin 5 dni (nieprzerywający) z ścieżką kierownika, awaria skanera | 20 |
| Przepływy komunikatów w krokach 1, 8, 9, 16 i 17 | 10 |
Dane: obiekty ze stanami, magazyny, reads/writes |
10 |
Poprawność formalna: 0 błędów w tok check, forma kanoniczna, numery kroków w etykietach |
10 |
Podróż przez BPMN: poprawny import i trafny opis zmian w z2-podroz.md |
20 |
| Razem | 100 |
Z3. Model opracowany z agentem AI i jego recenzja
Termin: przed spotkaniem 10 · Waga: 15% · Forma: zadanie indywidualne, sześć plików oddawanych na Pegazie
Polecenie
Z pomocą agenta AI w terminalu i skilla tok-modelowanie (pakiet tok-agent) zbuduj model w języku tok procesu „Zgłoszenie naruszenia praw autorskich w repozytorium uczelnianym”. Zrecenzuj model krok po kroku, opierając się na opisie procesu, popraw błędy i udokumentuj pracę z agentem zgodnie z Zarządzeniem nr 115 Rektora UJ.
Dane wejściowe
Pakiet tok-agent z rozdziału 9: opis procesu proces.md (18 kroków, trzy baseny, cztery linie), polecenie PROMPT.md, formularz recenzja.md.
Pliki do oddania
| Plik | Zawartość |
|---|---|
zgloszenie.tok |
model po poprawkach, w formie kanonicznej (tok fmt -w), bez błędów w tok check |
zgloszenie.bpmn, zgloszenie.svg |
eksport z ostatniej wersji modelu |
mapowanie.md |
mapowanie kroków na instrukcje tok (wersja agenta, z Twoimi poprawkami oznaczonymi w kolumnie wątpliwości) |
recenzja.md |
recenzja każdego kroku, odpowiedzi na pytania podsumowujące, oświadczenie o użyciu SI |
prompty.md |
pełny rejestr poleceń wpisanych w sesji agenta |
Kryteria oceny
| Kryterium | Punkty |
|---|---|
| Recenzja: trafność ocen OK / BŁĄD / DYSKUSYJNE dla wszystkich kroków | 25 |
| Recenzja: uzasadnienia oparte na słowach z opisu procesu, wskazanie właściwej instrukcji tok przy błędach | 20 |
| Model końcowy: zgodność z opisem (baseny i linie, rodzaje elementów, zdarzenia graniczne, bramki, komunikaty) | 25 |
Model końcowy: 0 błędów w tok check, forma kanoniczna, eksport zgodny z modelem |
5 |
| Odpowiedzi na pytania podsumowujące | 15 |
Dokumentacja pracy z agentem: kompletny prompty.md, precyzyjne polecenia poprawek, oświadczenie |
10 |
| Razem | 100 |
Efekty uczenia się
- konfigurowanie agenta AI w terminalu z instrukcjami (
AGENTS.md) i skillem; - krytyczna ocena modelu procesu wygenerowanego przez AI wobec opisu procesu;
- odróżnianie błędów zapisu (komunikaty
tok check) od błędów odczytania opisu; - dokumentowanie użycia narzędzi SI zgodnie z zasadami uczelni.
P. Projekt indywidualny: model procesu informacyjnego w tok z analizą symulacyjną
Termin: spotkanie 10 (prezentacja), oddanie plików do 7 dni po spotkaniu · Waga: 50% · Forma: projekt indywidualny, archiwum .zip na Pegazie
Polecenie
Wybierz proces informacyjny z instytucji, którą znasz albo możesz poznać z dokumentów: biblioteki, archiwum, kancelarii, repozytorium, wydawnictwa, działu kadr. Zapisz go w języku tok, uzupełnij o decyzje i dane, przygotuj parametry symulacji i porównaj co najmniej dwa scenariusze organizacji pracy. Wyniki opisz w raporcie analitycznym przygotowanym w R Markdown albo Quarto i przedstaw na spotkaniu 10.
Model musi zawierać:
- basen instytucji z co najmniej trzema liniami oraz co najmniej jeden basen zewnętrzny z przepływami komunikatów;
- 10–20 elementów przepływu, w tym co najmniej jedną bramkę rozgałęziającą z warunkami albo prawdopodobieństwami i co najmniej jedno zdarzenie graniczne albo podproces;
- obiekty albo magazyny danych powiązane z czynnościami (
reads,writes); - co najmniej jedną tabelę decyzyjną wywoływaną przez zadanie reguły biznesowej;
- jedno z dwóch: formularze dla zadań użytkownika i eksport wykonywalny dla Camunda 8 (
executable,tok export) albo szczegółową analizę danych zmiennych procesu w symulacji (variable,assign, warunkiwhen); - warstwę symulacji: zasoby, czasy czynności, napływ spraw, co najmniej dwa scenariusze różniące się jednym założeniem.
Możesz pracować z agentem AI ze skillem tok (rozdział 9). Wtedy oddajesz rejestr poleceń prompty.md, a w raporcie, w części „Praca z agentem”, zaznaczasz, które części przygotował agent i co w nich zmieniłeś (zgodnie z Zarządzeniem nr 115 Rektora UJ). Za model, analizę i wnioski odpowiadasz Ty. Jeśli nie korzystasz z agenta, dołączasz do raportu jedno zdanie oświadczenia o samodzielnym wykonaniu projektu.
W modelach, formularzach i danych używasz wyłącznie danych fikcyjnych.
Dane wejściowe
Własny opis procesu (regulamin, procedura, rozmowa z pracownikiem, własne doświadczenie). Narzędzie tok 0.1, R z pakietem rmarkdown (albo Quarto). Szablon raportu jest w rozdziale 10.
Pliki do oddania
Archiwum p-nazwisko.zip z folderem projektu:
| Plik | Zawartość |
|---|---|
proces.tok |
model w formie kanonicznej (tok fmt -w), tok check bez błędów |
proces.bpmn, proces.svg |
eksport modelu |
scenariusze/*.tok |
warianty modelu dla kolejnych scenariuszy |
wykonanie/ |
pliki z tok export (.bpmn, .dmn, .form), jeśli wybierasz wariant wykonywalny |
raport.Rmd (albo raport.qmd) i raport.html (albo .pdf) |
raport analityczny |
dane/*.csv |
dzienniki zdarzeń i dane spraw z symulacji użyte w raporcie |
prompty.md |
rejestr poleceń dla agenta (jeśli korzystasz z agenta) |
prezentacja.pdf |
slajdy prezentacji |
Kryteria oceny
| Kryterium | Punkty |
|---|---|
Model procesu: zgodność z opisem, poprawne typy elementów, linie, baseny, wyjątki, dane; 0 błędów w tok check |
20 |
| Decyzje i dane: tabela decyzyjna (polityka trafień, reguły, wartości graniczne), warunki, formularze albo zmienne procesu | 15 |
| Symulacja: uzasadnione rozkłady i parametry, co najmniej dwa scenariusze z jednym zmienionym założeniem, to samo ziarno | 20 |
| Raport: struktura, analiza w R (tabela wskaźników, wykres), wnioski dla instytucji, ograniczenia modelu i symulacji | 25 |
| Jakość tekstu modelu: forma kanoniczna, czytelne identyfikatory i etykiety, komentarze tam, gdzie potrzebne | 5 |
| Dokumentacja pracy: rejestr poleceń i oznaczenie części przygotowanych przez agenta albo oświadczenie o samodzielnej pracy | 5 |
| Prezentacja: jasny przebieg procesu, najważniejszy wynik symulacji, odpowiedzi na pytania | 10 |
| Razem | 100 |
Efekty uczenia się
Po wykonaniu projektu student:
- zapisuje model procesu informacyjnego w języku tok zgodnie ze specyfikacją i notacją BPMN 2.0;
- sprawdza model narzędziem, interpretuje komunikaty i eksportuje model do formatów BPMN 2.0 i DMN;
- projektuje i przeprowadza eksperyment symulacyjny, porównuje scenariusze i ocenia ich ograniczenia;
- przygotowuje raport analityczny w R z wnioskami dla instytucji;
- dokumentuje i krytycznie ocenia pracę z agentem AI.