Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software development, industrially supported by standards, tools, and the status of a new "silver bullet". Surprisingly, categorical patterns turn out to be directly applicable to mathematical modeling of structures appearing in everyday MDE practice. Model merging, transformation, synchronization, and other important model management scenarios can be seen as executions of categorical specifications. Moreover, the paper aims to elucidate a claim that relationships between CT and MDE are more complex and richer than is normally assumed for "applied mathematics". CT provides a toolbox of design patterns and structural principles of real practical value for MDE. We will present examples of how an elementary categorical arrangement of a model management scenario reveals deficiencies in the architecture of modern tools automating the scenario.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Making up for the deficit in a marathon run

To predict the final result of an athlete in a marathon run thoroughly is the eternal desire of each trainer. Usually, the achieved result is weaker than the predicted one due to the objective (e.g., environmental conditions) as well as subjective factors (e.g., athlete's malaise). Therefore, making up for the deficit between predicted and achieved results is the main ingredient of the analysis performed by trainers after the competition. In the analysis, they search for parts of a marathon course where the athlete lost time. This paper proposes an automatic making up for the deficit by using a Differential Evolution algorithm. In this case study, the results that were obtained by a wearable sports-watch by an athlete in a real marathon are analyzed. The first experiments with Differential Evolution show the possibility of using this method in the future.Comment: ISMSI 201

Perturbations in a coupled scalar field cosmology

I analyze the density perturbations in a cosmological model with a scalar field coupled to ordinary matter, such as one obtains in string theory and in conformally transformed scalar-tensor theories. The spectrum of multipoles on the last scattering surface and the power spectrum at the present are compared with observations to derive bounds on the coupling constant and on the exponential potential slope. It is found that the acoustic peaks and the power spectrum are strongly sensitive to the model parameters. The models that best fit the galaxy spectrum and satisfy the cluster abundance test have energy density $\Omega_{\phi}\simeq 0.1$ and a scale factor expansion law $a\sim t^{p}, p\simeq 0.68$.Comment: 13 pages, 9 figures, minor revision, now figures are embedded in tex

A Minimal Model of Metabolism Based Chemotaxis

Since the pioneering work by Julius Adler in the 1960's, bacterial chemotaxis has been predominantly studied as metabolism-independent. All available simulation models of bacterial chemotaxis endorse this assumption. Recent studies have shown, however, that many metabolism-dependent chemotactic patterns occur in bacteria. We hereby present the simplest artificial protocell model capable of performing metabolism-based chemotaxis. The model serves as a proof of concept to show how even the simplest metabolism can sustain chemotactic patterns of varying sophistication. It also reproduces a set of phenomena that have recently attracted attention on bacterial chemotaxis and provides insights about alternative mechanisms that could instantiate them. We conclude that relaxing the metabolism-independent assumption provides important theoretical advances, forces us to rethink some established pre-conceptions and may help us better understand unexplored and poorly understood aspects of bacterial chemotaxis