Cml: A compositional modeling language

1996

Abstract This document describes a compositional modeling language, CML, which is a general declarative modeling language for logically specifying the symbolic and mathematical properties of the structure and behavior of physical systems. CML is intended to facilitate model sharing between research groups, many of which have long been using similar languages.

2006

Abstract. For a long time, one of the major research goals in the computer sci-ence research community has been to raise the level of abstraction power of specification languages/programming languages. Many specification languages and formalisms have been invented, but ...

2010

Algebraic modelling languages are recognised as an important tool in the formulation of mathematical programming problems. They facilitate the construction of models through a language that resembles mathematical notation, and offer convenient features such as ...

Simulation Practice and Theory, 1998

Very often. systems consist of subsystems which may be independently described. Object oriented modelling languages, as Dymola and Omola. allow models to be structured in independent submodels as systems are structured in subsystems. However, it is not an easy task to derive a mathematical model, suitable for simulation environments, from such a representation.

A new language called Modelica for physical modeling is developed in an international effort. The main objective is to make it easy to exchange models and model libraries. The design approach builds on noncasual modeling with true ordinary differential and algebraic equations and the use of object-oriented constructs to facilitate reuse of modeling knowledge. There are already several modeling language based on these ideas available from universities and small companies. There is also significant experience of using them in various applications. The aim of the Modelica effort is to unify the concepts and design a new uniform language for model representation. The paper describes the effort and gives an overview of Modelica.

2000

Microelectronic Systems, 2011

The modelling language Modelica has been developed by a steadily growing community since 1996. Today, it is a well-established element of the design process in several technical application areas. Fraunhofer IIS/EAS is involved in the language development from the very beginning. Research on dedicated fields like structural variability and control algorithms using Modelica as well as the development of complete packages (Modelica Standard Library, Complex and Statistics Library) are highlights of these Modelica activities. This article presents a compact overview about the variety of research results which have been achieved by the Dresden Division of Fraunhofer IIS during the last 15 years.

2015

Software engineering (SE) strives to learn from matured engineering disciplines, such as mechanical and electrical engineering (below physical engineering, PE), and MDE is an essential step in this direction. Mathematical models are fundamental for PE, but should it be so for SE? What are similarities and differences in the development and use of mathematical models in SE vs. PE? How can SE and MDE benefit from a better understanding of these similarities and differences? These questions become even more challenging when we recognize that mathematical modelling and formalisation are not identical (although closely related), and the abundance of formal models in SE may actually hide the lack of mathematical models with all its negative (but perhaps negligible?) consequences. Questions above are seldom discussed in the MDE literature, but we believe they deserve a special attention. The MMMDE Workshop aims at gathering together MDE experts who are concerned with developing mathematica...

2017

Emergence of heterogeneous engineering domains that cross disciplinary boundaries lead to design flows that span multiple Domain Specific Modeling Languages (DSML). Analyzing system level behavior and pursuing cross-domain trade-offs requires the semantic integration of modeling domains. Driven by the specific needs of and our experience with design automation tool suites for Cyber-Physical Systems (CPS), this paper focuses on using model integration languages as a flexible way for modeling cross-domain interactions. The primary challenge in specifying and supporting model integration languages is that both rapid evolvability and semantic precision are required. This challenge is mapped into a metalevel model integration problem, the integration of a metamodeling language used for specifying DSMLs and configuring the underlying meta-programmable modeling tool WebGME, and a formal framework that uses algebraic data types and Constraint Logic Programming-Formula-devoted to formally specifying the semantics of DSMLs and model transformations. The primary contribution of the paper is the deep semantic integration of WebGME and Formula that keep the engineering view of an evolving model integration language and its formal representation tightly synchronized.