Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective

2018 ◽  
Vol 28 (10) ◽  
pp. 1369-1397 ◽  
Author(s):  
Honghao Gao ◽  
Huaikou Miao ◽  
Lilan Liu ◽  
Jinyu Kai ◽  
Kun Zhao
Keyword(s):  
Business Processes ◽  
Threshold Value ◽  
Qualitative Property ◽  
Input Language ◽  
Requirement Model ◽  
Graphical Visualization ◽  
Quantitative Verification ◽  
Business Process Execution ◽  
Graphic Description

Service-based systems are a new software mode for distributed business processes integration. It is difficult for traditional testing methods to verify the functional and nonfunctional requirements of software. To address this problem, this paper proposes a visual verification platform to quantitatively compute the reliability and cost for evaluating the performance of service-based systems in the design phase. First, an extended automata model namely Probabilistic Reward Labeled Transition System (PRLTS) is proposed to formalize both the functional behaviors and nonfunctional features. Then, the formal language of probabilistic model checker PRISM is introduced to show the grammar of the target verification codes that we want to transform. Second, XML description tags of Business Process Execution Language (BPEL) is parsed to generate the functional behaviors using different kinds of transformation rules, based on which the probability matrix and reward concept are employed to denote the service’s reliability and cost, respectively. Third, the PRLTS model is turned into the input language of PRISM, where the graphic description language DOT of Graphviz is used as an intermediary to display system behaviors in a visual way. The model layout allows the designer to manually adjust the behaviors of the PRLTS model, where verification codes can be dynamically updated according to the changes in modified information. Fourth, to perform quantitative verification, the verification property in the form of the Probabilistic Computation Tree Logic (PCTL) formula can be automatically generated when the requirement model of the service-based system is inputted, during which the threshold value of qualitative property will be initially computed and returned as a recommended value. This allows the user to modify the qualitative property in an interactive way. Furthermore, experimental analysis of the real-world case study demonstrates the feasibility of the proposed method. Thus, our platform provides guidance for quantitative verification and graphical visualization for effectively generating formal models and checking the quantitative properties for service-based systems.

Verifiable Model Construction for Business Processes

2021 ◽  
Vol 31 (07) ◽  
pp. 1017-1042
Author(s):  
Shunhui Ji ◽  
Liming Hu ◽  
Yihan Cao ◽  
Pengcheng Zhang ◽  
Jerry Gao
Keyword(s):  
Business Process ◽  
Business Processes ◽  
Control Flow ◽  
Service Description ◽  
Data Types ◽  
Input Language ◽  
Business Process Execution Language ◽  
Composite Service ◽  
Business Process Execution

Business process specified in Business Process Execution Language (BPEL), which integrates existing services to develop composite service for offering more complicated function, is error-prone. Verification and testing are necessary to ensure the correctness of business processes. SPIN, for which the input language is PROcess MEta-LAnguage (Promela), is one of the most popular tools for detecting software defects and can be used both in verification and testing. In this paper, an automatic approach is proposed to construct the verifiable model for BPEL-based business process with Promela language. Business process is translated to an intermediate two-level representation, in which eXtended Control Flow Graph (XCFG) describes the behavior of BPEL process in the first level and Web Service Description Models (WSDM) depict the interface information of composite service and partner services in the second level. With XCFG of BPEL process, XCFGs for partner services are generated to describe their behavior. Promela model is constructed by defining data types based on WSDM and defining channels, variables and processes based on XCFGs. The constructed Promela model is closed, containing not only the BPEL process but also its execution environment. Case study shows that the proposed approach is effective.

The impact of digitalization on business processes: case study: Kosovo SMEs

2018 ◽  
Author(s):  
Ylber Limani ◽  
Edmond Hajrizi ◽  
Rina Sadriu
Keyword(s):  
Business Processes ◽  
The Impact

Implementation of Booking Performance Application Using Bootstrap Case Study in PT XYZ

2019 ◽  
Vol 4 (1) ◽  
pp. 10
Author(s):  
Arfan Sansprayada ◽  
Kartika Mariskhana
Keyword(s):  
Information System ◽  
Business Processes ◽  
System Development ◽  
Basic Requirement ◽  
Application Development ◽  
Information System Development ◽  
Special Expertise ◽  
A Company ◽  
Need For Information

Abstract—The need for information system development in a company is a basic requirement that must be met by each company in order to run its business processes properly. This is the basic key in a company in order to provide maximum results to find as many profits or profits. Application development or requirements in the application also provide speed for employees to carry out their activities to work properly and optimally. The development of the era requires that companies must be productive and have innovations so that the business wheel of the company can run well. This is based on the development of technology that is so fast that it requires special expertise in its application. This research is expected to be able to help some problems that exist in a company. Where its application can make it easier for employees to carry out their respective duties and roles in order to maximize their potential. For companies, the application of this application can accommodate the company's business wheels so that they can be properly and correctly documented .   Keywords : Systems, Information, Applications

scholarly journals Digital Transformation of Forest Services in Finland—A Case Study for Improving Business Processes

Forests ◽  
2021 ◽  
Vol 12 (6) ◽  
pp. 781
Author(s):  
Ville Kankaanhuhta ◽  
Tuula Packalen ◽  
Kari Väätäinen
Keyword(s):  
Business Processes ◽  
Innovation Process ◽  
Single Type ◽  
Stand Management ◽  
Young Stand ◽  
Commercial Viability ◽  
Soil Preparation ◽  
Knowledge Intensive ◽  
Agile Software

This case study introduces an innovation and development concept for agile software tools for the improvement of the productivity and customer experience of forest services. This need was recognized in the context of the opening of forest data and the development of service platforms for a forest-based bioeconomy in Finland. The forest services that were studied covered a continuum from a single type of work, e.g., soil preparation and young stand management through timber procurement, to comprehensive forest property management services. The study concentrated on the needs of micro-, small, and medium-sized enterprises (SMEs), which provide either retail- or business to business (B2B) services as sub-contractors. In addition, the challenges and bottlenecks in service processes detected by other stakeholders were considered. The prevailing service processes were conceptually modelled in order to search for opportunities for improvements in business and ecosystem services, i.e., agile software concepts. For example, we examined whether it would be possible to create opportunities for flexible operational models for precision, resilience, and protection of valuable microsites in forests. These software concepts were developed and evaluated in co-operation with the stakeholders in a co-creative workshop. The technological feasibility and commercial viability of the concepts, as well as the desirability for the customer were considered. The results of this business development process—i.e., agile software concepts and their anticipated benefits—were provided for further evaluation. In addition to the practical implications of this kind of innovation process tested, the potential of these kinds of agile tools for the further development of knowledge-intensive service processes was further discussed.

scholarly journals A Design of the Resilient Enterprise: A Reference Architecture for Emergent Behaviors Control

Sensors ◽  
2020 ◽  
Vol 20 (22) ◽  
pp. 6672
Author(s):  
Rob Bemthuis ◽  
Maria-Eugenia Iacob ◽  
Paul Havinga
Keyword(s):  
Enterprise Architecture ◽  
Business Processes ◽  
Control Mechanisms ◽  
Reference Architecture ◽  
Systems Of Systems ◽  
Supply Chain Resilience ◽  
Physical Systems ◽  
Technological Advances ◽  
Emergent Behaviors

The sooner disruptive emergent behaviors are detected, the sooner preventive measures can be taken to ensure the resilience of business processes execution. Therefore, organizations need to prepare for emergent behaviors by embedding corrective control mechanisms, which help coordinate organization-wide behavior (and goals) with the behavior of local autonomous entities. Ongoing technological advances, brought by the Industry 4.0 and cyber-physical systems of systems paradigms, can support integration within complex enterprises, such as supply chains. In this paper, we propose a reference enterprise architecture for the detection and monitoring of emergent behaviors in enterprises. We focus on addressing the need for an adequate reaction to disruptions. Based on a systematic review of the literature on the topic of current architectural designs for understanding emergent behaviors, we distill architectural requirements. Our architecture is a hybrid as it combines distributed autonomous business logic (expressed in terms of simple business rules) and some central control mechanisms. We exemplify the instantiation and use of this architecture by means of a proof-of-concept implementation, using a multimodal logistics case study. The obtained results provide a basis for achieving supply chain resilience “by design”, i.e., through the design of coordination mechanisms that are well equipped to absorb and compensate for the effects of emergent disruptive behaviors.

Integration between knowledge management and business process management and its impact on the decision making process in the construction sector: a case study of Jordan

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Sami Wasef Abuezhayeh ◽  
Les Ruddock ◽  
Issa Shehabat
Keyword(s):  
Decision Making ◽  
Knowledge Management ◽  
Business Process Management ◽  
Process Management ◽  
Business Processes ◽  
Decision Makers ◽  
Decision Making Process ◽  
Construction Sector ◽  
Content Type

Purpose The purpose of this paper is to investigate and explain how organizations in the construction sector can enhance their decision-making process (DMP) by practising knowledge management (KM) and business process management (BPM) activities. A conceptual framework is developed that recognises the elements that impact DMP in terms of KM and BPM. The development of this framework goes beyond current empirical work on KM in addition to BPM as it investigates a wider variety of variables that impact DMP. Design/methodology/approach A case study is undertaken in the context of the construction industry in Jordan. A theoretical framework is developed and assessment of the proposed framework was undertaken through a questionnaire survey of decision-makers in the construction sector and expert interviews. Findings The outcomes of this research provide several contributions to aid decision-makers in construction organizations. Growth in the usage of KM and BPM, in addition to the integration between them, can provide employees with task-related knowledge in the organization’s operative business processes, improve process performance, promote core competence and maximise and optimise business performance. Originality/value Through the production of a framework, this study provides a tool to enable improved decision-making. The framework generates a strong operational as well as theoretical approach to the organizational utilization of knowledge and business processes.

scholarly journals Measuring Job Performance of The Economic Creative Business upon Women Enterpreneurs Base (Case Study at Online Bunda Community Bogor Branch Using Balance Scorecard Approach)

2018 ◽  
Vol 3 (1) ◽  
pp. 67
Author(s):  
Indar Khaerunnisa
Keyword(s):  
Job Performance ◽  
Online Community ◽  
Business Processes ◽  
Secondary Data ◽  
Base Case ◽  
Balance Scorecard ◽  
The Past ◽  
Financial Perspective ◽  
Coverage Measurement

Balance scorecard has a privilege in terms of coverage measurement whichis a fairly comprehensive because while taking into consideration the financialperformance. Balance scorecard also consider the performance of non-financialperformance, namely customer, internal business processes, and learning and growth.Referring to the problems encountered by Member of Bunda Online Community, thisresearch examines: "Analysis of Company's Performance by Using BalancedScorecard Approach (A Case Study Economic Creative Entrepreneur at Bunda OnlineCommunity)." Because until now Bunda Online Community has not been using thebalanced scorecard to measure its job performance. The population of this study arepermanent employees and 100 samples are taken as respondents. As for thecustomer respondents specified by 52 respondents total reseller and costumer inBogor is only 52 reseller and costumer, however, it has obtained only 30 respondentswho participated. Data used in this study are primary and secondary data. Based onthe research and analysis, it can be concluded several things as the following: 1) Theperformance of the financial perspective on Economic Creative Entrepreneur in BundaOnline Community as a whole can be inferred or quite enough, in general financialratios increased except ROA and TATO. 2) The performance of the customerperspective on Economic Creative Entrepreneur in Bunda Online Community as awhole can be inferred bad, because of poor customer satisfaction in the company'sability to maintain customer retention is also bad while in the company's ability to docustomer acquisition is medium. 3) The performance of internal business processperspective on Economic Creative Entrepreneur in Bunda Online Community isenough, because innovation occurs only once during the past two years and there isnot declining operating activities due to consistent time on the production clothingprocess. 4) The performance of learning and growth perspective in the EconomicCreative Entrepreneur in Bunda Online Community may be concluded either onaspects of employee turnover or both criteria which decreasing employee productivity.Level of employee satisfaction is concluded less satisfied.

scholarly journals How Robot/human Orchestration Can Help in an HR Department: A Case Study From a Pilot Implementation

Organizacija ◽  
2019 ◽  
Vol 52 (3) ◽  
pp. 204-217 ◽  
Author(s):  
Dalibor Šimek ◽  
Roman Šperka
Keyword(s):  
Business Process ◽  
Business Processes ◽  
Current Trend ◽  
Case Study Research ◽  
Multinational Company ◽  
Research Approach ◽  
Structured Interviews ◽  
Service Orchestration ◽  
Study Research

Abstract Background and Purpose: Motivation of this research is to explore the current trend in automating the business processes through software robots (Robotic Process Automation – RPA) and its managing within enterprise environment where most of the processes are executed by human workforce. As the RPA technology expands the demand for its coordinating grows as well. The possible solution to this challenge is shown in case study research in form of implementing orchestration platform to a concrete business process of onboarding in HR department of a multinational company. The aim of this paper is to explore the phases and activities of the pilot project implementation of Robotic Service Orchestration (RSO) in combination with RPA technology and to assess the potential benefits. Design/Methodology/Approach: Case study research approach was selected to explore the research phenomena, which is the implementation of RSO platform in combination with RPA technology and assessing incoming benefits. The case is formed with 2 companies – (1) multinational company with ongoing effort of automating onboarding process, (2) technology and consulting company delivering the automation solution. Data were collected through semi-structured interviews with respondents from two involved companies and by analysing internal documents. Results: The analysis of case provided in this paper revealed some key insights: (1) strategical position of RSO and tactical position of RPA towards the existing legacy systems, (2) need for increased focus on initial process modelling phase, (3) Application Programming Interface (API) integration is more viable solution for RPA, (4) the biggest benefit of RPA - its agility, (5) future potential of the RSO replacing the BPMS. Conclusions: First of all, there is a need of higher number of software robots adopted in a company before orchestration could pay off. On the other side, current Business Process Management Systems (BPMS) solutions don’t offer functionalities for managing human and software robots workforce altogether. RPA is expected to expand and without proper orchestration the effectivity will not grow constantly.

scholarly journals Environmental impact assessment of tofu production process: case study in SME Sugihmanik, Grobogan

2021 ◽  
Vol 894 (1) ◽  
pp. 012004
Author(s):  
S Hartini ◽  
B S Ramadan ◽  
R Purwaningsih ◽  
S Sumiyati ◽  
M A A Kesuma
Keyword(s):  
Environmental Impact ◽  
Production Process ◽  
Wastewater Treatment Plants ◽  
Impact Category ◽  
Threshold Value ◽  
Frying Process ◽  
Good Taste ◽  
Water Pumps ◽  
The Impact

Abstract Tofu contains various substances that are very good when consumed to improve people’s nutrition. In addition, tofu also has good taste. The problem is that the tofu production process produces products and non-product outputs in the form of waste that is very dangerous if directly disposed of in the environment. The BOD5 content of tofu small and medium-sized enterprises (SMEs) in Sugihmanik Village ranged from 3,667-4,933 mg/L and COD 7,668-9,736 mg/L. At the same time, the TSS values ranged from 701-1,189 mg/L. The BOD5 value in the river water content is 367 mg/L. It greatly exceeds the set Threshold Value. This study aims to measure the environmental impact using Life Cycle Assessment (LCA). LCA can identify the impact of each activity based on the impact category to identify the processes that contribute significantly to damaging the environment. This study found that the cooking and frying process had the highest impact, where the climate change category was the largest. Wastewater treatment plants, biogas from the biodigester as a substitute for electricity for water pumps, rice husks, and corn cobs are expected to reduce environmental impacts. The first section in your paper

Sign in / Sign up

Export Citation Format

Share Document