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

An overview of decision table literature 1982-1995.

This report gives an overview of the literature on decision tables over the past 15 years. As much as possible, for each reference, an author supplied abstract, a number of keywords and a classification are provided. In some cases own comments are added. The purpose of these comments is to show where, how and why decision tables are used. The literature is classified according to application area, theoretical versus practical character, year of publication, country or origin (not necessarily country of publication) and the language of the document. After a description of the scope of the interview, classification results and the classification by topic are presented. The main body of the paper is the ordered list of publications with abstract, classification and comments.

What is Time? A New Mathematico- Physical and Information Theoretic Approach

A New Mathematico-Physical and Information Theoretic Approach Examination of the available hard core information to firm up the process of unification of quantum and gravitational physics leads to the conclusion that for achieving this synthesis, major paradigm shifts are needed as also the answering of `What is Time?' The object of this submission is to point out the means of achieving such a grand synthesis. Currently the main pillars supporting the edifice of physics are: (i) The geometrical concepts of space- time-gravitation, (ii) The dynamic concepts involving quantum of action, (iii) Statistical thermodynamic concepts, heat and entropy, (iv) Mathematical concepts, tools and techniques serving both as a grand plan and the means of calculation and last but not least v)Controlled observation, pertinent experimentation as the final arbiter. In making major changes the author is following Dirac's dictum "....make changes without sacrificing the existing superstructure". It is shown that time can be treated as a parameter rather than an additional dimension. A new entity called "Ekon" having the properties of both space and momentum is introduced along with a space called "Chalachala". The requisite connection with Einstein's formulation and mathematical aperatus required have been formulated which is highly suited for the purpose. The primacy of the Plancks quantum of action and its representation geometrically as a twist is introduced. The practical and numerical estimates have been made and applied to evaluation of the gravitational constant in a a seperate submission "Estimations of gravitational constant from CMBR data".Comment: 29 pages, pdf fil

GLC actors, artificial chemical connectomes, topological issues and knots

Based on graphic lambda calculus, we propose a program for a new model of asynchronous distributed computing, inspired from Hewitt Actor Model, as well as several investigation paths, concerning how one may graft lambda calculus and knot diagrammatics

Is nature OO?

What exists "out there"? What does "doing physics" mean? What are the axiomatic ideas for microphysics? What is a particle? What is an apparatus made of? We show that Quantum Mechanics textbooks cannot truly answer this kind of question whereas they should. By adopting a pure "hitological" point of view for microphysics, we introduce the Hit in Apparatuses Theory (HAT) and the Vacuum of Apparatuses (VA) that restore, through Object Orientation (OO), an intuitive ontology to deal with this kind of physics. Through a review of what it means to "observe" and what relativism means in Special and General Relativities (SR and GR), we address the problem of finding common maths for GR and QM. Finally, with our new HAT, we address the measurement problem in QM and propose two possible approaches.Comment: 26 page

THE DEEP STRUCTURE OF AN ENNOVATTVE ACCOUNTING INFORMATION SYSTEM

For centuries accounting was the only formal information system in existence for business enterprises. Now accounting is often only a small part of an integrated information system. While numerous attempts have been made to clarify the exact structure of accounting, they have all been encumbered by past traditions that, while optimal under manual methods, did not do justice to accounting in a database environment. This paper shows how an informal model of accounting as movement of sand in a sandbox can be mapped to an ontologically complete financial accounting information system. Finally, the new model is contrasted with three competing models, and its implications for design and use of accounting information systems are discussed

Geometric Modeling of Cellular Materials for Additive Manufacturing in Biomedical Field: A Review

Advances in additive manufacturing technologies facilitate the fabrication of cellular materials that have tailored functional characteristics. The application of solid freeform fabrication techniques is especially exploited in designing scaffolds for tissue engineering. In this review, firstly, a classification of cellular materials from a geometric point of view is proposed; then, the main approaches on geometric modeling of cellular materials are discussed. Finally, an investigation on porous scaffolds fabricated by additive manufacturing technologies is pointed out. Perspectives in geometric modeling of scaffolds for tissue engineering are also proposed

FollowMe: A Bigraphical Approach

In this paper we illustrate the use of modelling techniques using bigraphs to specify and refine elementary aspects of the FollowMe framework. This framework provides the seamless migration of bi-directional user interfaces for users as they navigate between zones within an intelligent environment