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.
Plan validation via Petri Nets in the Real-Time Performers Java framework / A. Trentini, D. Micucci - In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC) : Santa Fe, New Mexico, USA, March 13-17, 2005 / [a cura di] H. Haddad, L.M. Liebrock, A. Omicini, R.L. Wainwright. - New York : ACM Press, 2005. - ISBN 1581139640. - pp. 1534-1538 (( convegno ACM Symposium on Applied Computing - SAC-SE 2005 tenutosi a Santa Fe (New Mexico) USA nel 2005 [10.1145/1066677.1067022].
Plan validation via Petri Nets in the Real-Time Performers Java framework
A. Trentini;
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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
