A design-oriented method to build correct hypermedia documents

Over the years, different approaches to identify temporal and spatial conflicts in hypermedia applications has been proposed. Most of them are based on formal verification techniques and impose to the designers to follow a formal model or language to ensure application’s functional correctness. Furthermore, the error diagnose is hard to be interpreted by a non-specialist in this domain. In this paper, we present an approach which supports formal verification for documents written in markup languages. We proposed a method and built a verification toolchain that helps designers to verify time and spatial constraints in hypermedia applications. The input language is the designer language. Its translation towards the input of toolchain is automatic and transparent for the application designer. The errors scenarios provided by the verification tool are presented in a timeline way, easily understandable by the designer. The method and toolchain support different markup languages translated in the same intermediary language in order to facilitate the use of different verification tools in the same environment.

     

Specification,Mapping and Control for QoS Adaptation

In this paper we describe a fuzzy-control approach for quality of service (QoS) adaptation, needed in distributed multimedia applications. QoS adaptation is necessary (a) due to sudden variations in network resource availability, especially in the case of Internet, and (b) due to multiple applications requiring shared resource such as bandwidth. To solve the problem of QoS adaptation, several sub-problems need to be considered: (1) mapping of user perception and different combinations of application QoS values onto a uniform quality metric, (2) estimation, control and adjustment of application QoS parameters in case of network and other resource congestion, and (3) enforcement algorithm which reacts according to adapted QoS parameters. Our approach is to solve the QoS adaptation using the integration of (a) quality degree function, which maps the application QoS parameters into a metric, called quality degree, (b) fuzzy controller, which controls, estimates and adjusts the application QoS parameters according to resource availability, and (c) filter algorithms, which are the services to enforce the adapted QoS parameters. The quality degree function associates quality degree as the quality measure with different combinations of application QoS values. This function is influenced by the users perception of quality. The fuzzy control takes the results of the quality degree function, estimates the new quality degree and its corresponding quality level, predicts the new application QoS parameters, and adjusts them. The results of the adapted QoS parameters are then used by the filter algorithms to enforce the changes, proposed by the fuzzy controller, by allocating bandwidth to the application according to its QoS parameter values. We have implemented and applied the quality degree function, the fuzzy controller, and the filter algorithms to the video distribution system (VDS). The results of VDS over the local area network show that (1) the target system improves user perceived QoS at the receivers, and (2) the bandwidth utilization increases significantly when using our fuzzy-control approach for QoS adaptation.