ince its adoption in 1997, the Unified Modeling Language (UML) has proved very popular with software engineers and has become the de facto standard as a visual modeling language for software engineers. However, this software focus of UML has discouraged many systems engineers from adopting it in earnest. Those who did adopt UML developed strategies to cope with its shortcomings. A common approa...

ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for systems and software modeling, and the simulation power of Modelica. This addresses the increasing need for precise integrated modeling of products containing both software and hardwar...

ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for systems and software modeling, and the simulation power of Modelica. This addresses the increasing need for precise integrated modeling of products containing both software and hardwar...

Building environmentally friendly software and hardware systems is about understanding and respecting the requirements that are imposed by climate change or regulation. This is especially true, as those systems often require inter-disciplinary collaboration between domain experts who might not have a software or systems engineering background. Existing requirements models lack in three dimensio...

Modeling user interfaces is a well-established discipline in its own right. For example, modeling techniques can describe interaction objects, 5 tasks, 6 and lower-level dialogs in user interfaces. 7 For more than 10 years, researchers have tried to build comprehensive interface development environments that integrate models for describing a user interface's different aspects. Many research pro...

The definition of the semantics of visual languages, in particular Unified Modeling Language (UML) diagrams, using graph formalism has known a wide success, since graphs fit the multi-dimensional nature of this kind of language. However, constraints written in Object Constraint Language (OCL) and defined on these models are still not well integrated within this graph-based semantics. In this ch...

The Extend modeling environment provides an integrated structure for building simulation models and developing new simulation tools. This environment supports simulation modelers on a wide range of levels. Model builders can use Extend’s pre-built modeling components to quickly build and analyze systems without programming. Simulation tool developers can use Extend’s built-in, compiled language...

As to traditional n-gram model, smaller n value is an inherent defect for estimating language probabilities in speech recognition, simply because that estimation could not be executed over farther word association but by means of short sequential word correlated information. This has an strong effect on the performance of speech recognition. This paper introduces an integrated language modeling...

The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple view models used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive, in the sense that they ...