Search results

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

This study focuses on the impact of internal factors, namely intrinsic motivation, ICT knowledge, and the moderating effect of demographic factors such as education level, age, gender on digital readiness of Indonesian MSMEs.

The sample data selected in this study include owners of culinary SMEs in the Salatiga area, Central Java, and who already has had a building to run their business. This study employed a quantitative approach using a statistical package to perform descriptive and inferential analyses with the help of IBM SPSS and Smart PLS.

Four hypotheses have been formulated and tested using the structured equation model. The results revealed that intrinsic motivation and ICT knowledge have a positive significant influence on the digital readiness of MSMEs.

The study concluded that the internal encouragement of the culinary MSME owners in the city of Salatiga will continue to advance and develop following the current digital technology era.

The results from the moderation testing show that women have a slightly higher average answer than men in the number of indicators of intrinsic motivation and in the number of indicators of digital readiness.

Micro Small Medium Enterprises (MSMEs) in Indonesia benefit from the digital era. It is important to apply digitalization in the Indonesian MSMEs so that they can develop and compete with other countries, and digital readiness is one of the key successes in the global competition.

Entrepreneurial education in higher education has emphasized following the prospect of entrepreneurship as one of the determinants of countries' economic growth. Therefore, it is considered necessary to assess how the current education system and learning orientation improve student's motivation to become entrepreneurs. This study evaluates all indicators included in the variables of entrepreneurial education, learning orientation, and entrepreneurship intention. While the curriculum represents entrepreneurial education, teaching method, educator competencies, and university support system, learning orientation consists of learning commitment, knowledge sharing capability, critical thinking, and vision sharing, and entrepreneurship intention are measured by abilities in writing a business plan, generating business ideas, identifying business opportunities, and innovation and business startup. The data was harvested from questionnaires completed by 123 entrepreneurship program students and was processed using PLS. This study finds that (1) curriculum significantly influences student's learning commitment and business plan writing ability, (2) teaching method influences individual knowledge sharing and business idea generation ability, (3) educator competencies do not significantly affect students critical thinking and ability to identify a business opportunity, but critical thinking influences their skill in identifying business opportunities, (4) university support system does not significantly influence student intention to innovate and start new businesses, but it significantly affects their ability to share their visions, and the ability significantly influences their intention to innovate and start new businesses.

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.

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.

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.

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%.

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.