Paper Info
Title
Eventor: an authoring system for interactive multimedia applications
Abstract
Programming, testing, and maintaining interactive multimedia applications (IMAs) are still difficult and expensive, while substantial progress has been made to reduce the burden on authors. As IMAs get larger and more complex the difficulties will increase. To overcome the complexity of such IMAs, we argue that authoring systems should provide such facilities as (1) a traditional and intuitivedivide-and-conquer paradigm for solving large and complex problems in various fields, (2)formal specification of the behaviors of IMAs for checking the syntactic correctness of visual expressions or semantic anomalies, and (3)automatic aids like validation of temporal constraints and verification of visual expressions. In this paper, we investigate the properties of IMAs for recognizing the inherent interactivity and concurrency. We propose a specification method based on Milner'sCalculus of Communicating Systems (CCS), which is a well-known formal mechanism for specifying the concurrency in various distributed applications. We also design and implement an authoring system calledEventor (Event Editor), which is based on CCS and composed of three tools: a Temporal Synchronizer, a Spatial Synchronizer, and a User Interaction Builder. They focus on describing the temporal and spatial synchronizations and user interactions while they rely on existing tools in Intel's Digital Video Interactive (DVI) for supporting other functionalities. By editing a simple computer aided instruction (CAI) application, we illustrate that our specification mechanism is well-suited for handling the interactivity of multimedia applications, and Eventor is a simple, efficient, and powerful enough tool to handle practical applications. Especially the incremental refinement and the formal specification based on the CCS allow Eventor to be extended with formal verifications to cope with large and complex applications.
Year
DOI
Venue
1994
10.1007/BF01222125
Multimedia Syst.
Keywords
Field
DocType
communication system,formal specification,formal verification,interactive multimedia,distributed application
Interactivity,Computer science,Concurrency,Digital Video Interactive,Correctness,Authoring system,Real-time computing,Visual programming language,Formal specification,Interactive media,Multimedia
Journal
Volume
Issue
ISSN
2
3
1432-1882
Citations 
PageRank 
References 
11
1.77
8
Authors
5
Name
Order
Citations
PageRank
Seong Bae Eun1193.04
Eun Suk No2192.36
Hyung Chul Kim3203.52
Hyunsoo Yoon4759106.01
Seung Ryoul Maeng58519.68