Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models

• https://link.springer.com/chapter/10.1007/978-3-319-74727-9_16

Reference Petri Nets, dynamic reconfigurability, executable models, model-driven development, formal specifications

Námořní procesy jsou stejně tak jako další logisticky orientované procesy úzce propojeny s mechanickými zařízeními na kterých operují a stejně tak i se zapojenými lidmi. Typické operační problémy, jakými jsou správa lodi, kotvení, nakládání zboží, atd., stejně tak jako celková predikovatelnost průběhu celého procesu pak silně závisí na použitých automaizačních nástrojích. Některé ze soudobých přístupů využívají BPMN definice k přesnější a predikovatelnější správě procesů. Přesto těmto postupům chybí hlubší pokrytí technických zdrojů použitých v rámci řešení procesních úloh. Článek se zabývá popisem použití distribuovaného řídícícho systému založeného na modelech v Referenčních Petriho sítích ke správě logistických procesů a rozhodování. Architektura je založena na modelech v Referenčních Petriho sítích pokrývajících servisní vrstvu procesního managementu, používaného BPMN modely. Systémový model sestává ze sady uzlů a jejich detailního popisu fungování, stejně tak jako z použitých komunikačních kanálů. Vzhledem k definované sadě pravidel je spustitelný model založený na Referenčních Petriho sítích generovaný přímo ze systémové specifikace. Tento model může být také použit k simulaci logistických procesů a odhadům dob trvání jednotlivých kroků.  Stejně tak může být přeložen do interpretovatelné podoby zvané Bytekód Petriho sítí, který může být dynamicky instalován na libovolném uzlu infrastruktury. Pokud nastanou nějaké změny ve funkcionalitě, jsou přeloženy ze změn modelu do změn v bytekódu a instalován na odpovídajících uzlech. Důležitou vlastností popsaného přístupu je formálně definovaný a zároveň čitelný popis jednotlivých vrstev systémové funkcionality a stejně tak dynamická rekonfigurovatelnost cílového systému v rámci jeho běhu.