Using process algebra to control the execution of business processes

2008 ◽  
Author(s):  
Kelly Rosa Braghetto ◽  
João Eduardo Ferreira ◽  
Calton Pu
Keyword(s):  
Process Algebra ◽  
Business Processes

scholarly journals Formalizing WSBPEL Business Processes Using Process Algebra

2006 ◽  
Vol 154 (1) ◽  
pp. 159-173 ◽  
Author(s):  
Javier Cámara ◽  
Carlos Canal ◽  
Javier Cubo ◽  
Antonio Vallecillo
Keyword(s):  
Process Algebra ◽  
Business Processes

A Modelling Method for Cross-Organizational Business Process Collaboration Based on Petri Net and Process Algebra

2014 ◽  
Vol 635-637 ◽  
pp. 1480-1487
Author(s):  
Qi Mo ◽  
Fei Dai ◽  
Tong Li
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Process Algebra ◽  
Business Processes ◽  
Asynchronous Communication ◽  
Communication Process ◽  
Communication Interface ◽  
Modelling Method ◽  
Communication Mechanism ◽  
Process Collaboration

In order to resolve the modelling problem of business processes collaboration, especially, the asynchronous communication mechanism problem and the verification problem, combining the respective strengths of Petri Nets and the classical process algebra CCS, a modeling method is proposed in this paper. First of all, modelling the internal view of cross-organization based on Petri Nets, extracting the communication interface and mapping to internal transition to get the public view; Secondly, researching on the asynchronous communication mechanism and modelling the communication process by CCS to get communication behavior view, thus making the verification of collaboration converts to the CCS derivation; Finally, an algorithm is proposed to generate automatically the behaviors possessed by every transition in model view. The modelling method proposed is not only to analyze and verify the structure properties in collaboration, but also to analyze and verify the behavior properties, which brings a huge convenience for further analysis and verification in cross-organizational business process collaboration.

PERENCANAAN ARSITEKTUR ENTERPRISE MENGGUNAKAN EAP DENGAN ZACHMAN FRAMEWORK (Studi Kasus : CV BIENSI FESYENINDO)

2019 ◽  
Vol 2 (1) ◽  
pp. 1-16
Author(s):  
Anjas Tryana
Keyword(s):  
Enterprise Architecture ◽  
Business Processes ◽  
Current System ◽  
System Support ◽  
Architecture Model ◽  
Use Of Resources ◽  
Application Architecture ◽  
Data Architecture ◽  
Planning Methodology ◽  
Implementation Plans

With the development of technology today, it is very important for every company to plan and develop a system to support business processes in each company. Achieving the goals of an enterprise faces challenges and changes that require strategies for effective measures and efficient use of resources. One important and increasingly widely used strategy is the use and improvement of information system support for the enterprise. This plan can utilize enterprise architecture planning methodology that produces data architecture, application architecture, technology architecture, and the direction of its implementation plan for the enterprise.CV Biensi Fesyenindo is engaged in retail garment, with branches throughout Indonesia, covering the areas of Kalimantan, Sulawesai, NTB, NTT, Bali, Java and Sumatra. In their daily activities, they carry out production to distribution processes to meet market and employee needs.The enterprise architecture model used in this study is by using Enterprise Architecture Planning (EAP). EAP is a process of defining enterprise architecture that focuses on data architecture, applications and technology in supporting business and plans to implement the architecture, where the EAP method has several stages, starting from planning in planning, business modeling , Current System and Technology (Current System & Technology), Data Architecture (Data Architecture), Application Architecture (Applications Architecture), Technology Architecture (Technology Architecture), Implementation Plans (Implementation Plans).The results of this study are recommendations for information systems for Fesyenindo Biensi CV in the form of enterprise architecture planing blue print planning that is successful in defining 5 main business processes, which consist of application architecture data architecture and for technological architecture to produce technology architecture proposals divided into 5 chapters 110 pages .

Developing and implementing the risk management framework into business processes of Gazprom transgaz Tomsk Ltd., for implementation of the Eastern gas program of PJSC Gazprom

2020 ◽  
Vol 17 (1) ◽  
pp. 68-77
Author(s):  
V. E. Zaikovsky ◽  
A. V. Karev
Keyword(s):  
Risk Management ◽  
Human Resources ◽  
Management Information System ◽  
Business Processes ◽  
Project Success ◽  
Management Information ◽  
Timely Manner ◽  
Project Approach ◽  
Management Framework ◽  
Risk Management Framework

Project success depends on the ability to respond to risks and make correct decisions in a timely manner. The project approach provides a better framework for implementing a new management system into the company’s business processes. The risk management framework developed by the company comprises a risk management infrastructure, a set of standards, human resources, and a risk management information system. To improve staff compliance, it is necessary to provide training and to communicate the goals of the project effectively. It is also important to develop a motivation system because well trained and motivated staff are able to work more efficiently.

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

Pemodelan Enterprise Arsitektur Sistem Informasi Pemesanan Jasa Percetakan Menggunakan Kerangka TOGAF

2020 ◽  
Vol 4 (2) ◽  
pp. 18
Author(s):  
Bibit - Sudarsono ◽  
Umi - Faddillah
Keyword(s):  
Information Systems ◽  
Business Process ◽  
Business Processes ◽  
Enterprise Modeling ◽  
Improve Performance ◽  
Business Opportunity ◽  
Service Information ◽  
Process Architecture ◽  
System Architecture Design ◽  
A Company

Printing service order information systems sometimes experience problems in completing running business processes including, frequent loss and inaccuracy in registering orders from customers, often also losing order data from customers, recording orders often experience errors, resulting inaccurate reporting of order data. A computerized ordering service information system will greatly help improve performance and accuracy in making reports on business processes running at a company. The existence of enterprise modeling of information systems ordering printing services with the TOGAF framework will be a method that greatly helps management make a decision that will synergize with the business process activities at the company. So that the objectives of the system can be achieved properly. The TOGAF framework can be a solution and will help to produce a system architecture design, a business process architecture, a technology architecture, a number of proposed business opportunity strategy proposals and an ongoing system change proposal.

Sign in / Sign up

Export Citation Format

Share Document