Plan validation via petri nets in the real-time performers Java framework

Authors:
Andrea Trentini;Daniela Micucci
Affiliations:
Università degli Studi di Milano, Milano, Italy;Università degli Studi di Milano-Bicocca, Milano, Italy
Venue:
Proceedings of the 2005 ACM symposium on Applied computing
Year:
2005

Citing 4
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Architecture, design, implementation

Proceedings of the 25th International Conference on Software Engineering
A Connector-Based Approach for Controlled Data Distribution in RTP Architecture

ICDCSW '03 Proceedings of the 23rd International Conference on Distributed Computing Systems

Quantified Score

Hi-index	0.00

Visualization

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.