On Teaching Visual Formalisms

Computer music environments (CMEs) are notoriously difficult to design and implement. As computer programs, they reflect the complex nature of music ontology and must support real-time manipulation of multimedia data. In addition, these programs must be usable by native users, supporting their creative process without obstructing it through technical difficulties. To achieve these goals, the authors argue, CMEs must be provided with a well-defined methodology relying on techniques from the fields of software engineering, artificial intelligence, and knowledge representation. This paper contributes an aspect of this methodology, concentrating on the role of visualizations in CMEs. The authors state that visualization deserves a specialized theory that is based on music ontology and that is independent of the concrete, implemented graphical interface.

Download Full-text

The high level language for system specification: A model-driven approach to systems engineering

International Journal of Modeling Simulation and Scientific Computing ◽

10.1142/s1793962316410038 ◽

2016 ◽

Vol 07 (01) ◽

pp. 1641003 ◽

Cited By ~ 7

Author(s):

Hamzat Olanrewaju Aliyu ◽

Oumar Maïga ◽

Mamadou Kaba Traoré

Keyword(s):

Systems Engineering ◽

Discrete Event ◽

Discrete Event System ◽

High Level Language ◽

System Specification ◽

Model Driven ◽

Event System ◽

Visual Formalisms ◽

Devs Formalism ◽

High Level

We present HiLLS (High Level Language for System Specification), a graphical formalism that allows to specify Discrete Event System (DES) models for analysis using methodologies like simulation, formal methods and enactment. HiLLS’ syntax is built from the integration of concepts from System Theory and Software Engineering aided by simple concrete notations to describe the structural and behavioral aspects of DESs. This paper provides the syntax of HiLLS and its simulation semantics which is based on the Discrete Event System Specification (DEVS) formalism. From DEVS-based Modeling and Simulation (M&S) perspective, HiLLS is a platform-independent visual language with generic expressions that can serve as a front-end for most existing DEVS-based simulation environments with the aid of Model-Driven Engineering (MDE) techniques. It also suggests ways to fill some gaps in existing DEVS-based visual formalisms that inhibit complete specification of the behavior of complex DESs. We provide a case study to illustrate the core features of the language.

Download Full-text

Beyond models and metaphors: visual formalisms in user interface design

10.1109/hicss.1991.184010 ◽

2002 ◽

Cited By ~ 2

Author(s):

B.A. Nardi ◽

C.L. Zarmer

Keyword(s):

User Interface ◽

Interface Design ◽

User Interface Design ◽

Visual Formalisms

Download Full-text