Distributed Multimedia QoS Parameters from Presentation Modelling by Coloured Petri Nets

نویسندگان

  • Alan F. Smeaton
  • Aidan Gregan
چکیده

In this chapter we address the problems associated with storing and retrieving multimedia presentations where the multimedia objects making up the presentation are stored in a distributed manner on a network of computers. In order to deliver multimedia presentations to users in an efficient manner, quality of service (QoS) parameters for various components like networks, disks, etc, need to be defined before a multimedia presentation is launched. It is our hypothesis that a multimedia presentation authoring tool should use an internal representation known as a coloured petri net, in order to represent the synchronisation and the spatial aspects of a multimedia presentation. The CPN representation for a presentation would be represented internally only and need not be visable. In this chapter we outline how some commonly used multimedia sychronisation features can be represented using CPNs and we discuss what kinds of persistent storage would be needed for this.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modellierung und Verifikation von verteilten/parallelen Informationssystemen

Petri nets are used in many fields as modelling technique. The different usage areas and modelling objectives require different classes of Petri nets. Powerful high level Petri nets and especially coloured Petri nets are well suited for describing behavior of distributed information systems in order to verify and analyse them. Extended coloured Petri nets with structured marks are presented in ...

متن کامل

A Coloured Nested Petri Nets Model for Discussing MANET Properties

Predicting behavior and assuring quality of service of complex multimedia systems is very hard. Techniques based on tests, inspections or simulations are not always effective. Conversely, rigorous adoption of formal approaches in entire system lifecycle is very costly, and does not provide evidence about run-time performance. Our research proposes a tool, which allows both formally modeling and...

متن کامل

Modeling and Analyzing SMIL Documents in SAM

A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaining the time-ordered relations among the component media is vital to satisfying quality of service (QoS) requirements. This paper proposes a formal approach to modeling and analyzing temporal aspects of SMIL documents us...

متن کامل

Petri Net analysis of the MASCOT Pool IDA Communication Mechanisms

The paper is concerned with modelling and analysis of the MASCOT Pool IDA communication mechanisms. Both the Four-slot fully asynchronous mechanism and the Two-slot conditionally asynchronous mechanism are investigated. The mechanism properties are defined first, to provide the basis for Petri nets modelling. Place/Transition nets and Coloured Petri nets are used to produce the models. The Desi...

متن کامل

Assisting Data Warehousing Populating Processes Design through Modelling using Coloured Petri Nets

Data warehousing systems populating processes are responsible for loading their data repositories – the data warehouses – with information they extract from operational sources. The tasks that integrate these processes are the most complex ones that we can find in a data warehousing system. For a flawless implementation, modelling these processes previously is important so that a correct set of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994