3篇
您的检索式：作者名="Mamadou Oumar"
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Giant brainlike aggregates from new fluorocarbon/hydrocarbon hybrid cationic surfactants显示文摘 | Mamadou Oumar Elisabeth Taffin de Givenchy Samba YandéDieng | 2011 | Langmuir2011，27，5： | 1 |
| 2 | The high level language for system specification: A model-driven approach to systems engineering显示文摘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. | Hamzat Olanrewaju Aliyu Oumar Maıga Mamadou Kaba Traore | 2016 | International Journal of Modeling, Simulation, and Scientific Computing2016，7，1： | 0 |
| 3 | Formal verification with HiLLS-specified models:A further step in multi-analysis modeling of complex systems显示文摘The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performed to derive various properties of this system.The High-Level Language for Systems Specification(HiLLS)has recently been introduced as a graphical language for discrete event simulation,with potential for other types of analysis,like enactment for rapid system prototyping.HiLLS defines an automata language that also opens the way to formal verification.This paper provides the building blocks for such a feature.That way,a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any experiment.Therefore,it saves from the effort of building three different analysis-specific models and the need to align them semantically. | Kehinde G.Samuel Oumar Maiga Mamadou K.Traor′e | 2019 | International Journal of Modeling, Simulation, and Scientific Computing2019，10，5： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员