CML-DEVS: A specification language for DEVS conceptual models

Hollmann, Diego; Cristiá, Maximiliano; Frydman, Claudia

doi:10.1016/j.simpat.2015.06.007

Cited by 16 publications

(13 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…CML-DEVS is expressive enough to specify all DEVS atomic models. 9 However, the approach is not free of limitations and disadvantages. Engineers need to learn a new language (i.e., CML-DEVS).…”

Section: Discussionmentioning

confidence: 99%

“…For these reasons, we developed CML-DEVS, 9 a DEVS specification language based on standard mathematics and inspired in formal notations such as Z, 10 B, 11 and TLA+, 12 which are used by the software engineering community. CML-DEVS models may be used to abstractly describe DEVS atomic models, which can later be composed as done by each concrete simulator.…”

Section: Introductionmentioning

confidence: 99%

“…CML-DEVS has been discussed in detail elsewhere. 9 Here we will show its main features by means of an example. We want to focus on the fact that writing CML-DEVS code is equivalent to what software engineers do when writing formal specifications in formal notations such as B.…”

Section: Introduction To Cml-devsmentioning

confidence: 99%

See 2 more Smart Citations

A multi-target compiler for CML-DEVS

2018

Self Cite

View full text Add to dashboard Cite

Discrete Event System Specification (DEVS) is a modular and hierarchical formalism for system modeling and simulation. DEVS models can be mathematically described; simulation is performed by tools called concrete simulators. Concerning atomic DEVS models, each concrete simulator has its own input language which is, essentially, a general-purpose programming language (such as Java or C+ +). Hence, once engineers have written the mathematical model, they need to manually translate it into the input language of the concrete simulator of their choice. In this paper we present a multitarget compiler for atomic DEVS models written in CML-DEVS, a mathematics-based DEVS modeling language. This multi-target compiler is able to compile a CML-DEVS model to the input languages of the PowerDEVS and DEVS-Suite concrete simulators. In this way, the CML-DEVS compiler frees engineers from the manual translation of their mathematical models. In fact, the same mathematical model can be simulated on both simulators by simply recompiling the model. The CML-DEVS multi-target compiler can be easily extended to produce code for other concrete simulators.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A multi-target compiler for CML-DEVS

2018

Self Cite

View full text Add to dashboard Cite

show abstract

“…Hollmann et al [9] present CML-DEVS, a language that allows the representation of Discrete Event System Specification (DEVS) models in their abstract form in terms of mathematical and logical expressions. CML-DEVS allows a simulation analyst to define a simulation model even if he/she does not have programming skills or knowledge of a particular modelling language of a specific M&S tool.…”

Section: Related Workmentioning

confidence: 99%

Mapping SPEM Process Specifications to Activity Cycle Diagrams

Pagliares¹,

Hirata²

2018

Int. j. simul. model.

View full text Add to dashboard Cite

The development of discrete event simulation models to simulate engineering processes is a complex endeavour because it requires a great deal of effort, time and expertise in different areas, in addition to knowledge of techniques of modelling and implementation. We aim to provide a model-driven approach to automate the generation of simulation models from process models. The approach consists of algorithms that map elements of SPEM (Software & Systems Process Engineering Metamodel) to XACDML (eXtensible Activity Cycle Diagrams Markup Language). SPEM is a notation used to model engineering processes. XACDML is a textual specification of ACD. ACD is graphical notation to represent discrete event simulation models. We extended XACDML to cope with SPEM hierarchical elements enabling the mappings between the models. We developed a tool and use it in an example in order to demonstrate the feasibility of our approach. The results indicate that the approach is feasible and reduces the burden associated with building simulation models of engineering processes.

show abstract

“…Recent works on DEVS-based textual languages have proffered some interesting answers to some of these questions; notable among them are DEVSML 2.0 (DEVS Modeling Language 2.0) by Mittal and Douglass 30 and CML-DEVS by Hollmann et al 31 The Xtext-based 32 DEVSML 2.0 deals with (1) and (4). It addresses (1) through the importation of packages containing model components and entities wherever they are needed in similitude to what is done in programming languages like Java and C++ while nonprimitive message and port types are defined as structlike data structures to address (4).…”

Section: Devs-based Visual Languages: the State-of-the-artmentioning

confidence: 99%

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

Aliyu

Maïga

Traoré

2016

Int. J. Model. Simul. Sci. Comput.

View full text Add to dashboard Cite

International audienceWe 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

show abstract

CML-DEVS: A specification language for DEVS conceptual models

Cited by 16 publications

References 20 publications

A multi-target compiler for CML-DEVS

A multi-target compiler for CML-DEVS

Mapping SPEM Process Specifications to Activity Cycle Diagrams

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

Contact Info

Product

Resources

About