Search results

1 – 10 of 215
To view the access options for this content please click here
Article
Publication date: 17 October 2019

Junaid Haseeb, Naveed Ahmad, Saif U.R. Malik and Adeel Anjum

Business process (BP) reengineering is defined as reinventing BPs either structurally or technically to achieve dramatic improvements in performance. In any business…

Abstract

Purpose

Business process (BP) reengineering is defined as reinventing BPs either structurally or technically to achieve dramatic improvements in performance. In any business process reengineering (BPR) project, process modeling is used to reason about problems found in existing (as-is) process and helps to design target (to-be) process. BP model notation is a widely accepted standard for process modeling. “Expressiveness” and “missing formal semantics” are two problems reported to its modeling practices. In existing studies, solutions to these problems are also proposed but still have certain limitations. The paper aims to discuss this issue.

Design/methodology/approach

In proposed methodology, a meta-model is formally defined that is composed of commonly used modeling elements and their well-formedness rules to check for syntactic and structural correctness of process models. Proposed solution also check semantics of process models and allows to compare as-is and to-be process models for gap identification which is another important aspect of BPR. To achieve the first goal, Z specification is used to provide formal specifications of modeling constructs and their rules and Z3 (an SMT solver) is used for comparisons and verifying properties.

Findings

Proposed method addresses both “expressiveness” and “missing formal semantics” of BPR models. The results of its evaluation clearly indicate that using formally specified meta-model, BPR model is syntactically and structurally correct. Moreover, formal modeling of BPs in Z3 helped to compare processes and to check control flow properties.

Research limitations/implications

Although the proposed method is tested on an example that is widely used in BPR literature, the example is only covering modeling elements which are part of the proposed subset and are reported in literature as frequently used modeling elements. A separate detailed study is required to test it on more complex systems.

Practical implications

Specifying process models using Z specification and Z3 solver requires certain expertise.

Originality/value

The proposed method adds value to BPR body of knowledge as it proposes a method to ensure structural and syntactic correctness of models, highlighting the importance of verifying run time properties and providing a direction toward comparing process models for gap analysis.

Details

Business Process Management Journal, vol. 26 no. 2
Type: Research Article
ISSN: 1463-7154

Keywords

To view the access options for this content please click here
Article
Publication date: 1 March 2013

Ting Chen, Xiao‐song Zhang, Xu Xiao, Yue Wu, Chun‐xiang Xu and Hong‐tian Zhao

Software vulnerabilities have been the greatest threat to the software industry for a long time. Many detection techniques have been developed to address this kind of…

Abstract

Purpose

Software vulnerabilities have been the greatest threat to the software industry for a long time. Many detection techniques have been developed to address this kind of issue, such as Fuzzing, but mere Fuzz Testing is not good enough, because the Fuzzing only alters the input of program randomly, and does not consider the basic semantics of the target software. The purpose of this paper is to introduce a new vulnerability exploring system, called “SEVE” to explore the target software more deeply and to generate more test cases with more accuracy.

Design/methodology/approach

Symbolic execution is the core technique of SEVE. The user can just input a standard input, and the SEVE system will record the execution path, alter the critical branches of it, and generate a totally different test case which will make the software under test execute a different path. In this way, some potential bugs or defects, even the exploitable vulnerabilities will be discovered. To alleviate path explosion, the authors propose heuristic method and function abstraction, which in turn improve the performance of SEVE even further.

Findings

We evaluate SEVE system to record critical data about its efficiency and performance. We have tested some real‐world vulnerabilities, from which the underlying file‐input programs suffer. After that, the results show that SEVE is not only re‐creating the discovery of these vulnerabilities, but also at a higher performance level than traditional techniques.

Originality/value

The paper proposes a new vulnerability exploring system, called “SEVE” to explore the target software and generate test cases automatically and also heuristic method and function abstraction to handle path explosion.

Details

COMPEL - The international journal for computation and mathematics in electrical and electronic engineering, vol. 32 no. 2
Type: Research Article
ISSN: 0332-1649

Keywords

Content available
Article
Publication date: 6 March 2009

Abstract

Details

Industrial Lubrication and Tribology, vol. 61 no. 2
Type: Research Article
ISSN: 0036-8792

To view the access options for this content please click here
Article
Publication date: 15 May 2019

Naoyuki Yoshino, Farhad Taghizadeh-Hesary and Farhad Nili

Deposit insurance is a key element in modern banking, as it guarantees the financial safety of deposits at depository financial institutions. It is necessary to have at…

Abstract

Purpose

Deposit insurance is a key element in modern banking, as it guarantees the financial safety of deposits at depository financial institutions. It is necessary to have at least a dual fair premium rate system based on creditworthiness of financial institutions, as considering singular premium system for all banks will have moral hazard. This paper aims to develop theoretical and empirical model for calculating dual fair premium rates.

Design/methodology/approach

The definition of a fair premium rate in this paper is a rate that covers the operational expenditures of the deposit insuring organization, provides it with sufficient funds to enable it to pay a certain percentage share of deposit amounts to depositors in case of bank default and provides it with sufficient funds as precautionary reserves. To identify and classify healthier and more stable banks, the authors use credit rating methods that use two major dimensional reduction techniques. For forecasting nonperforming loans (NPLs), the authors develop a model that can capture both macro shocks and idiosyncratic shocks to financial institutions in a vector error correction model.

Findings

The response of NPLs/loans to macro shocks and idiosyncratic innovations shows that using a model with macro variables only is insufficient, as it is possible that under favorable economic conditions, some banks show negative performance due to bank level reasons such as mismanagement or vice versa. The final results show that deposit insurance premium rate needs to be vary based on banks’ creditworthiness.

Originality/value

The results provide interesting insight for financial authorities to set fair deposit insurance premium rate. A high premium rate reduces the capital adequacy of individual financial institutions, which endangers the stability of the financial system; a low premium rate will reduce the security of the financial system.

Details

Studies in Economics and Finance, vol. 36 no. 1
Type: Research Article
ISSN: 1086-7376

Keywords

To view the access options for this content please click here
Article
Publication date: 1 March 1998

Marlena Benardska

The article presents the “cost‐volume profit analysis (CVP)” for the hotel industry.

Abstract

The article presents the “cost‐volume profit analysis (CVP)” for the hotel industry.

Details

The Tourist Review, vol. 53 no. 3
Type: Research Article
ISSN: 0251-3102

Keywords

To view the access options for this content please click here
Article
Publication date: 1 October 1962

H.L Price

A method is developed or drawing ground resonance stability boundaries in the (?1, ?) plane for arbitrary values of the parameters ??, A1 and Aa. The current values of ?1…

Abstract

A method is developed or drawing ground resonance stability boundaries in the (?1, ?) plane for arbitrary values of the parameters ??, A1 and Aa. The current values of ?1 and ? are expressed simply and directly in terms of the co‐ordinates (Y, Z) of points lying on a parabola whose equation involves ??, A1 and A3. The position of the intersections of this parabola with a certain unique curve in the (Y, Z) plane determines into which of three classes each stability boundary falls. All stability boundaries split up into two separate branches, and only in one class of boundaries do the branches align themselves in such a way as to permit the possibility of stability for all rotor speeds ?. A method is given showing how ??, A1 and A3 may be determined to achieve this effect.

Details

Aircraft Engineering and Aerospace Technology, vol. 34 no. 10
Type: Research Article
ISSN: 0002-2667

To view the access options for this content please click here
Article
Publication date: 9 July 2020

Pavel Baranov, Tamara Nesterenko, Evgenii Barbin and Aleksei Koleda

One of the problems encountered by developers of inertial systems, such as gyroscopes and accelerometers, is the critical dependence of the eigenfrequencies of elastic…

Abstract

Purpose

One of the problems encountered by developers of inertial systems, such as gyroscopes and accelerometers, is the critical dependence of the eigenfrequencies of elastic suspensions (ES) on temperature when using substrates for sensors made of dielectric materials, such as borosilicate glass. The internal stresses arising in the ES caused by the difference in the temperature coefficients of linear expansion (TCLE) lead to deformation of the sensor and complication of the electronic part of the sensor. The purpose of this paper is to approach for in-plane and out-of-plane ES are considered that allow for minimization of the influence of internal stresses on eigenfrequencies.

Design/methodology/approach

Analytical, finite element and experimental results are considered. The temperature coefficient of thermal expansion, the Young’s modulus and the Poisson ratio are given as a function of temperature. The shape of the spring elements (SEs) and the construction of the elastic suspension are the main topics of focus in this study. The authors’ out-of-plane ES based on a meander-like spring element implemented via finite element modeling show good agreement with the experimental results.

Findings

Meander-like SEs have been developed that have lower temperature errors in comparison with traditional types of SEs. The main contribution to the change in the eigenfrequency from temperature is made by internal stresses that arose from the deformation of the bonded materials with different TCLE. The change of eigenfrequency from the temperatures that were calculated by finite element method did not exceed 0.15%, however, in practice, the scatter of the obtained characteristics for different samples showed a change of up to 0.3%.

Originality/value

This study shows a way to design and optimize the structure and theoretical background for the development of the microelectromechanical systems (MEMS) inertial module combining the functions of gyroscope and accelerometer. The obtained results will improve and expand the manufacturing technology of MEMS gyroscopes and accelerometers.

To view the access options for this content please click here
Article
Publication date: 28 April 2020

Mohd Najib Ali Mokhtar, M.Z. Abdullah, Abdullah Aziz Saad and Fakhrozi Cheani

This paper focuses on the reliability of the solder joint after the self-alignment phenomenon during reflow soldering. The aim of this study is to analyse the joint…

Abstract

Purpose

This paper focuses on the reliability of the solder joint after the self-alignment phenomenon during reflow soldering. The aim of this study is to analyse the joint quality of the self-alignment assemblies of SnAg alloy solder joints with varying silver content.

Design/methodology/approach

The shear strength assessment was conducted in accordance with the JIS Z3 198-7 standard. The standard visual inspection of IPC-A-610G was also performed to inspect the self-alignment features of the solder joint samples. Statistical analysis was conducted to determine the probabilistic relationship of shear strength of the misalignment components.

Findings

The results from the mechanical reliability study indicate that there were decreasing trends in the shear strength value as misalignment offset increased. For shift mode configuration in the range of 0-300 µm, the resulting chip assembly inspection after the reflow process was in line with the IPC-A-610G standard. The statistical analysis shows that the solder type variation was insignificant to the shear strength of the chip resistor. The study concluded that the fracture occurred partially in the termination metallization at the lower part of the chip resistor. The copper content of the joint on that area shows that the crack occurred in the solder joint, and high silver content on the selected zone indicated that the fracture happened partially in the termination structure, as the termination structure of the lead-free chip resistor consists of an inner layer of silver and an outer layer of tin.

Practical implications

This study’s findings provide valuable guidelines and references to engineers and integrated circuit designers during the reflow soldering process in the microelectronics industry.

Originality/value

Studies on the effect of component misalignment on joint mechanical reliability are still limited, and studies on solder joint reliability involving the effect of differing contents of silver on varying chip component offset are rarely reported. Thus, this study is important to effectively bridge the research gap and yield appropriate guidelines in the potential industry.

Details

Soldering & Surface Mount Technology, vol. 33 no. 1
Type: Research Article
ISSN: 0954-0911

Keywords

To view the access options for this content please click here
Article
Publication date: 1 February 1987

D.A. BELL and H. JENKINS

Recent methods of data organisation have sought to preserve the original sequence of keys in the address space yet this often also results in the wastage of valuable…

Abstract

Recent methods of data organisation have sought to preserve the original sequence of keys in the address space yet this often also results in the wastage of valuable storage space as a consequence of the simultaneous preservation of gaps in the sequence. The method of key space compression using forbidden zones seeks to minimize such wastage by removing those gaps in the sequence corresponding with keys which the designer knows beforehand cannot occur.

Details

Kybernetes, vol. 16 no. 2
Type: Research Article
ISSN: 0368-492X

Keywords

To view the access options for this content please click here
Article
Publication date: 12 January 2018

Anuj Singla, Inderpreet Singh Ahuja and APS Sethi

The purpose of this paper is to evaluate the significance of various technology push (TP) and demand pull (DP) practices substantial for achieving sustainable development…

Abstract

Purpose

The purpose of this paper is to evaluate the significance of various technology push (TP) and demand pull (DP) practices substantial for achieving sustainable development in Indian manufacturing industries. The research crucially examines the effectiveness of TP-DP practices in manufacturing companies.

Design/methodology/approach

An extensive survey of 92 companies in India has been executed to identify improvements made by TP-DP practices, to achieve sustainable development in manufacturing industries. The companies in the survey include medium- and large-scale manufacturing enterprises. The correlations between various TP-DP practices and sustainable development parameters are evaluated and validated using various numerical methods and tools.

Findings

The focus of the paper is on the distinguishable contributions made by TP-DP practices like innovative capability, research and development, corporate strategy, export orientation, stringent implementation of government regulations, transforming capabilities, unionized labor and customer attributes toward achieving sustainable development in manufacturing industries. The inter-relationships between different TP-DP practices with sustainable development parameters are evaluated to effectively manage the goals and objectives of industries related to sustainability and growth. However, it is also acknowledged that manufacturing firms need to work more actively on managing certain practices of TP-DP.

Research limitations/implications

In the present investigation, contributions made by TP-DP practices are evaluated to accomplish sustainable development in Indian manufacturing industries. Hence, the results obtained may need some modifications before applying to other countries. Moreover, issue-wise independent modeling can also be performed to assess the importance of TP-DP practices under specific orientations.

Practical implications

The research gives priority to enhancement in the planning among various TP-DP practices and sustainable development indicators in the industries, to impart TP-DP as important practices to meet the challenges of competent markets worldwide.

Social implications

It has been exhibited from the observations that adequate TP-DP practices can efficiently contribute toward recognition of sustainable development to compete in the highly progressive global market. The results of various inter-relationships among TP-DP practices and sustainable development parameters represent the effectiveness of TP-DP practices for accomplishment of social as well as organizational objectives.

Originality/value

The investigation shows that TP-DP practices are significant initiatives employed by the manufacturing industries for performance improvement and sustainable development. The paper peeks into the research to find out TP-DP issues that need to be assessed efficiently by companies to avail the benefits of sustainable development to meet the challenges posed by international markets.

Details

Journal of Manufacturing Technology Management, vol. 29 no. 2
Type: Research Article
ISSN: 1741-038X

Keywords

1 – 10 of 215