|| Checking for direct PDF access through Ovid
The Java programming language has been projected as a universal language for the development of distributed applications. Unfortunately, the project of such applications using Java is a complex task, requiring the author to be a specialist in this language. This paper presents MUSE, a graphical environment for the conception of interactive multimedia applications. The sophisticated user interface of this environment and its new high-level authoring model allow the creation of complex applications in a fast and intuitive way. Due to the large expressiveness of the model, the author may create multimedia applications with logical and temporal inconsistencies. For this reason, the environment also allows the automatic generation of E-LOTOS specifications, which can be used to analyze and to verify the logical and temporal restrictions defined by the author. After obtaining the complete and correct description of the multimedia application, the environment generates the corresponding Java application.