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)
Composition of heterogeneous software components is required in many domains to build complex systems. However, such compositions raise mismatches between components. Software adaptation aims at generating adaptors to correct mismatches between components to be composed. In this paper, we propose a formal approach based on Petri nets which relies on mapping(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 ERP N + , to check the temporal coherence of SMIL documents. This paper presents ongoing work where special attention is given to the(More)
  • 1