Configuration management for models : generic methods for model comparison and model co-evolution

It is an undeniable fact that software plays an important role in our lives. We use the software to play our music, to check our e-mail, or even to help us drive our car. Thus, the quality of software directly influences the quality of our lives. However, the traditional Software Engineering paradigm is not able to cope with the increasing demands in quantity and quality of produced software. Thus, a new paradigm of Model Driven Software Engineering (MDSE) is quickly gaining ground. MDSE promises to solve some of the problems of traditional Software Engineering (SE) by raising the level of abstraction. Thus, MDSE proposes the use of models and model transformations, instead of textual program files used in traditional SE, as means of producing software. The models are usually graph-based, and are built by using graphical notations – i.e. the models are represented diagrammatically. The advantages of using graphical models over text files are numerous, for example it is usually easier to deduce the relations between different model elements in their diagrammatic form, thus reducing the possibility of defects during the production of the software. Furthermore, formal model transformations can be used to produce different kinds of artifacts from models in all stages of software production. For example, artifacts that can be used as input for model checkers or simulation tools can be produced. This enables the checking or simulation of software products in the early phases of development, which further reduces the probability of defects in the final software product. However, methods and techniques to support MDSE are still not mature enough. In particular methods and techniques for model configuration management (MCM) are still in development, and no generic MCM system exists. In this thesis, I describe my research which was focused on developing methods and techniques to support generic model configuration management. In particular, during my research, I focused on developing methods and techniques for supporting model evolution and model co-evolution. Described methods and techniques are generic and are suitable for a state-based approach to model configuration management. In order to support the model evolution, I developed methods for the representation, calculation, and visualization of state-based model differences. Unlike in previously published research, where these three aspects of model differences are dealt with in separation, in my research all these three aspects are integrated. Thus, the result of model differences calculation algorithm is in the format which is described by my research on model differences representation. The same representation format of model differences is used as a basis of my approach to differences visualization. It is important to notice that the developed representation format for model differences is metamodel independent, and thus is generic, i.e., it can be used to represent differences between all graph-based models. Model co-evolution is a term that describes the problem of adapting models when their metamodels evolve. My solution to this problem has three steps. In the first step a special metamodel MMfMM is introduced. Unlike in traditional approaches, where metamodels are represented as instances of a metametamodel, in my approach the metamodels are represented by models which are instances of an MMfMM. In the second step, since metamodels are represented by models, previously defined methods and techniques for model evolution are reused to represent and calculate the metamodel differences. In the final step I define an algorithm that uses the calculated metamodel differences to adapt models conforming to the evolved metamodel. In order to validate my approaches to model evolution and model co-evolution, I have developed a tool for comparing models and visualizing resulting differences, and a tool for model co-evolution. Moreover, I have developed a method to compare tools for model comparison, and using this method I have conducted a series of experiments in which I compared the tool I developed to an industrial tool called EMFCompare. The results of these experiments are also presented in the thesis. Furthermore, in order to validate my tool and approach to model co-evolution, I have also specified and conducted several experiments. The results of these experiments are also presented in the thesis

The Twenty-Frist Century Pantagruel: The Function of Grotesque Aesthetics in the Contemporary World

This dissertation examines whether the grotesque, an aesthetic form associated with the carnivalesque literary mode and commonly seen as aesthetically and politically subversive, can resume its function within the contemporary context in which carnivalisation of everyday life is a frequently noted aspect of capitalist culture. Locating as its primary image the human body in the process of often-violent deformation, this study explores this problem by theorising the grotesque as Janus-faced: existing on the boundary between the Symbolic and the Real. As such, I argue that the grotesque is: a) deeply related to cultural attempts to challenge hegemonic structures, even as these challenges become themselves implicated in the power structures they oppose (Chapters 1, 2, and 3); and b) a concept that reveals the realm of the Real as independent of human consciousness while also being of profound interest for this consciousness and the subjectivity which it underpins (Chapters 3 and 4). In outlining this argument, this study deploys the theories of Gilles Deleuze, Slavoj Žižek, and Alain Badiou, as well as the work of Jacques Rancière, Henri Lefebvre, Thomas Metzinger, Catherine Malabou, Quentin Meillassoux, and Ray Brassier. It, furthermore, works its way backwards from the Anglo-American cultural scene of the late 1990s and early 2000s (Sarah Kane’s Cleansed and Quentin Tarantino’s Inglourious Basterds), through elaborations of punk anti-Thatcherite London(s) of the late 1970s/early 1980s (Peter Ackroyd’s Hawksmoor, Alan Moore and Eddie Campbell’s From Hell, and Iain Sinclair White Chappell, Scarlet Tracings), to post-1968 attempts to reinvigorate a progressive vision of the USA and write it (back) into existence through Gonzo autobiography and journalism (Oscar Zeta Acosta’s The Revolt of the Cockroach People and The Autobiography of a Brown Buffalo, and Hunter S. Thompson’s Fear and Loathing in Las Vegas). In this way, the argument of this work tries to find a path – through a deformed human body in works of literature, film, and comics – toward a non-human world that can be deployed in the service of a progressive political vision, even while the autonomy of this non-human world is recognised

Locally unique labeling of model elements for state-based model differences

Model versioning occupies a central position in model configuration management systems, which are considered integral ingredients in every large model driven engineering project. There are two major approaches in describing versions of models: the state-based approach and the change (operation) based approach. In both cases, the differences between two different versions of a model are called model differences. We focus on the state-based approach to versioning and show that in this case the model differences require a locally unique labeling for all model elements. Next, we specify a generic method for assigning unique labels to all model elements in versioned models. We also show that the described labeling method is also applicable to ambiguous models, i.e. models which contain structurally identical elements having the same parent element. The main application area of the presented method is the process of calculating model differences in case that modeling tools do not assign unique identifiers to all model elements

Croatia's rural areas - renewable energy based electricity generation for isolated grids

Several Western Balkan states face the consequences of the Yugoslavian war, which left hometowns with dilapidated electricity grid connections, a high average age of power plant capacities and low integration of renewable energy sources, grid bottlenecks and a lack of competition. In order to supply all households with electricity, UNDP Croatia did a research on decentralized supply systems based on renewable energy sources. Decentralized supply systems offer cheaper electricity connections and provide faster support to rural development. This paper proposes a developed methodology to financially compare isolated grid solutions that primarily use renewable energies to an extension of the public electricity network to small regions in Croatia. Isolated grid supply proves to be very often a preferable option. Furthermore, it points out the lack of a reliable evaluation of non-monetizable aspects and promotes a new interdisciplinary approach

WK-FNN DESIGN FOR DETECTION OF ANOMALIES IN THE COMPUTER NETWORK TRAFFIC

Anomaly-based intrusion detection systems identify abnormal computer network traffic based on deviations from the derived statistical model that describes the normal network behavior. The basic problem with anomaly detection is deciding what is considered normal. Supervised machine learning can be viewed as binary classification, since models are trained and tested on a data set containing a binary label to detect anomalies. Weighted k-Nearest Neighbor and Feedforward Neural Network are high-precision classifiers for decision-making. However, their decisions sometimes differ. In this paper, we present a WK-FNN hybrid model for the detection of the opposite decisions. It is shown that results can be improved with the xor bitwise operation. The sum of the binary “ones” is used to decide whether additional alerts are activated or not

Cognitive and behavioral improvement in adults with fragile X syndrome treated with metformin-two cases.

BackgroundThe majority of individuals with fragile X syndrome (FXS) have intellectual disability, behavioral problems, autism, and language deficits. IQ typically declines with age in boys with the full mutation. The results of preclinical studies demonstrated that metformin, a biguanide used to treat type 2 diabetes, rescues multiple phenotypes of FXS in both Drosophila and mouse models. Preliminary studies of patients with FXS demonstrated improvements in behavior.MethodsHere, we present two cases of individuals who have been treated with metformin clinically for one year.ResultsBoth patients demonstrated significant cognitive and behavioral improvements. They also improved eating habits and normalization of their weight percentiles.ConclusionMetformin may be a candidate drug for treatment of several types of symptoms in individuals with FXS

A Structural Theorems for (m; n)-quasi-ideal Semigroups

The definition of (m; n)-ideal and (m; n)-quasi-ideal on emigroup is given in [3]. They have been studied in many papers, recently in papers [4], [5] and [6]. In this paper we introduce the notion of (m; n)-quasi-ideal semigroup and consider some general properties of this class of semigroups.Also, we introduce the notion of an (m; n)-duo quasi-ideal semigroup and give their a structural description

RCVDiff - a stand-alone tool for representation, calculation and visualization of model differences

In model comparison one can distinguish three major sub- problems: representation, calculation, and visualization of model di¿erences. Existing stand-alone tools for managing model di¿erences usually focus on one or sometimes two as- pects of model comparison. In this paper we discuss our stand-alone tool calledRCVDi¿, that incorporates all three aspects of model comparison. Furthermore, we comment on some issues in the process of model comparison that are not easily perceived if the three aspects of model comparison are considered independently

Version control of graphs

NO ABSTRAC