Visual Formalisms

2018 ◽  
pp. 4496-4500
Author(s):  
David Harel ◽  
Shahar Maoz
Keyword(s):  
Visual Formalisms

Visual Formalisms

2009 ◽  
pp. 3370-3374
Author(s):  
David Harel ◽  
Shahar Maoz
Keyword(s):  
Visual Formalisms

On visual formalisms

1988 ◽  
Vol 31 (5) ◽  
pp. 514-530 ◽  
Author(s):  
David Harel
Keyword(s):  
Visual Formalisms

Visual Formalisms

2016 ◽  
pp. 1-5 ◽  
Author(s):  
David Harel ◽  
Shahar Maoz
Keyword(s):  
Visual Formalisms

On the Need for Visual Formalisms in Music Processing

Leonardo ◽  
1999 ◽  
Vol 32 (2) ◽  
pp. 127-134
Author(s):  
Mira Balaban ◽  
Michael Elhadad
Keyword(s):  
Artificial Intelligence ◽  
Software Engineering ◽  
Knowledge Representation ◽  
Real Time ◽  
Creative Process ◽  
Multimedia Data ◽  
Complex Nature ◽  
Graphical Interface ◽  
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.

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

2016 ◽  
Vol 07 (01) ◽  
pp. 1641003 ◽  
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.

Writing and Analyzing System Specifications by Integrated Linguistic Tools

1997 ◽  
Vol 07 (01) ◽  
pp. 69-99 ◽  
Author(s):  
A. F. Abate ◽  
C. D'apolito ◽  
G. Nota ◽  
G. Pacini
Keyword(s):  
Behavior Analysis ◽  
Final Analysis ◽  
The Other ◽  
Specification Languages ◽  
Requirement Specification ◽  
Executable Specification ◽  
Basic Concepts ◽  
Visual Formalisms ◽  
The Times ◽  
Analysis Environment

The literature offers several examples of executable specification languages, ranging from mathematically based notation to visual formalisms. In this paper, an analysis environment for executable system specifications based on the language RSF (Requirement Specification Formalism) is presented. The analysis environment also contains two other linguistic tools — RSQ (Requirement Specification Querying), and SEF (Specification Execution Filtering). Using RSQ, classes of execution paths with certain properties can be exercised, so that selected behavioral aspects can be observed. Using SEF, the amount of information and the times at which it is output can be controlled, making the behavior analysis more effective. The paper shows how the notation of RSF, with its few basic concepts, is naturally exploited as a nucleus for the other tools, which are easily integrated to produce the final analysis environment. The combination of RSQ and SEF allows the planning of testing and analysis activities. A working session is shown for a specification describing a telephone switch call handler.

Sign in / Sign up

Export Citation Format

Share Document