Towards High Maturity in SaaS Applications Based on Virtualization

2013 ◽  
pp. 223-236
Author(s):  
Shijun Liu ◽  
Yong Zhang ◽  
Xiangxu Meng
Keyword(s):  
Automobile Industry ◽  
Data Access ◽  
Maturity Model ◽  
Hardware Virtualization ◽  
On Demand ◽  
Access Problems ◽  
High Maturity ◽  
Application Deployment ◽  
High Level

This paper proposes a high level maturity in SaaS applications based on virtualization technologies, in which the hardware virtualization focuses on providing the flexible on-demand hosting environment, the application virtualization used to meet the scalable application deployment requirements and data virtualization solves data integration and unified data access problems to ensure multi-tenant efficiency. In order to realize the configurability, a method based on metadata and JMX is used to manage the metadata so that changed metadata can be hot deployed immediately during runtime. A case study of a SaaS application for supply business in automobile industry is introduced with the discussion of approaches to higher level maturity model.

Towards High Maturity in SaaS Applications Based on Virtualization

2011 ◽  
Vol 3 (4) ◽  
pp. 39-53 ◽  
Author(s):  
Shijun Liu ◽  
Yong Zhang ◽  
Xiangxu Meng
Keyword(s):  
Automobile Industry ◽  
Data Access ◽  
Maturity Model ◽  
Hardware Virtualization ◽  
On Demand ◽  
Access Problems ◽  
High Maturity ◽  
Application Deployment ◽  
High Level

This paper proposes a high level maturity in SaaS applications based on virtualization technologies, in which the hardware virtualization focuses on providing the flexible on-demand hosting environment, the application virtualization used to meet the scalable application deployment requirements and data virtualization solves data integration and unified data access problems to ensure multi-tenant efficiency. In order to realize the configurability, a method based on metadata and JMX is used to manage the metadata so that changed metadata can be hot deployed immediately during runtime. A case study of a SaaS application for supply business in automobile industry is introduced with the discussion of approaches to higher level maturity model.

scholarly journals A Case Study on Legacy Information Systems Migration: A Fault Tolerant Approach

2014 ◽  
Author(s):  
Rafael de Paula Herrera ◽  
Alan Salvany Felinto
Keyword(s):  
Information System ◽  
Information Systems ◽  
Relational Databases ◽  
Fault Tolerant ◽  
Single Point ◽  
Related Services ◽  
On Demand ◽  
High Level ◽  
Legacy Information Systems

Legacy Information Systems play key-roles on organizations development and growth. However, they can be considered as risky factor to operations chain whether they do not meet the demanding or become acting as single point of failures. In this work, we propose a migration model which is able to handle systems that depend on Relational Databases and its changes were driven through the use of a distributed middleware. We also pose how this approach was successfully applied while migrating a Legacy Information System to a Cloud Computing based infra-structure, adding fault-tolerance to its architecture as a competitive advantage, enabling the related services to be clustered and then horizontal scaled on demand. All major concerns on how the whole solution and its aggregated tools were conceived are discussed in high-level details, so them can be solely reproduced and integrated to another systems in order to achieve the same goals or improve its level of quality assurance.

Work Life Balance Of Female Crew In The Aviation Industry: A Case Study

GIS Business ◽  
2019 ◽  
Vol 14 (6) ◽  
pp. 206-212
Author(s):  
Dr. D. Shoba ◽  
Dr. G. Suganthi
Keyword(s):  
Family Life ◽  
Work Life ◽  
Work Life Balance ◽  
Aviation Industry ◽  
Life Balance ◽  
International Airport ◽  
Work Pressure ◽  
Women Employees ◽  
High Level

Employees and employers are facing issues in work life balance. It has become a difficult domain now, because the work needs have increased due to an increase in work pressure and complexities in handling the technology. As there are drastic changes in the rules and regulations in the work scenario of the aviation industry, it makes work life balance of employees difficult and set more hurdles. Hence there are many distractions and imbalances in the life of women employees in the aviation industry working across all levels. This work pressure is creating high level of hurdles in maintaining a harmonious job and family life, especially for female aviation employees. Data is collected from 50 female crew members working at Cochin International Airport. The objective of this study is to analyze the work life balance of working females of Cochin International Airport and its influence on their personal and specialized lives. The result of the study shows that the management should frame certain policies which will help employees to have the balance among their personal and expert lives.

scholarly journals Spatial Analysis of the Drivers, Characteristics, and Effects of Forest Fragmentation

2021 ◽  
Vol 13 (6) ◽  
pp. 3246
Author(s):  
Zoe Slattery ◽  
Richard Fenner
Keyword(s):  
Forest Fragmentation ◽  
Forest Fires ◽  
Geographical Information ◽  
Agricultural Expansion ◽  
Forest Patches ◽  
Mato Grosso ◽  
Remote Imaging ◽  
Landscape Characteristics ◽  
High Level

Building on the existing literature, this study examines whether specific drivers of forest fragmentation cause particular fragmentation characteristics, and how these characteristics can be linked to their effects on forest-dwelling species. This research uses Landsat remote imaging to examine the changing patterns of forests. It focuses on areas which have undergone a high level of a specific fragmentation driver, in particular either agricultural expansion or commodity-driven deforestation. Seven municipalities in the states of Rondônia and Mato Grosso in Brazil are selected as case study areas, as these states experienced a high level of commodity-driven deforestation and agricultural expansion respectively. Land cover maps of each municipality are created using the Geographical Information System software ArcGIS Spatial Analyst extension. The resulting categorical maps are input into Fragstats fragmentation software to calculate quantifiable fragmentation metrics for each municipality. To determine the effects that these characteristics are likely to cause, this study uses a literature review to determine how species traits affect their responses to forest fragmentation. Results indicate that, in areas that underwent agricultural expansion, the remaining forest patches became more complex in shape with longer edges and lost a large amount of core area. This negatively affects species which are either highly dispersive or specialist to core forest habitat. In areas that underwent commodity-driven deforestation, it was more likely that forest patches would become less aggregated and create disjunct core areas. This negatively affects smaller, sedentary animals which do not naturally travel long distances. This study is significant in that it links individual fragmentation drivers to their landscape characteristics, and in turn uses these to predict effects on species with particular traits. This information will prove useful for forest managers, particularly in the case study municipalities examined in this study, in deciding which species require further protection measures. The methodology could be applied to other drivers of forest fragmentation such as forest fires.

CSim 2

2021 ◽  
Vol 43 (1) ◽  
pp. 1-46
Author(s):  
David Sanan ◽  
Yongwang Zhao ◽  
Shang-Wei Lin ◽  
Liu Yang
Keyword(s):  
Programming Languages ◽  
Concurrent Systems ◽  
Theorem Prover ◽  
Compositional Techniques ◽  
Machine Code ◽  
Top Down ◽  
Hol Theorem Prover ◽  
High Level ◽  
High Degree

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.

scholarly journals An Experimental Study on the Sources of Strontium in Mineral Water and General Rules of Its Dissolution—A Case Study of Chengde, Hebei

Water ◽  
2021 ◽  
Vol 13 (5) ◽  
pp. 699
Author(s):  
Ruifeng Wang ◽  
Xiong Wu ◽  
Yanliang Zhai ◽  
Yuxuan Su ◽  
Chenhui Liu
Keyword(s):  
Experimental Study ◽  
Mineral Water ◽  
Surrounding Rock ◽  
Mechanism Of Formation ◽  
High Quality ◽  
General Rules ◽  
Leaching Experiment ◽  
High Level ◽  
Impact Experiments

Chengde City boasts a wealth of high-quality mineral water resources characterized by a high level of strontium (Sr), a low level of sodium, and low alkalinity. In order to study the mechanism of formation of Sr-bearing mineral water in Chengde and to scientifically guide future mineral water exploration, taking three typical mineral water exploration areas in Chengde as examples, this paper studies the sources of Sr in mineral water and the general rules of its dissolution via a laboratory static leaching experiment and impact experiments, and it provides an analysis of the characteristics of typical rock samples. The research results indicate that the content of Sr in surrounding rock and the characteristics of minerals existing in surrounding rock jointly control the dissolution of Sr in water; that CO2 can promote the formation of mineral water containing Sr; and that temperature increases may boost the dissolution of Sr from carbonate minerals but also inhibit the dissolution of Sr from silicate minerals.

scholarly journals Hybrid Model of IVFRN-BWM and Robust Goal Programming in Agile and Flexible Supply Chain, a Case Study: Automobile Industry

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 71481-71492 ◽  
Author(s):  
Ayad Hendalianpour ◽  
Mahnaz Fakhrabadi ◽  
Xiaobo Zhang ◽  
Mohammad Reza Feylizadeh ◽  
Mehdi Gheisari ◽  
...  
Keyword(s):  
Supply Chain ◽  
Hybrid Model ◽  
Goal Programming ◽  
Automobile Industry
Sign in / Sign up

Export Citation Format

Share Document