MODA 2013 Abstracts


Full Papers
Paper Nr: 3
Title:

Development of Adaptive Multi-cloud Applications - A Model-Driven Approach

Authors:

Javier Miranda, Joaquín Guillén, Juan Manuel Murillo and Carlos Canal

Abstract: Cloud computing is a new paradigm that allows users to access computing resources in a dynamic, flexible and scalable manner. It has drawn the interest of multiple users, and in a short period of time it has experienced a notorious hype. However, its numerous strengths are mitigated by the lack of standardization which the technology suffers from. Different cloud vendors provide and manage similar resources in a different manner, thereby coupling the application to its targeted cloud. Companies that consume cloud services are locked-in to a single cloud vendor due to the high costs of migrating software in the cloud, preventing them from changing their cloud provider or having multiple providers. In this paper we explore a solution to the cloud vendor lock-in problem based on the use of model-driven engineering and software adaptation techniques. The proposed solution is both cloud vendor and user friendly as it allows the former to freely define their own cloud policies, whilst users continue to be free to choose a cloud provider, even after the application has been developed.

Paper Nr: 4
Title:

Model Driven Engineering of Cross-Layer Monitoring and Adaptation

Authors:

Hui Song, Amit Raj, Saeed Hajebi, Siobhán Clarke and Aidan Clarke

Abstract: Monitoring and adaptation of multilayer systems are challenging, because the mismatches and adaptations are interrelated across the layers. This interrelation introduces two import but difficult questions. 1) When a system change causes mismatches in one layer, how to identify all the cascaded mismatches on the other layers? 2) When an adaptation is performed at one layer, how to find out all the complementary adaptations required in other layers. This paper presents a model-driven engineering approach towards cross-layer monitoring and adaption of multilayer systems. We provide standard meta-modeling languages for system experts to specify the concepts and constraints separately on each of the layers, and specify the relation between the concepts from different layers. An automated engine uses these meta-level specifications to 1) represent the system states on each layer as a runtime model, 2) evaluate the constraints to detect mismatches and assist adaptations within a layer, and 3) synchronize the models to identify cascaded mismatches and complementary adaptations across the layers. We illustrate the approach on a simulated crisis management system, and are using it on a number of ongoing projects.

Paper Nr: 7
Title:

High Level Design of Adaptive Real-time Embedded Systems - A Survey

Authors:

Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor and Mohamed Abid

Abstract: Real time embedded systems (RTES) know a growing complexity due to modern applications requirements and architectures complexity especially with the addition of the multiprocessor feature. They are equally subject to a variety of constraints due to their mobility. They need to react to environment variability, resource limitations and timing constraints. An emergent solution to deal with this complexity is the integration of adaptation strategies in embedded systems design flow. The design space of multi-layer adaptation decisions is becoming increasingly vast and difficult to explore. Development of such systems at low system levels is therefore increasingly tedious especially with the limitations of computer aided design tools. Using MDE approach and the UML/MARTE profile for high abstraction level design is becoming a promising solution to ease the design of RTES. In the present paper we recall and classify existing works built around adaptive embedded systems. We concentrate on a set of criteria to help highlighting the shortages of existing approaches on modern adaptive RTES design. We focus on the design environment, adaptation features, online time constraints verification and performance assessment. Finally, we present our future works to cope with the limits of existing solutions while taking into account the observed criteria.

Paper Nr: 8
Title:

Model-based Adaptation of Cloud Computing Applications

Authors:

Christian Inzinger, Benjamin Satzger, Philipp Leitner, Waldemar Hummer and Schahram Dustdar

Abstract: In this paper we propose a provider-managed, model-based adaptation approach for cloud computing applications, allowing customers to easily specify application behavior goals or adaptation rules. Delegating control over corrective actions to the cloud provider will pose advantages for both, customers and providers. Customers are relieved of effort and expertise requirements necessary to build sophisticated adaptation solutions, while providers can incorporate and analyze data from a multitude of customers to improve adaptation decisions. The envisioned approach will enable increased application performance, as well as cost savings for customers, whereas providers can manage their infrastructure more efficiently.

Paper Nr: 9
Title:

Automated Throughput Optimization of Cloud Services via Model-driven Adaptation

Authors:

Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel and Antonio Vallecillo

Abstract: Cloud computing promises easy access, low entry cost and elasticity. However, elastic service provisioning is usually delivered via service replication, which must be supervised manually, hand-picking the services to replicate and ensuring their proper load balance. Automated service provisioning, i.e., the function of automatically scaling the services to cope up with their runtime demand, is a research challenge in cloud computing. In this work, we include such scalability analysis early in its development cycle, right at the design stage. We propose a model-driven approach where various QoS parameters can be simulated and analyzed using the e-Motions tool. Additionally, the model is automatically transformed to fit the given throughput requirements by replicating the services which cause the bottleneck. In order to evaluate the proposal, we present some initial experimental results run over the e-Motions tool.