In recent years, people are trying to make consumer electronics more powerful and have started to embed chips in these products to increase intelligence. Therefore, there should be a powerful application program to control the consumer electronics. For the above reasons, a distributed real-time framework and development environment is proposed, which can be used to produce distributed real-time...

In the context of Intelligent Learning Environments (ILE), adaptivity plays a key role. In order to achieve adaptive behavior an ILE should have a rich representation of the learning context, which is defined, among others, by the learner’s characteristics, the type of the educational material, the advisory history, etc. Actually, the user model used by the system, and especially the representa...

The Object Role Modelling (ORM2) is a conceptual modelling approach combining both textual specifications and graphical language, similar to UML and ER, and adopted by Visual Studio, the integrated development environment designed by Microsoft. This paper introduces a new linear syntax and corresponding complete set-theoretic semantics for a generalization of ORM2 language. A core fragment of O...

In this paper we present an object-oriented approach and a development environment for the system-level design of run-time reconfigurable computer systems. We use the Unified Modeling Language for the specification, modeling, and visualization throughout all phases of development. We show how object-oriented applications can be implemented and executed on custom computing machines comprising ru...

In this paper we present an object-oriented approach and a development environment for the system-level design of run-time reconfigurable computer systems. We use the Unified Modeling Language for the specification, modeling, documentation, and visualization throughout all phases of development, from specification to synthesis. The proposed development approach is based on hardware-software co-...

Configuration problems are a thriving application area for declarative knowledge representation that experiences a constant increase in size and complexity of knowledge bases. A key issue in this context is the integrated support of configuration knowledge base development and maintenance. This paper presents an integrated development environment consisting of three major components, namely a d...

abstract This paper gives an overview of the modelling and simulation system MIMOSE, which consists of a model description language and an experimental frame for the simulation of models. The main purpose of the MIMOSE project was the development of a modelling language which considers special demands of modelling in social science, especially the description of nonlinear, quantitative and qual...

PRACTIONIST (PRACTIcal reasONIng sySTem) [1] is a suite of tools including (see figure 1): (i) a methodology, consisting of a UML-based modelling language (PAML) and an iterative and incremental development process, (ii) the PRACTIONIST runtime and framework (PRF), which defines and supports the execution logic and provides the builtin components according to such a logic to support the develop...

Self-managing systems will be highly dependent upon information acquired from disparate applications, devices, components and subsystems. To be effectively managed, such information will need to conform to a common model. One standard that provides a common model for describing disparate computer and network information is the Common Information Model (CIM). Although CIM defines the models nece...

In model-driven engineering (MDE), software is developed based on models which hence constitute the central artifacts in the software development process. Consequently, tools supporting MDE, such as model editors, interpreters, and debuggers are crucial in MDE. For developing such tools efficiently, modeling languages have to be defined formally. While for formally defining a modeling language’...