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

作     者：Hamzat Olanrewaju Aliyu Oumar Maıga Mamadou Kaba Traore 

作者机构：School of Information and Communication Technology Federal University of Technology Minna Gidan-Kwanu CampusMinnaNigeria Universit´e des Sciences des Techniques et des TechnologiesBamakoMali LIMOS CNRS UMR 6158 Universite Blaise PascalClermont-FerrandFrance 

出 版 物：《International Journal of Modeling, Simulation, and Scientific Computing》 (建模、仿真和科学计算国际期刊（英文）)

年 卷 期：2016年第7卷第1期

页      面：180-214页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：HiLLS modeling and simulation integrated formalism DEVS Object-Z 

摘      要：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 ***’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 *** paper provides the syntax of HiLLS and its simulation semantics which is based on the Discrete Event System Specification(DEVS)*** 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)*** also suggests ways to fill some gaps in existing DEVS-based visual formalisms that inhibit complete specification of the behavior of complex *** provide a case study to illustrate the core features of the language.