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

Abstract : 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.
Type de document :
Article dans une revue
International Journal of Modeling, Simulation, and Scientific Computing, World Scientific Publishing, 2016, 07 (01), 〈10.1142/S1793962316410038〉
Liste complète des métadonnées

https://hal-clermont-univ.archives-ouvertes.fr/hal-01405177
Contributeur : Mamadou Kaba Traore <>
Soumis le : mardi 29 novembre 2016 - 16:01:18
Dernière modification le : mercredi 4 juillet 2018 - 16:32:04

Lien texte intégral

Identifiants

Citation

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, World Scientific Publishing, 2016, 07 (01), 〈10.1142/S1793962316410038〉. 〈hal-01405177〉

Partager

Métriques

Consultations de la notice

236