MODELS

The [email protected] (MRT) workshop series offers a discussion forum for the rising need to leverage modeling techniques for the software of the future. The main goals are to explore the benefits of [email protected] and to foster collaboration and cross-...

The strength of goal models is their ability to assess candidate solutions against high level criteria for many stakeholders, allowing system-wide trade-offs to be performed. We argue that, in a context-aware system, reasoning based on goal models can ...

The combination of domain-specific modeling languages and model-driven engineering techniques hold the promise of a breakthrough in the way applications are developed. By raising the level of abstraction and specializing in building blocks that are ...

Pervasive environments are characterised by highly heterogeneous services and mobile devices with dynamic availability. Approaches such as that proposed by the Connect project provide means to enable such systems to be discovered and composed, through ...

Graphical User Interface (GUI) is a common feature for modern software systems, while there are still many legacy systems that do not have GUIs, but only provide text and commands for user interaction. In this paper, we report our experiment on using ...

In this paper we propose an approach to integrate the use of time-related stochastic properties in a continuous design process based on models at runtime. Time-related specification of services are an important aspect of component-based architectures, ...

Engineering self-adaptive systems is a particularly challenging problem. On the one hand, it is hard to develop the right control model that drives the adaptation; on the other hand, the implementation and integration of this control model into the ...

Our approach allows a developer to verify whether a model corresponds to a concrete implementation in terms of the JVM (Java Virtual Machine) by validating assumptions about model structure and behavior. In previous work, we focused on (a) the ...

With the introduction of fUML, an OMG standard defining the operational semantics of a subset of UML and the conforming virtual machine, UML models can be used not only for informal design sketching but also for completely building executable systems. ...

One of the main goals of model-driven engineering (MDE) is the manipulation of models as exclusive software artifacts. Model execution is in particular a means to substitute models for code. On another way, MDE is a promising discipline for building ...

Interoperability is a key challenge in modern systems composed of heterogeneous and rapidly changing networked sub-systems. Because such systems evolve over time, automated run-time solutions appear to be the best way for interoperability with ...

Structural consistency is crucial in [email protected]. Since the designer is usually not around at run time the running system needs to be able to detect and resolve inconsistencies automatically. This requires means to formally express consistency ...