The high level language for system specification: A model-driven approach to systems engineering - Université Clermont Auvergne Accéder directement au contenu
Article Dans Une Revue International Journal of Modeling, Simulation, and Scientific Computing Année : 2016

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

Hamzat Olanrewaju Aliyu
Oumar Maïga
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

hal-01405177 , version 1 (21-10-2020)

Identifiants

Citer

Hamzat Olanrewaju Aliyu, Oumar Maïga, Mamadou Kaba Traoré. The high level language for system specification: A model-driven approach to systems engineering. International Journal of Modeling, Simulation, and Scientific Computing, 2016, 07 (01), ⟨10.1142/S1793962316410038⟩. ⟨hal-01405177⟩
243 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More