Plan validation via petri nets in the real-time performers Java framework
Proceedings of the 2005 ACM symposium on Applied computing
Hi-index | 0.00 |
As the size and the complexity of software systems increases, a proper decomposition approach is strongly required, in particular to address issues about "when" and "how" distribution and elaboration have to be performed.In this paper we present RTP (Real Time Performers), a general-purpose architecture for the development of modular and configurable real-time distributed systems. It is based on basic and formally-modelled notions: projectors (data transferring components), state machines, command traces, topologies and strategists. The RTP decomposition approach is based on the component-connector pattern, refined with the specialization of the connector role. RTP rationale is the "externalization" and formalization of communication issues between components, with a strong separation between alignment mechanisms and policies.