Title :
Component-wise mapping of media-needs to a distributed presentation environment
Author :
Feijs, Loe ; Hu, Jun
Author_Institution :
Dept. of Ind. Design, Eindhoven Univ. of Technol.
Abstract :
Whereas formal specification and verification have shown value by improving reliability and trustworthiness of traditional industrial systems, we made a contribution by applying them to the field of distributed multimedia presentations in an ambient intelligence context. We investigate a mapping problem in which media needs are to be satisfied using given presentation resources. The goal of the investigation is to see whether Broy´s stream-based component framework can be used to model media-related interfaces and constraints in an elegant way. The formalization will serve as a framework for the development of an automated mapper that can handle real media needs and real presentation resources. It combines the well-known notations of Z with an underlying concurrency theory. We show that not only verification issues can be handled such as bandwidth and delay constraints, but also architecture-level issues such as network structural media-type compatibilities
Keywords :
business graphics; ambient intelligence context; automated mapper; component-wise mapping; distributed presentation environment; network structural media-type compatibilities; stream-based component framework; Ambient intelligence; Bandwidth; Concurrent computing; Formal specifications; Internet; Multimedia systems; Research and development; Robots; Streaming media; Web pages;
Conference_Titel :
Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2209-2
DOI :
10.1109/CMPSAC.2004.1342840