Detail publikace
Model Transformations via XSLT
Petri nets, transformations, workflow modelling, agents
Řada současných systémů je koncipovaných jako sada autonomních agentů, kteří komunikují mezi sebou s cílem řešení problémů. Petriho sítě se často využívají ke specifikaci paralelních systémů. Důležitou otázkou zůstává, zda je možné implementovat libovolný systém pomocí sady agentů definovaných Petriho sítěmi. Protože specifikace agentů pomocí Petriho sítí není příliš čitelná pro typického uživatele systému, zabývali jsme se možností definice těchto agentů pomocí workflow modelů a jejich překladem pomocí XSLT transformací do výsledných Petriho sítí. Každá síť výsledného modelu je pak převedena co cílové reprezentace zvané Petri Nets Byte Code (PNBC). PNBC je následně interpretován pomocí speciálůního interpretu Petri Nets Virtual Machine (PNVM), který je součástí systému Petri Nets Operating System (PNOS). Tento článek se zabývá samotnou XSLT transformací z workflow modelu na model reprezentovaný Petriho sítěmi.
@inproceedings{BUT155087,
author="RICHTA, T. and JANOUŠEK, V. and NIKDO, N.",
title="Model Transformations via XSLT",
booktitle="DATESO 2017",
year="2017",
pages="43--54",
publisher="Faculty of Electrical Engineering, Czech Technical University",
address="Praha",
isbn="978-80-01-06138-1"
}