We describe how we use Lustre to build global and accurate executable models of energy consumption in sensor networks, intended to be used for both simulations and formal validation. One of the key ideas is to build a component-based global model, in such a way that various abstractions of the same model can be derived by unplugging a component and plugging a more abstract (or more detailed) on...

Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language unifies and generalizes previous objectoriented modeling languages. The Modelica modeling language and technology is being warmly received by the world community in modeling and simulation. It is bringing about a revol...

A key requirement for MDD solutions is to have a modeling language that allows the correct representation of conceptual models. Nowadays, there are two options that are the most widely used for the definition of these modeling languages: 1) the specification of a domain-specific modeling language (DSML) or 2) the customization of UML. In practice, these two modeling alternatives are viewed as o...

A mechanism to control and manage the information flow among all of the manufacturing application systems, in order to form an integrated manufacturing system, is proposed in this paper. The goal is to achieve a fully integrated manufacturing management system. The INformation System for Integrated Manufacturing (INSIM) reflects a design methodology to build a knowledge base to serve as the inf...

Thispaperpresents an approach to program comprehension in multi-language systems. Such systems are characterized by a high amount of source codes in various languages for programming, database dejkition and job control. Coping with those systems requires the references crossing the language boundaries to be analyzed. Using the EEWGRAL approach to graph-based conceptual modeling, models represen...

Existing enterprise modeling architectures can not provide effective support on expressing and reusing industrial knowledge. Industrial knowledge reuse oriented enterprise modeling for integrated management information systems (MIS) should be located between general purpose enterprise modeling and concrete enterprise application scheme, and an enterprise modeling framework for integrated MIS wh...

The development of today’s complex products requires advanced integrated environments and modeling languages for modeling and simulation. Equation-based object-oriented declarative (EOO) languages are emerging as the key approach to physical system modeling and simulation. The increased ease of use, the high abstraction and the expressivity of EOO languages are very attractive properties. Howev...

In this talk we introduce PapyrusRT, an open-source, industrial-strength model-driven development environment for real-time and embedded systems, implementing UML-RT [2,3], a UML-based language. PapyrusRT is implemented on top of Papyrus, an Eclipse modelling tool for UML, SysML, and EMF models. We describe the motivations for this project and in particular for the need of an open-source enviro...

Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific software applications for computer-based systems. MIC is a model-based approach to software development, allowing the synthesis of application programs from models created using customized, domain-specific model integrated pr...

QVT ist ein Sprachkonzept der Object Management Group zur Transformation von formalen Modellen. In diesem Beitrag werden ausgehend von einem einfachen Fachklassenmodell die zentralen Konzepte und Techniken der Transformationssprache Relations Language vorgestellt, so dass abschließend eine vollständige Transformation eines UML-Modells der PIM-Ebene in eins der PSMEbene vorgenommen werden kann. ...