Malika Boukala

  • Citations Per Year
Learn More
In this paper, we introduce a framework allowing to model and analyze SMIL documents in their temporal aspects. We offer a modular modeling which comes with a natural translation to Time Recursive Petri Nets (Time RPN). The modeling we propose consists in successive and inductive translation of SMIL objects, including complex repetitive ones.We illustrate(More)
In order to design and analyse complex real time systems, we improve the communication mechanism of Time Recursive Petri Net model that we have proposed in previous works. First, we show that the new version, named Time ERPN<sup>+</sup>, enables to obtain very compact patterns of dynamic multi-threaded systems. To show the great modeling capacities of Time(More)
In order to design and analyse complex real time systems, we improve the communication mechanism of Time Recursive Petri Net model that we have proposed in previous works. We have used our extended model, named Time ERPN, to check the temporal coherence of SMIL documents. This paper presents on-going work where special attention is given to the termination(More)
Nowadays systems should be able to perform evolutionary changes without degrading performances of online services. To achieve that, it is interesting to predict performances of a system reconfiguration, as introducing such properties in a system may lead to quality of service loss and performance degradation. In this case, the impact analysis of a(More)
  • 1