scholarly journals Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries

2021 ◽  
Author(s):  
Beatriz A. Sanchez ◽  
Athanasios Zolotas ◽  
Horacio Hoyos Rodriguez ◽  
Dimitris Kolovos ◽  
Richard F. Paige ◽  
...  
Keyword(s):  
Open Source ◽  
Source Model ◽  
Model Management ◽  
Management Framework ◽  
Domain Specific ◽  
Modelling Framework ◽  
Simulink Model ◽  
Alternative Approach ◽  
The Cost

AbstractOpen-source model management frameworks such as OCL and ATL tend to focus on manipulating models built atop the Eclipse Modelling Framework (EMF), a de facto standard for domain specific modelling. MATLAB Simulink is a widely used proprietary modelling framework for dynamic systems that is built atop an entirely different technical stack to EMF. To leverage the facilities of open-source model management frameworks with Simulink models, these can be transformed into an EMF-compatible representation. Downsides of this approach include the synchronisation of the native Simulink model and its EMF representation as they evolve; the completeness of the EMF representation, and the transformation cost which can be crippling for large Simulink models. We propose an alternative approach to bridge Simulink models with open-source model management frameworks that uses an “on-the-fly” translation of model management constructs into MATLAB statements. Our approach does not require an EMF representation and can mitigate the cost of the upfront transformation on large models. To evaluate both approaches we measure the performance of a model validation process with Epsilon (a model management framework) on a sample of large Simulink models available on GitHub. Our previous results suggest that, with our approach, the total validation time can be reduced by up to 80%. In this paper, we expand our approach to support the management of Simulink requirements and dictionaries, and we improve the approach to perform queries on collections of model elements more efficiently. We demonstrate the use of the Simulink requirements and dictionaries with a case study and we evaluate the optimisations on collection queries with an experiment that compares the performance of a set of queries on models with different sizes. Our results suggest an improvement by up to 99% on some queries.

scholarly journals Comparing an insurer's perspective on building damages with modelled damages from pan-European winter windstorm event sets: a case study from Zurich, Switzerland

2021 ◽  
Vol 21 (1) ◽  
pp. 279-299
Author(s):  
Christoph Welker ◽  
Thomas Röösli ◽  
David N. Bresch
Keyword(s):  
Open Source ◽  
Return Period ◽  
Model Building ◽  
Information Service ◽  
Source Model ◽  
Insurance Companies ◽  
Risk Models ◽  
Risk Modelling ◽  
Modelling Approach

Abstract. With access to claims, insurers have a long tradition of being knowledge leaders on damages caused by windstorms. However, new opportunities have arisen to better assess the risks of winter windstorms in Europe through the availability of historic footprints provided by the Windstorm Information Service (Copernicus WISC). In this study, we compare how modelling of building damages complements claims-based risk assessment. We describe and use two windstorm risk models: an insurer's proprietary model and the open source CLIMADA platform. Both use the historic WISC dataset and a purposefully built, probabilistic hazard event set of winter windstorms across Europe to model building damages in the canton of Zurich, Switzerland. These approaches project a considerably lower estimate for the annual average damage (CHF 1.4 million), compared to claims (CHF 2.3 million), which originates mainly from a different assessment of the return period of the most damaging historic event Lothar–Martin. Additionally, the probabilistic modelling approach allows assessment of rare events, such as a 250-year-return-period windstorm causing CHF 75 million in damages, including an evaluation of the uncertainties. Our study emphasizes the importance of complementing a claims-based perspective with a probabilistic risk modelling approach to better understand windstorm risks. The presented open-source model provides a straightforward entry point for small insurance companies.

An Extensible Identity Management Framework for Cloud-Based E-Government Systems

2016 ◽  
pp. 399-422
Author(s):  
Hirra Anwar ◽  
Muhammad Awais Shibli ◽  
Umme Habiba
Keyword(s):  
Cloud Computing ◽  
Identity Management ◽  
Security Requirements ◽  
Computing Technology ◽  
Management Framework ◽  
Government Organizations ◽  
Domain Specific ◽  
Government Institutions ◽  
Design And Implementation

Numerous Cloud Identity Management (IdM) systems have been designed and implemented to meet the diverse functional and security requirements of various organizations. These requirements are subjective in nature; for instance, some government organizations require security more than efficiency while others prioritize performance and immediate response over security. However, most of the existing IdM systems are incapable of handling the user-centricity, security & technology requirements and are also domain specific. In this regard, this chapter elaborates the need to use Cloud Computing technology for enhancing the effectiveness and transparency of IdM functions and presents a comprehensive and well-structured Extensible IdM Framework for Cloud based e-government institutions. We present the design and implementation details of the proposed framework, followed by a case study which shows how government organizations of Pakistan would use the proposed framework to improve their IdM processes and achieve diverse IdM services.

scholarly journals Developing a Coupling Model System of Global Rainfall Data and Open-Source Model for Water Forecast in Poorly Gauged Basins

2019 ◽  
Vol 3 (1) ◽  
pp. 355 ◽  
Author(s):  
Duong Du Bui ◽  
Duc Minh Tran ◽  
Huong Thi Vu ◽  
Nuong Thi Bui
Keyword(s):  
Open Source ◽  
Input Data ◽  
Water Security ◽  
Coupling Model ◽  
Source Model ◽  
Rainfall Data ◽  
Creative Commons ◽  
Set Up ◽  
User Friendly

Water security is under severe pressures from human interventions and climate change in all over the world and improved water forecast is essential for water management. HYPE is a semi-distributed hydrographic model, running on Windows or Linux operating systems. The code of the model is written by the Fortran programming language and open source as Lesser GNU Public License. HYPE has been becoming a widely used tool in the forecasting of transboundary flows. However, the application of HYPE encounters many difficulties in processing input data and serving the construction, calibration, and validation of the model. This article introduces the development of the V-HYPE tool that helps a couple of global rainfall data and HYPE model for operational use. V-HYPE allows developing a user-friendly interface and setting parameters of the HYPE model as well as evaluating errors and transforming and visually displaying the results of the model. Besides, the V-HYPE has the ability to show related maps (i.e. sub-basins, river network, lake, and dams, etc), set up input data, automatically download global rainfall data, and visually display results on WebGIS. V-HYPE also can generate bulletins supporting for operational water resources warning and forecasting works in Vietnam. The utilities of this tool are demonstrated in the case study of Serepok river basin.This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium provided the original work is properly cited.

scholarly journals Comparing an insurer's perspective on building damages with modelled damages from pan-European winter windstorm event sets: a case study from Zurich, Switzerland

2020 ◽  
Author(s):  
Christoph Welker ◽  
Thomas Röösli ◽  
David N. Bresch
Keyword(s):  
Open Source ◽  
Return Period ◽  
Model Building ◽  
Information Service ◽  
Source Model ◽  
Insurance Companies ◽  
Risk Models ◽  
Risk Modelling ◽  
Modelling Approach

Abstract. With access to claims, insurers have a long tradition of being knowledge leaders on damages caused by e.g. windstorms. However, new opportunities have arisen to better assess the risks of winter windstorms in Europe through the availability of historic footprints provided by the Windstorm Information Service (Copernicus WISC). In this study, we compare how modelling of building damages complements claims-based risk assessment. We describe and use two windstorm risk models: the insurer's proprietary model and the open source CLIMADA platform. Both use the historic WISC dataset and a purposefully-built, probabilistic hazard event set of winter windstorms across Europe to model building damages in the canton of Zurich, Switzerland. These approaches project a considerably lower estimate for the annual average damage (CHF 1.4 million), compared to claims (CHF 2.3 million), which originates mainly from a different assessment of the return period of the most damaging historic event Lothar/Martin. Additionally, the probabilistic modelling approach allows assessing rare events, such as a 250-year return period windstorm causing CHF 75 million damages. Our study emphasises the importance of complementing a claims-based perspective with a probabilistic risk modelling approach to better understand windstorm risks. The presented open source model provides a straightforward entry point for small insurance companies.

An Extensible Identity Management Framework for Cloud-Based E-Government Systems

2016 ◽  
pp. 163-187
Author(s):  
Hirra Anwar ◽  
Muhammad Awais Shibli ◽  
Umme Habiba
Keyword(s):  
Cloud Computing ◽  
Identity Management ◽  
Security Requirements ◽  
Computing Technology ◽  
Management Framework ◽  
Government Organizations ◽  
Domain Specific ◽  
Government Institutions ◽  
Design And Implementation

Numerous Cloud Identity Management (IdM) systems have been designed and implemented to meet the diverse functional and security requirements of various organizations. These requirements are subjective in nature; for instance, some government organizations require security more than efficiency while others prioritize performance and immediate response over security. However, most of the existing IdM systems are incapable of handling the user-centricity, security & technology requirements and are also domain specific. In this regard, this chapter elaborates the need to use Cloud Computing technology for enhancing the effectiveness and transparency of IdM functions and presents a comprehensive and well-structured Extensible IdM Framework for Cloud based e-government institutions. We present the design and implementation details of the proposed framework, followed by a case study which shows how government organizations of Pakistan would use the proposed framework to improve their IdM processes and achieve diverse IdM services.

scholarly journals Automatic generation of UML profile graphical editors for Papyrus

2020 ◽  
Vol 19 (5) ◽  
pp. 1083-1106
Author(s):  
Ran Wei ◽  
Athanasios Zolotas ◽  
Horacio Hoyos Rodriguez ◽  
Simos Gerasimou ◽  
Dimitrios S. Kolovos ◽  
...  
Keyword(s):  
Open Source ◽  
User Study ◽  
Automatic Generation ◽  
Transformation Techniques ◽  
Modelling Language ◽  
Uml Profile ◽  
Modelling Languages ◽  
Domain Specific ◽  
Uml Profiles

Abstract UML profiles offer an intuitive way for developers to build domain-specific modelling languages by reusing and extending UML concepts. Eclipse Papyrus is a powerful open-source UML modelling tool which supports UML profiling. However, with power comes complexity, implementing non-trivial UML profiles and their supporting editors in Papyrus typically requires the developers to handcraft and maintain a number of interconnected models through a loosely guided, labour-intensive and error-prone process. We demonstrate how metamodel annotations and model transformation techniques can help manage the complexity of Papyrus in the creation of UML profiles and their supporting editors. We present Jorvik, an open-source tool that implements the proposed approach. We illustrate its functionality with examples, and we evaluate our approach by comparing it against manual UML profile specification and editor implementation using a non-trivial enterprise modelling language (Archimate) as a case study. We also perform a user study in which developers are asked to produce identical editors using both Papyrus and Jorvik demonstrating the substantial productivity and maintainability benefits that Jorvik delivers.

Premises recovery through adoption of alternative dispute resolution (ADR) techniques

2019 ◽  
Vol 11 (1) ◽  
pp. 67-80
Author(s):  
Daramola Thompson Olapade ◽  
Biodun Olapade ◽  
Bioye Tajudeen Aluko
Keyword(s):  
Dispute Resolution ◽  
Case Studies ◽  
Alternative Dispute Resolution ◽  
Design Methodology ◽  
Content Type ◽  
Study Approach ◽  
Alternative Approach ◽  
The Cost ◽  
Property Markets

Purpose This paper aims to explore the use of alternative dispute resolution (ADR) techniques as a legitimate means of ejection of recalcitrant tenant in property. This is with a view of providing information that will improve property investment and management. Design/methodology/approach The paper adopts a case study approach using five selected case studies where ADR approach was used to recover premises. Findings The experience from the case studies shows that the use of ADR in premises recovery is effective but has its challenges. In the five case studies, consent judgment, mediation and negotiation were used to recover premises in less than three months compared to an average of 18 months using litigation. Also, the cost in all the cases were lower where they exist at all than when litigation are used. The paper provides useful information to practitioners on the use of the effective alternative approach to recover premises from recalcitrant tenants. Originality/value The paper provides practical ways through which recovery of premises could be achieved through non-adversarial technique in developing property markets, which hitherto was not available in literature.

scholarly journals Representation of Balancing Options for Variable Renewables in Long-Term Energy System Models: An Application to OSeMOSYS

Energies ◽  
2019 ◽  
Vol 12 (12) ◽  
pp. 2366 ◽  
Author(s):  
Francesco Gardumi ◽  
Manuel Welsch ◽  
Mark Howells ◽  
Emanuela Colombo
Keyword(s):  
Open Source ◽  
Threshold Model ◽  
Energy System ◽  
Test Case ◽  
Energy Investment ◽  
Modelling Framework ◽  
Partial Load ◽  
The Many

The growing complexity and the many challenges related to fast-changing and highly de-carbonised electricity systems require reliable and robust open source energy modelling frameworks. Their reliability may be tested on a series of well-posed benchmarks that can be used and shared by the modelling community. This paper describes and integrates stand-alone, independent modules to compute the costs and benefits of flexible generation options in the open source energy investment modelling framework OSeMOSYS. The modules are applied to a case study that may work as a benchmark. The whole documentation of the modules and the test case study are retrievable, reproducible, reusable, interoperable, and auditable. They create a case to help establish a FAIR-compliant, user-friendly, and low-threshold model and data standards in modelling practices. As is well known, one of the options for balancing high shares of variable renewables is flexible power generation by dispatchable units. The associated costs need to be considered for short-term operational analyses and for long-term investment plans. The added modules contribute to extending the modelling capacity by introducing (a) costs of ramping, (b) non-linear decrease of efficiency at partial load operation, and (c) refurbishment of existing units in the cost minimisation objective function of OSeMOSYS. From application to the test case study, two main insights are drawn: costs of ramping and decreased partial load efficiency may influence the competitiveness of generation technologies in the provision of reserve capacity; and refurbishment of existing units may represent attractive investment options for increasing flexibility. Both effects are also seen in the long-term and may impact infrastructure investment decisions to meet decarbonisation targets. These effects would not be captured without the introduction of the modules.

scholarly journals Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon

2019 ◽  
Vol 19 (1) ◽  
pp. 17-38 ◽  
Author(s):  
Athanasios Zolotas ◽  
Horacio Hoyos Rodriguez ◽  
Stuart Hutchesson ◽  
Beatriz Sanchez Pina ◽  
Alan Grigg ◽  
...  
Keyword(s):  
Open Source ◽  
Source Model ◽  
Model Management ◽  
Management Tools
Sign in / Sign up

Export Citation Format

Share Document