XRound : A reversible template language and its application in model-based security analysis

Successful analysis of the models used in Model-Driven Development requires the ability to synthesise the results of analysis and automatically integrate these results with the models themselves. This paper presents a reversible template language called XRound which supports round-trip transformations between models and the logic used to encode system properties. A template processor that supports the language is described, and the use of the template language is illustrated by its application in an analysis workbench, designed to support analysis of security properties of UML and MOF-based models. As a result of using reversible templates, it is possible to seamlessly and automatically integrate the results of a security analysis with a model. (C) 2008 Elsevier B.V. All rights reserved

Strengthening MDA by Drawing from the Living Systems Theory

OMGs Model Driven Architecture initiative comes at a time where information system builders and integrators have realized that application design and thus application interoperability is not primarily a technology issue but is about understanding different types of systems, involving different professional and scientific disciplines. Understanding requires thinking and thinking is modeling. Hence, MDA provides a framework for modeling systems, especially those systems that are relevant in the context of IT-system integration within and across company boundaries. However, model correspondence, i.e., relations and transformations among models and views in a consistent way, presents a challenging problem for MDA. Bridging of disciplines was also a key motivation for the systems science communities, and in particular for the life sciences. A widely accepted theory about all living systems was developed by J. G. Miller the Living Systems Theory. His theory is striking because the basic concepts and principles are applicable at all levels, i.e., for all types of livings systems, from a cell to a supranational organization. The Living Systems Theory thus provides a good basis for consistently relating different systems and different views. In this paper, we will show how the living systems theory can be used to go about the problem of model correspondences. In particular, we suggest that MDA explicitly use the notions of a model reality with organizational levels based on a modeling ontology that is derived from the living systems theory

Software Engineering Timeline: major areas of interest and multidisciplinary trends

Ingeniería del software. EvolucionSociety today cannot run without software and by extension, without Software Engineering. Since this discipline emerged in 1968, practitioners have learned valuable lessons that have contributed to current practices. Some have become outdated but many are still relevant and widely used. From the personal and incomplete perspective of the authors, this paper not only reviews the major milestones and areas of interest in the Software Engineering timeline helping software engineers to appreciate the state of things, but also tries to give some insights into the trends that this complex engineering will see in the near future

Integration of ontologies with decentralized autonomous organizations development: A systematic literature review

This paper presents a systematic literature review of the integration of ontologies into the Decentralized Autonomous Organization (DAO) development process. The review extracted data from 34 primary studies dealing with ontologies in the blockchain domain. DAO has become a key concept for the development of blockchain-based decentralized software systems. DAOs are seen as a positive alternative for organizations interested in the adoption of decentralized, reliable and transparent governance, as well as attracting the interest of academic research. However, there is no common understanding or generally accepted formal definition of a DAO, and the guidelines that provide support for the adoption and development of DAOs are limited to a few key references that lack the computational semantics needed to enable their automated validation, simulation or execution. Thus, the objective of this paper is to provide an unbiased and up-to-date review related to the integration of ontologies within DAOs which helps to identify new research opportunities and take advantage of this integration from a blockchain-based decentralized perspective

Fostering growth in CEE countries: a country-tailored approach to growth policy

This paper analyses the long term growth experiences of the eastern European accession countries and the effect of various tailored growth policies. We find that there are two overarching growth-enhancing policies that can substantially increase long-term growth: competition and the quality of education. We find empirical evidence that if accession countries from the transition region want to achieve – and sustain – higher growth rates they will need to ensure competition by continuing to remove entry and trade barriers and by strengthening competition agencies. We also find evidence on the positive long-run impact of quality of education on growth, and hence the high return on public investment in education, particularly at the primary and secondary level. The private sector’s role in overcoming skill mismatches will benefit from deepening financial intermediation and reducing constraints in access to finance.