90 research outputs found
My Recollections of Serguei Shimorin
No full textThe author shares his personal reminiscences of Serguei Shimorin.</p
Modular software architecture for a large complex codebase
No full textA large and complex codebase is evolving. Maintenance and change management become big problems. A more modular architecture is needed to improve maintainability. One of the improvement areas of the existing codebase is that, although it is divided into several building blocks, these building blocks are too intertwined. This report describes the approach of identifying the problems. It also gives the visualization to show how the code is intertwined. Besides providing problem analysis, the report also explains the solution de-sign and the implementation to solve the problems. Moreover, future works are also ad-dressed as recommendations, such as a way of working to prevent the problems from happening again and guidelines to understand the building blocks itself
A test generator for model-based testing
No full textThe idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing. The models should be different from implementation and possess the observational consistency allowing preservation behaviour of parts in the behaviour of the whole. The models need to be built into a tool for preparation of the model and data for test generation. This paper proposes to use protocol models for model based testing. A protocol model presents the external behaviour. Unlike other modelling approaches, the Protocol Modelling semantics incorporates data into the model. This property gives us advantages for the choice of the strategy of test generation. The main contribution of the paper is a combination of algorithms for test generating from a protocol model. The preparation of a protocol model for test generation and the results of test generation are illustrated with an example
On Growth and Income Distribution in a Globalizing World
No full textThe basic idea explaining the relationship between economic growth and income distribution is the “U- shaped hypothesis” postulated by Simon Kuznets. This can be shown in a dual-economy model with technical progress. Initially, inequality is low, but as labour participation in the modern sector increases, higher wages in this sector tend to increase inequality. However, if enough labour is incorporated in the modern sector, wage inequality begins to diminish. Income inequality continues to worsen between the two sectors, if a new modern economy (e.g. IT-based technical change) is introduced and potential GDP shifts to a new trajectory before the turning point is reached. In a globalised word, the substantial unskilled-labour-saving technical progress puts pressure on wages of unskilled workers (in industrialized countries). Also, globalization may be blamed for leaving many nations and millions of people out from reaping the benefits of globalization. This problem can only be overcome by appropriate reforms of the international economic system.Economic Growth, Income Distribution, Globalization
Implementation of decision modules
No full textSeparation of concerns can have different forms. The well accepted concern is an object behavior usually specified as a life cycle module. In this paper, we define another type of concern, a decision module, and identify it in requirements and models. Separation of decision modules in programs may improve traceability of requirements and simplify code analysis. We present the results of our experiments with implementation of decision modules. We implement the modules using object composition, reflection, the publisher-subscriber design pattern and aspects. We present the possibilities of different implementation forms and illustrate our observations of pros and cons with an example of a document submission system. Keywords: Decision Module, Requirement, Model, Program, Protocol Contract
Model as a Service : Towards a Discovery Platform for Internet of Food
No full textThe Internet of Food (INoF) consortium, which is part of Sustainable Food Initiative (SFI), aims to address the future food safety challenges using engineering solutions to make the production process more efficient and sustainable. Inter-organization collaboration can stimulate fast innovation and sustainable research processes by significantly reducing data loss as well as miscommunication. Such collaboration requires an appropriate digital infrastructure that can maintain interoperability among diverse data formats from different sources. This infrastructure should also be able to facilitate sharing of data and services without companies having to share IP (Intellectual Property) or replicate corresponding execution environments. As part of the INoF, this project aims to develop a prototype for such infrastructure and set up a baseline for building an effective model discovery platform. In this context, models are computational units that can provide insights into food products. Having access to results from more models, companies can make better decisions and speed up product development. During this project, a microservice based architecture was de-signed and a prototype was developed that exploited the idea of Model as a Service (MaaS). It has the functionality to offer models in the form of web services allowing organizations other than the owner of the models to use them. For achieving interoperability among different data sources in the context of this project, functionalities, such as dynamic model parameter mapping and on-demand unit conversion, were implemented into this prototype. After execution, results from several models belonging to different organizations can also be viewed through this platform. One of the major goals of this project was to demonstrate the benefits and possibilities of sharing model results to attract further collab-oration. Therefore, several INoF partners were closely involved in this project. The MaaS prototype was also demonstrated to all the INoF partners and earned quite a few appreciations
- …
