Now showing items 1-10 of 14
Prototyping Component-Based Self-Adaptive Systems with Maude
(Universidad de Almería, 2012)
Software adaptation is becoming increasingly important as more and more applications need to dynamically adapt their structure and behavior to cope with changing contexts, available resources and user requirements. ...
On the Modular Specification of NFPs: A Case Study
(Sociedad de Ingeniería del Software y Tecnologías de Desarrollo del Software (SISTEDES), 2013)
The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful ...
A Domain Specific Visual Language for Modeling Power-Aware Reliability in Wireless Sensor Networks
(ACM Digital Library, 2012)
Reliability is an attribute that appears in all quality models, so it is important to take it into account when developing any kind of system. Its evaluation at latter stages of the software development may force the ...
Introducing Approximate Model Transformations
(Universidad de Cádiz, 2014)
Model transformations dealing with very large models need to count on mechanisms and tools to be able to manage them. The usual approach to improve performance in these cases has focused on the use of concurrency ...
On the Specification of Non-functional Properties of Systems by Observation
Domain specific languages play a cornerstone role in Model-Driven Engineering (MDE) for representing models and metamodels. So far, most of the MDE community efforts have focused on the specification of the functional ...
Towards Approximate Model Transformations
As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. This is required, e.g., when model transformations need to provide target models without having ...
On the Concurrent Execution of Model Transformations with Linda
(ACM Digital Library, 2013)
Nowadays there exists a wide variety of model transforma-tion languages. However, all of them present limitations, mainly performance issues, when the complexity and size of model transformations and models grow. The ...
Lightweight Testing of Communication Networks with e-Motions
This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following ...
Model-driven performance analysis of rule-based domain specific visual models
Context: Domain-Specific Visual Languages (DSVLs) play a crucial role in Model-Driven Engineering (MDE). Most DSVLs already allow the specification of the structure and behavior of systems. However, there is also an ...
TractsTool: Testing Model Transformations based on Contracts
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, ...