Język znacznikowy do zapisu struktur systemów zarządzania Języki

Język znacznikowy do zapisu struktur systemów zarządzania
Języki znacznikowe (SGML, XML) są przeznaczone do budowy i zapisu struktur danych.
Dane te, opisane znacznikami, w formie dokumentów tekstowych mogą być przenoszone
między aplikacjami i systemami oraz adaptowane do różnych sposobów przekazu
elektronicznego. Języki znacznikowe znajdują zastosowanie tam, gdzie ważna jest zawartość
dokumentu, a nie jego sposób formatowania, co pozwala na powtórne użycie zawartości
dokumentu na innych platformach systemowych, przy różnych stylach formatowania.
Przedmiotem pracy badawczej będzie język znacznikowy BSML (Business System Markup
Language), przeznaczony do zapisu struktur systemów zarządzania zgodnych z nowym
modelem referencyjnym.
Cechą wyróżniającą nowego modelu jest uwzględnienie operacji organizacyjnych,
informacyjnych i decyzyjnych na równi z operacjami produkcyjnymi procesów biznesowych.
Przy tym na niższych szczeblach systemu operacje produkcyjne i organizacyjne są
odpowiednio procesami produkcyjnymi i organizacyjnymi, natomiast operacje informacyjne
i decyzyjne są procesami przepływu prac (workflow), które są procesami produkcyjnymi
o szczególnych własnościach. Dzięki rozbudowanej strukturze opracowywany model
referencyjny może być stosowany zarówno do systemów komputerowo zintegrowanego
wytwarzania, jak i do systemów, w których procesy biznesowe są procesami przepływu prac
(np. banki i urzędy). W modelu tym struktura danych jest przedstawiana za pomocą
diagramów klas lub diagramów związków encji, zaś zachowanie systemu zarządzania jest
opisywane jest za pomocą kolorowanych sieci Petriego, albo diagramów czynności języka
UML. Opracowywany język BSML jest podzbiorem języka XML, a zapisane w nim
dokumenty będą ściśle odwzorowywać struktury modelowanych systemów zarządzania.
Praca zawierać będzie szczegółowy opis sposobu korzystania z języka BSML do
transformacji modeli systemów zarządzania na dokumenty BSML. Na podstawie formalnego
opisu modelu referencyjnego zostanie opracowany dokument DTD ( Document Type
Definition), który będzie zawierał lub wskazywał deklaracje znaczników tworzących
gramatykę dla dokumentów BSML. Dzięki definicjom typu dokumentu będzie możliwe
sprawdzenie poprawności dokumentu (walidacja). Ponieważ deklaracje w DTD nie pozwalają
na zdefiniowanie wszystkich typów danych w elemencie i nie określają dokładnej liczby
wystąpień, do dokładnego opisania drzewiastej struktury dokumentu BSML oraz wszystkich
typów danych znajdujących się w elementach i atrybutach dodatkowo zostanie użyty standard
XML Schema. Wyniki pracy zostaną zweryfikowane na odpowiednio dobranych przykładach.
Dotychczasowe prace naukowe zaowocowały artykułami oraz referatami:
-
publikacja „Decision process modeling in a continuous billet mill department”
w Acta Metallurgica Slovaca, autorzy “M. Heczko, M. Kiwer< Conference
Iron and steelmaking 13-15 X 2004 Mala Lucivna
-
publikacja “Zastosowanie sieci Petriego do modelowania dynamicznej obsługi
zleceń DOP, Zeszyty Naukowe IBS PAN, autorzy: M. Heczko, M. Jagodziński