Role-Modeling in Round-Trip Engineering for Megamodels

Software is becoming more and more part of our daily life and makes it easier, e.g., in the areas of communication and infrastructure. Model-driven software development forms the basis for the development of software through the use and combination of different models, which serve as central artifacts in the software development process. In this respect, model-driven software development comprises the process from requirement analysis through design to software implementation. This set of models with their relationships to each other forms a so-called megamodel. Due to the overlapping of the models, inconsistencies occur between the models, which must be removed. Therefore, round-trip engineering is a mechanism for synchronizing models and is the foundation for ensuring consistency between models. Most of the current approaches in this area, however, work with outdated batch-oriented transformation mechanisms, which no longer meet the requirements of more complex, long-living, and ever-changing software. In addition, the creation of megamodels is time-consuming and complex, and they represent unmanageable constructs for a single user. The aim of this thesis is to create a megamodel by means of easy-to-learn mechanisms and to achieve its consistency by removing redundancy on the one hand and by incrementally managing consistency relationships on the other hand. In addition, views must be created on the parts of the megamodel to extract them across internal model boundaries. To achieve these goals, the role concept of Kühn in 2014 is used in the context of model-driven software development, which was developed in the Research Training Group 'Role-based Software Infrastructures for continuous-context-sensitive Systems.' A contribution of this work is a role-based single underlying model approach, which enables the generation of views on heterogeneous models. Besides, an approach for the synchronization of different models has been developed, which enables the role-based single underlying model approach to be extended by new models. The combination of these two approaches creates a runtime-adaptive megamodel approach that can be used in model-driven software development. The resulting approaches will be evaluated based on an example from the literature, which covers all areas of the work. In addition, the model synchronization approach will be evaluated in connection with the Transformation Tool Contest Case from 2019

A Generic Language for Query and Viewtype Generation By-Example

In model-driven engineering, powerful query/view languages exist to compute result sets/views from underlying models. However, to use these languages effectively, one must understand the query/view language concepts as well as the underlying models and metamodels structures. Consequently, it is a challenge for domain experts to create queries/views due to the lack of knowledge about the computer-internal abstract representation of models and metamodels. To better support domain experts in the query/view creation, the goal of this paper is the presentation of a generic concept to specify queries/views on models without requiring deep knowledge on the realization of modeling languages. The proposed concept is agnostic to specific modeling languages and allows the query/view generation by-example with a simple mechanism for filtering model elements. Based on this generic concept, a generic query/view language is proposed that uses role-oriented modeling for its non-intrusive application for specific modeling languages. The proposed language is demonstrated based on the role-based single underlying model (RSUM) approach for AutomationML to create queries/views by-example, and subsequently, associated viewtypes to modify the result set or view

A unifying Petri net model of non-interference and non-deducibility information flow security

In this paper we introduce FIFO Information Flow Nets (FIFN) as a model for describing information flow security properties. The FIFN is based on Petri nets and has been derived from the work described in [Var89], [Var90] and [Rou86]. Using this new model, we present the information flow security properties Non-Interference between Places (which corresponds to Non-Interference) and Non-Deducibility on Views (which corresponds to Non-Deducibility on Inputs). Then we consider a very general composition operation and show that neither Non-Interference on Places nor Non-Deducibility on Views is preserved under this composition operation. This leads us to a new definition of information flow security referred to as the Feedback Non-Deducibility on Views. We then show that this definition is preserved under the composition operation. This leads us to a new definition of information flow security referred to as the Feedback Non-Deducibility on Views. We then show that this definition is preserved under the composition operation. We then show some similarities between this property and the notion of Non-Deducibility on Strategies

Incentive Design for Direct Load Control Programs

We study the problem of optimal incentive design for voluntary participation of electricity customers in a Direct Load Scheduling (DLS) program, a new form of Direct Load Control (DLC) based on a three way communication protocol between customers, embedded controls in flexible appliances, and the central entity in charge of the program. Participation decisions are made in real-time on an event-based basis, with every customer that needs to use a flexible appliance considering whether to join the program given current incentives. Customers have different interpretations of the level of risk associated with committing to pass over the control over the consumption schedule of their devices to an operator, and these risk levels are only privately known. The operator maximizes his expected profit of operating the DLS program by posting the right participation incentives for different appliance types, in a publicly available and dynamically updated table. Customers are then faced with the dynamic decision making problem of whether to take the incentives and participate or not. We define an optimization framework to determine the profit-maximizing incentives for the operator. In doing so, we also investigate the utility that the operator expects to gain from recruiting different types of devices. These utilities also provide an upper-bound on the benefits that can be attained from any type of demand response program.Comment: 51st Annual Allerton Conference on Communication, Control, and Computing, 201

Pygmies, Giants, and Skins

Understanding the equation of state (EOS) of neutron-rich matter is a central goal of nuclear physics that cuts across a variety of disciplines. Indeed, the limits of nuclear existence, the collision of energetic heavy ions, the structure of neutron stars, and the dynamics of core-collapse supernova all depend critically on the nuclear-matter EOS. In this contribution I focus on the EOS of cold baryonic matter with special emphasis on its impact on the structure, dynamics, and composition of neutron stars. In particular, I discuss how laboratory experiments on neutron skins as well as on Pygmy and Giant resonances can help us elucidate the structure of these fascinating objects.Comment: Invited Talk given at the 11th International Conference on Nucleus-Nucleus Collisions (NN2012), San Antonio, Texas, USA, May 27-June 1, 2012. To appear in the NN2012 Proceedings in Journal of Physics: Conference Series (JPCS

Photometric properties of resolved and unresolved magnetic elements

We investigate the photometric signature of magnetic flux tubes in the solar photosphere. We developed two dimensional, static numerical models of isolated and clustered magnetic flux tubes. We investigated the emergent intensity profiles at different lines-of-sight for various spatial resolutions and opacity models. We found that both geometric and photometric properties of bright magnetic features are determined not only by the physical properties of the tube and its surroundings, but also by the particularities of the observations, including the line/continuum formation height, the spatial resolution and the image analyses techniques applied. We show that some observational results presented in the literature can be interpreted by considering bright magnetic features to be clusters of smaller elements, rather than a monolithic flux tube.Comment: 12 page

Folkecology and commons management in the Maya Lowlands

Three groups living off the same rainforest habitat manifest strikingly distinct behaviors, cognitions, and social relationships relative to the forest. Only the area's last native Maya reveal systematic awareness of ecological complexity involving animals, plants, and people and practices clearly favoring forest regeneration. Spanish-speaking immigrants prove closer to native Maya in thought, action, and social networking than do immigrant Maya. There is no overriding "local," "Indian," or "immigrant" relationship to the environment. Results indicate that exclusive concern with rational self-interest and institutional constraints do not sufficiently account for commons behavior and that cultural patterning of cognition and access to relevant information are significant predictors. Unlike traditional accounts of relations between culture, cognition, and behavior, the models offered are not synthetic interpretations of people's thoughts and behaviors but are emergent cultural patterns derived statistically from measurements of individual cognitions and behaviors.cognitive models / commons tragedy / culture consensus / social networks / sustainable agroforestry