No abstract

No abstract

No abstract

Traditional model-driven engineering (MDE) techniques rely on a paradigm where systems are developed using tightly coupled, monolithic modeling tools. Such monolithic modeling tools address many concerns, but operate largely in isolation of one another. As system size and complexity grow to become ultra-largescale (ULS) systems, it is becoming clear that no single monolithic modeling tool can capture all the concerns of an ULS system. It is therefore essential that isolated modeling tools collaborate with each other when realizing ULS systems.This position paper presents our approach to facilitate collaboration between disparate MDE tools and their models. Our approach is based on model attributes, which are key/shared assumptions/-concerns about an ULS system, extracted from a source model and used to synchronize disparate models. Our approach is suitable for ULS systems because the independent relation created between the isolated models and the model attributes enables independent tradeoff analysis between models, decentralized development of models, and integration with inconsistent and rapidly changing models that are ideal for a particular domain or feature of a ULS system.

As mobile computing platforms become ubiquitous, the need to keep data synchronized between multiple devices becomes increasingly common. However, mobile devices have limited battery capacity, and file synchronization requires extensive use of power-hungry network interfaces. This paper introduces Syncrod, an approach for optimizing file synchronization algorithm parameters in order to minimize total energy consumption. This paper presents a formal model for describing mobile file synchronization energy consumption, and an example of fitting a general file synchronization algorithm to the provided model. Empirical results of running an energy optimization on a general file synchronization algorithm are shown to provide rapid file transfer while using near 0.003% of a standard smartphone battery energy per MB. The provided approach can be used to find the the most energy-efficient parameters for any file synchronization algorithm that can be fit into the provided formal model.