Archived in the free access ThinkMind Digital Library. Prints available at Curran Associates, Inc. Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency.
The interaction takes the form of temporal interaction start, stop, pause, reverse and forward and browsing interactions. The study considers a program of temporal specification language that is divided into four parts: declaration, assignation, temporal and interactive relations Fig. Example: A heart medical scenario specification: Let us consider an application of scenario temporal specification: in the framework of a service provided by a hospital, a doctor has the possibility to choose a multimedia service among several. For example, when consulting a heart medical file of a patient, the doctor is able, to visualize the multimedia file of the patient, thanks to temporal synchronization, while focusing himself on the affected bodies.
The heart medical file is composed of a textual description of the heart and its behaviour, audio and video sequences describing the beats of the heart e. The audio and video sequence is synchronized with two images, describing a longitudinal and transverse crosscut of the heart, respectively. These two crosscuts evolve with the audio and video sequence of the heart. At any moment, the user can stop, represent and return to the initial menu to choose medical files of other patients or leave the scenario Fig.
The basic PN structure is composed of four parts: a set of paces P, a set of transitions T, an input or backward frmction B and an output or forward frmction F. The input and output fnnctions relate transitions and places Peterson, A basic PN graph is graphically represented as a bipartite directed graph, in which the circular nodes are called places and the bar nodes are called transitions.
A dot in a place represents a token and a place containing one or more tokens is said to be marked. The temporal relations are designed to specify relations between multimedia objects of determined duration. Therefore, they are not appropriate for rmdetermined duration. If creators produce a video digest from several multimedia objects, they need to modify the temporal relations between multimedia objects after their duration changes. In order to solve this problem, the system should represent relations between multimedia objects with illlknown duration.
We must study the model of temporal relations independent of duration changes. PN is one of graph representations and has some characteristics: PN considers multimedia objects with known or unknown duration and the simulation of the scenario may detect errors, such as: specification errors, graph design errors, graph configuration errors, or allocation resources errors.
The PN tool have been chosen as tool of synchronization and analysis because PN allow modelling the dynamic behaviour of multimedia scenarios that can be characterized by the qualitative properties of PN corresponding. These properties are liveness, bmmdedness, reversibility and consistency. In the context of a temporal synchronization modelling, a class of enhanced PN model has been developed which assign a firing delay to each place and a type of synchronization to a transition Ghomari and Djeraba.
As usual, we denote by. IS: is the static interval function. The IS fnnction associates with each ingoing place a static validity time interval, where a, b , associated with a place, represents respectively the earliest and the latest firing times.
The firing time of a place is a timing interval during which the newly created tokens are valid to fire transition. This synchronization semantics defines synchronization instants from a place statically or dynamically chosen. MP is the fnnction which indicates the master place of each transition from which the rule of transition requires a master. MP-RdPT generation: Hamblin presents a logic of intervals which is very useful in the development of a synchronisation scheme.
Given any two intervals, there are thirteen distinct ways which they can be related. These relations indicate how the two intervals relate in time; whether they overlap, abut, precede, etc. Using the representation of Allen extended to that of Weiss et al. One axis indicates the time dimension and the other space or resource utilization. Little and Ghafoor define an atomic process to be one which is cannot be decomposed into subprocesses, as in the case of the presentation of a single frame of a motion picture.
They presents a theorem relating temporal intervals to OCPN: Given any two atomic processes specified by temporal intervals, there exists an OCPN representation for their relationship in time. In Cowtiat et al. WaitLatest weak-and and WaitMatser master , respectively. In conclusion, we can use the verification tool Tina Berthomieu et al. In addition to the usual editing and analysis facilities of such envirornnents computation of marking reachability sets, coverability trees, semi-flows , Tina offers various abstract state spaces constructions that preserve specific classes of properties of the concrete state spaces of the nets.
Sensory Experience Lab | Enhancing the Quality of Multimedia Experience through Sensory Effects
Classes of properties may be general properties reachability properties, deadlock freeness, liveness. After generating the T-time Petri net , the author investigates the scenario specification before it is delivered to the reader by using the analysis tool Tina. Cmently, the following characteristics can be verified by the analysis tool: terminate state existence e. There are cases where problems are: cycles and deadlocks. Object-oriented modeling: Our multimedia framework looks to the framework proposed in Gibbs et al.
It is composed of abstract classes serving to specify interfaces and suggested procedures for using the classes.
The abstract classes are specialized for different multimedia platforms. So, applications using the abstract classes may adapt to variations in platform frmctionality. The classes of our framework belong to two distinct groups: media classes and scenario classes: 1 media classes correspond to audio, video, image, text and other media types, their basic properties and operations and 2 scenario classes model temporal composition of media objects. In this paper, we will focus on scenario classes. Gibbs et al. Scenarios are divided into types corresponding to application domains.
Each type is represented by a class. Instances of scenario classes are called scenario objects. A scenario class models scenario object properties and operations. The methods of the scenario class are divided into two categories: generation, deletion and simulation, interpretation. The method generate allows applications to generate scenarios objects using temporal specifications and the method deletion remove scenariOs objects. The method simulate graphically the scenario using the associated MP-RdPT and the method interpret plays the scenario.
According to the architecture of the system prototype Fig. The present study presented a formal approach for specifying and analyzing multimedia presentation. The approach combines time-interval and causal relations models so that it supports the specification for multimedia objects with fixed or unknown durations, interactive relations and dependency temporal relations.
The MP-RdPT model then can be translated to the T-Time Petri net and a set of properties then could verified against the translated model by using a third party tool called Tina.
Tina allows the author to Courtiat. A general purpose multimedia investigate the document specification before it is delivered to the reader. Finally, multimedia scenarios are stored and managed in an object-relational DBMS. In the future. Therefore, system can manage and store an enormous of structured data efficiently, not spoiling syntactic and semantic aspects. Subscribe Today. Science Alert. All Rights Reserved. Research Article. Abdelghani Ghomari , M. Rahmouni and Chabane Djeraba. Similar Articles in this Journal. Search in Google Scholar.
How to cite this article: Abdelghani Ghomari, M. Rahmouni and Chabane Djeraba , Information Technology Journal, 5: DOI: Skip to content Skip to search. Owen, Fillia Makedon. Owen, Charles B.
A New Approach for Synchronization, Analysis and Management of Multimedia Scenarios
Published Boston ; London : Kluwer Academic, c Language English View all editions Prev Next edition 2 of 3. Author Owen, Charles B. Other Authors Makedon, F. Physical Description x, p. Kluwer international series in engineering and computer science. Multimedia systems and applications. Subjects Multimedia systems.