The Real-Time Performers (RTP) architecture is a framework to design distributed soft real-time systems based on timed plans. Timed plans - they define system workflow - contain actions to be executed by distributed components at specified times. An RTP system is controlled by a strategist that may modify plans to adapt system behavior to environment conditions. When a timed plan is changed it may be checked for coherency. This paper presents techniques used in RTP to check timed plans validity through Petri Nets (PNs). These techniques are based on the definition of mappings from RTP topology and plans to PNs. Once PNs are generated, structural and behavioural properties can be calculated and mapped back to the RTP system.
Trentini, A., Micucci, D. (2005). Plan validation via Petri Nets in the Real-Time Performers Java framework. In Proceedings of the 2005 ACM Symposium on Applied Computing (pp.1534-1538). ACM [10.1145/1066677.1067022].
Plan validation via Petri Nets in the Real-Time Performers Java framework
MICUCCI, DANIELA
2005
Abstract
The Real-Time Performers (RTP) architecture is a framework to design distributed soft real-time systems based on timed plans. Timed plans - they define system workflow - contain actions to be executed by distributed components at specified times. An RTP system is controlled by a strategist that may modify plans to adapt system behavior to environment conditions. When a timed plan is changed it may be checked for coherency. This paper presents techniques used in RTP to check timed plans validity through Petri Nets (PNs). These techniques are based on the definition of mappings from RTP topology and plans to PNs. Once PNs are generated, structural and behavioural properties can be calculated and mapped back to the RTP system.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
