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

Model Pengelolaan Kelas Rangkap (PKR) Untuk Sekolah Dasar Yang Mengalami Kekurangan Guru Di Daerah Perbatasan Atau Terpencil Di Provinsi Kalimantan Timur

On the issue of distribution of teachers, for example, we have not been able to spread evenly elementary teachers in remote homeland. In fact, the number of primary school teachers as a whole are not including less. As a result, there was a shortage of teachers locally everywhere, especially in the small, difficult and remote. On the issue of disparity in quality, basil learn the average elementary school student in the big cities are generally much higher than their counterparts in remote areas. Perhaps a more appropriate blamed is because we have not found the proper techniques to perform Duplicate Classroom Management (PKR). Understanding the nature or essence of PKR, PKR is expected to no longer regard as a difficult problem to overcome. In contrast, the self will grow understanding that PKR is a definite challenge to overcome. The purpose of this study was to determine how the management class for Elementary School Teachers Experiencing Shortage of the Frontier or Remote province of East Kalimantan that occurred during this time, to find out what happened to the problem of learning patterns that have been implemented in elementary schools Experiencing Shortage Teachers in the Frontier or Remote East Kalimantan Province and develop a model to solve the problems that occurred in the study that had been conducted at the Primary School Teachers Experiencing Shortage of the Frontier or Remote Kalimantan Timur.Model development modeled after Dick & Carey with steps to identify learning objectives, learning analysis, analysis of student characteristics, formulate learning indicators, developing test items, develop learning strategies, developing and selecting materials, designing formative evaluation and revise teaching materials. Classroom management model appropriate to deal with problems in elementary Sebatik Island due to shortage of teachers is classroom management model in the sense that 221 teachers teach two classes, two subjects in the same room. This model is considered to be appropriate to the circumstances on the island of Sebatik who have never applied for duplicate classroom management model management model 221 is a model of the simplest of the three models in the management of dual class

Signal synthesis by means of evolutionary algorithms

In this article, we investigate a procedure for generating signals with genetic algorithms. Signals are obtained from elementary patterns characterized by different degrees of freedom. These patterns are repeated and combined in order to reach specific signal shapes. The whole signal parametrization has to be determined by solving a difficult inverse problem of high dimensionality and strong multimodality. This can be carried out using evolutionary algorithms with the aim of finding all pattern configurations in the signal. The different signal synthesis schemes are evaluated, tested and applied to the generation of particular railway driving profiles

A layered framework for pattern-based ontology evolution

The challenge of ontology-driven modelling of information components is well known in both academia and industry. In this paper, we present a novel approach to deal with customisation and abstraction of ontology-based model evolution. As a result of an empirical study, we identify a layered change operator framework based on the granularity, domain-specificity and abstraction of changes. The implementation of the operator framework is supported through layered change logs. Layered change logs capture the objective of ontology changes at a higher level of granularity and support a comprehensive understanding of ontology evolution. The layered change logs are formalised using a graph-based approach. We identify the recurrent ontology change patterns from an ontology change log for their reuse. The identified patterns facilitate optimizing and improving the definition of domain-specific change patterns

A generic model of dyadic social relationships

We introduce a model of dyadic social interactions and establish its correspondence with relational models theory (RMT), a theory of human social relationships. RMT posits four elementary models of relationships governing human interactions, singly or in combination: Communal Sharing, Authority Ranking, Equality Matching, and Market Pricing. To these are added the limiting cases of asocial and null interactions, whereby people do not coordinate with reference to any shared principle. Our model is rooted in the observation that each individual in a dyadic interaction can do either the same thing as the other individual, a different thing or nothing at all. To represent these three possibilities, we consider two individuals that can each act in one out of three ways toward the other: perform a social action X or Y, or alternatively do nothing. We demonstrate that the relationships generated by this model aggregate into six exhaustive and disjoint categories. We propose that four of these categories match the four relational models, while the remaining two correspond to the asocial and null interactions defined in RMT. We generalize our results to the presence of N social actions. We infer that the four relational models form an exhaustive set of all possible dyadic relationships based on social coordination. Hence, we contribute to RMT by offering an answer to the question of why there could exist just four relational models. In addition, we discuss how to use our representation to analyze data sets of dyadic social interactions, and how social actions may be valued and matched by the agents

Modelling and simulating change in reforesting mountain landscapes using a social-ecological framework

Natural reforestation of European mountain landscapes raises major environmental and societal issues. With local stakeholders in the Pyrenees National Park area (France), we studied agricultural landscape colonisation by ash (Fraxinus excelsior) to enlighten its impacts on biodiversity and other landscape functions of importance for the valley socio-economics. The study comprised an integrated assessment of land-use and land-cover change (LUCC) since the 1950s, and a scenario analysis of alternative future policy. We combined knowledge and methods from landscape ecology, land change and agricultural sciences, and a set of coordinated field studies to capture interactions and feedback in the local landscape/land-use system. Our results elicited the hierarchically-nested relationships between social and ecological processes. Agricultural change played a preeminent role in the spatial and temporal patterns of LUCC. Landscape colonisation by ash at the parcel level of organisation was merely controlled by grassland management, and in fact depended on the farmer's land management at the whole-farm level. LUCC patterns at the landscape level depended to a great extent on interactions between farm household behaviours and the spatial arrangement of landholdings within the landscape mosaic. Our results stressed the need to represent the local SES function at a fine scale to adequately capture scenarios of change in landscape functions. These findings orientated our modelling choices in the building an agent-based model for LUCC simulation (SMASH - Spatialized Multi-Agent System of landscape colonization by ASH). We discuss our method and results with reference to topical issues in interdisciplinary research into the sustainability of multifunctional landscapes

The Challenges of Developing Distributed Leadership in Scottish Primary Schools:a 'Catch 22’

This article analyses the experiences and perceptions of headteachers taking forward a distributed perspective on school leadership. It reports on research conducted in Scottish primary schools through three case studies. It draws on findings from a sequence of headteacher interviews, staff questionnaire and sociometric analysis data. The article analyses the headteacher's role within a distributed perspective. It presents and discusses key findings which suggest that headteachers are caught in a ‘catch 22’, having both an enabling and constraining effect. Implications are drawn for educational leadership at both school and system levels