When modelling complex systems, complexity is usually not only due to a large number of coupled components, but also the diversity these components and their intricate interactions. One would like use variety formalisms "optimally" describe behaviour different system aspects, views. The choice appropriate depends on criteria such as application domain, modeler's background, goals, available computational resources. In article, formalism transformation graph (FTG) presented. FTG, vertices...

Modelling is considered to be an inherent part of the design and operation a wastewater treatment system. The models used in practice range from conceptual physical (laboratory-scale or pilot-scale reactors) empirical mechanistic mathematical models. These can during design, optimisation To do so, good software tool indispensable. WEST general modelling simulation environment can, together with model base, for this task. base presented here specific biological written MSL-USER. In high-level...

Modeling and simulation are quickly becoming the primary enablers for complex system design. They allow representation of intricate knowledge at various levels abstraction automated analysis as well synthesis. The heterogeneity design process, much itself, however, requires a manifold formalisms tailored to specific task hand. Efficient approaches aim combine different models under study maximally use captured in them. Computer Automated Multi-Paradigm (CAMPaM) is emerging field that...

It is essential to find new ways of enabling experts in different disciplines collaborate more efficient the development ever complex systems, under increasing market pressures. One possible solution for this challenge use a heterogeneous model-based approach where teams can produce their conventional models and carry out usual mono-disciplinary analysis, but addition, be coupled simulation (co-simulation), allowing study global behavior system. Due its potential, co-simulation being studied...

DEVS is a popular formalism for modeling complex dynamic systems using discrete-event abstraction. Owing to its popularity, and the simplicity of simulation kernel, number tools have been constructed by academia industry. However, each these has distinct design goals specific programming language implementation. Consequently, supports set formalisms, combined with features. Performance differs significantly between different tools. We provide an overview current state eight tools: ADEVS,...

Empirical studies indicate that user experience can significantly be improved in model-driven engineering. Blended modelling aims at mitigating this by enabling users to interact with a single model through different notations. contributes various qualities, including comprehensibility, analysability, and acceptability. In paper, we define the notion of blended propose set dimensions characterise modelling. The are grouped two classes: user-oriented realisation-oriented dimensions. Each...

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models used formalize, analyze, design, optimize, verify system artifacts, helping developers integrate across domains. Although is well established specific domains, such as software, mechanical systems, electrical its role integrated from perspective still challenge for industry. (MBSE) tool-chain an emerging technique...

In Model Driven Engineering (MDE), models are first-class citizens, and model transformation is MDE's "heart soul". Since transformations executed for a family of conforming models, their validity becomes crucial issue. This paper proposes to explore the question formal verification properties through tri-dimensional approach: involved, interest addressed, techniques used establish properties. work allows better understanding expected particular transformation, facilitates identification...

Abstract The development of artificial intelligence models for data driven decision making has a lot potential the manufacturing sector. Nevertheless, applications in industry are currently limited to actionable insights one can discover from available and knowledge system. We call process obtain such “ad hoc analysis”. Ad analysis at system level is very complex an industrial setting due inherent heterogeneity existence silos, lack information formalization, inability meaningfully...

Integrated development environments such as Eclipse allow users to write programs quickly by presenting a set of recommendations for code completion. Similarly, word processing tools Microsoft Word present corrections grammatical errors in sentences. Both these existing structure editors use constraints expressed the form natural language grammar restrict/correct user ( syntax-directed editing) or formal language-directed editing ) aid document Taking this idea further, paper we an...

Embedded systems, with their tight technology integration, and multiple requirements stakeholders, are characterized by tightly interrelated processes, information tools. systems will as a consequence be described multiple, heterogeneous descriptions such for example documents, design analysis models, software hardware descriptions. We refer to system designed this way multi-view (MV) system. The main contribution of paper is characterization model-based approaches MV systems. takes three...

In recent years, many new concepts, methodologies, and tools have emerged, which made Model Driven Engineering (MDE) more usable, precise automated. We earlier proposed a conceptual framework, FTG+PM, that acts as guide for carrying out model transformations, basis unifying key MDE practices, namely multi-paradigm modelling, meta-modelling, transformation. The FTG+PM consists of the Formalism Transformation Graph (FTG) its complement, Process (PM), charts activities in lifecycle such...

In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde's "heart soul".Since transformations executed for a family of (conforming) models, their validity becomes crucial issue.This paper proposes to explore the question formal verification properties through tridimensional approach: involved, interest addressed, techniques used establish properties.This work intended double audience.For newcommers, it provides tutorial introduction field...