Verification of Business Process Workflows

Pranevičius, Henrikas; Misevičienė, Regina

doi:10.3846/20294913.2012.740517

Cited by 5 publications

(3 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Dalam validasi pemodelan proses ditentukan dengan semua statement merupakan sesuatu yang benar dan relevan dengan suatu permasalahan [21]. Validasi dikenal sebagai pengujian kelengkapan semantic untuk memastikan bahwa alur kerja memiliki prilaku sesuai semua skenario [26]. Validasi dapat membantu memastikan model proses masuk akal.…”

Section: Prinsip Validitas Pada Enterprise Architecture Quality Framework (Eaqf)unclassified

Validitas Arsitektur Bisnis menggunakan Metode Formal PetriNets (Studi Kasus: Perusahaan Manufaktur di Indonesia)

Fajrillah¹,

Annastasia

2021

aisthebest

View full text Add to dashboard Cite

Gartner Group memperkirakan sekitar 40% dari program Enterprise Architecture (EA) terpaksa harus dihentikan karena tidak memiliki signifikansi terhadap bisnis dan kegagalan dalam meningkatkan nilai bisnis sesuai yang diharapkan perusahaan. Salah satu yang memiliki peran penting dalam membantu perusahaan mencapai nilai bisnis yang diinginkan yaitu melalui perancangan Arsitektur Bisnis. Sebelum masuk pada perancangan arsitektur bisnis langkah yang perlu dilakukan adalah mengidentifikasi proses bisnis, proses bisnis merupakan serangkaian aktifitas yang saling terkait untuk mencapai tujuan bisnis tertentu. Memodelkan proses bisnis yang baik dapat membantu untuk menghindari kesalahan sejak awal yang disebabkan oleh kualitas, dimana model proses bisnis akan berdampak pada kualitas rancangan arsitektur sistem informasi. Maka dari itu, kualitas dari proses bisnis model telah diakui sebagai faktor penting agar pemodelan arsitektur sistem informasi dapat sukses di perusahaan. Diperlukan pengujian kualitas model proses bisnis untuk menjaga kualitas model tetap tinggi, salah satunya dengan menggunakan pendekatan kerangka kerja kualitas model arsitektur perusahaan. Dalam mendefiniskan kualitas model, kerangka kerja ini membagi menjadi beberapa tingkatan dimana salah satunya menggunakan principle of validity dengan atribut berupa syntactical properness. Atibut syntactical properness diuji melalui metode Formal Petri nets dengan memanfaatkan tools WoPed. Dalam kajian ini digunakan studi kasus dari salah satu perusahaan manufaktur di Indonesia sebagai obyek uji. Dari hasil uji 4 dari 10 proses bisnis dinyatakan belum sesuai standar kualitas model arsitektur dan dilakukan perbaikan.

show abstract

Section: Prinsip Validitas Pada Enterprise Architecture Quality Framework (Eaqf)unclassified

Validitas Arsitektur Bisnis menggunakan Metode Formal PetriNets (Studi Kasus: Perusahaan Manufaktur di Indonesia)

Fajrillah¹,

Annastasia

2021

aisthebest

View full text Add to dashboard Cite

show abstract

“…The other two kinds of forms (shown in the right of Figure 1 ) are defined as deadlocks and lack of synchronization, respectively. And various methods can be used to detect these structure errors [ 24 – 26 ].…”

Section: Preliminariesmentioning

confidence: 99%

Social Network Supported Process Recommender System

Yin

2014

The Scientific World Journal

View full text Add to dashboard Cite

Process recommendation technologies have gained more and more attention in the field of intelligent business process modeling to assist the process modeling. However, most of the existing technologies only use the process structure analysis and do not take the social features of processes into account, while the process modeling is complex and comprehensive in most situations. This paper studies the feasibility of social network research technologies on process recommendation and builds a social network system of processes based on the features similarities. Then, three process matching degree measurements are presented and the system implementation is discussed subsequently. Finally, experimental evaluations and future works are introduced.

show abstract

“…We used Piece Linear Aggregate formalism (PLA) [11,12] in order to describe system behavior and to create an infinitesimal generator matrix of CTMC model of the GJ channel. Formal specification can be applied for verification of liveness of CTMC model, using special tools, e.g., Simple Promela Interpreter (SPIN) model checker [3,8,9]. PLA, in essence, is equivalent to piece-linear Markov process.…”

Section: Introductionmentioning

confidence: 99%

Continuous Time Markov Chain Models of Voltage Gating of Gap Junction Channels

Pranevičius

Pranevicius

et al. 2014

ITC

View full text Add to dashboard Cite

The major goal of this study was to create a continuous time Markov chain (CTMC) models of voltage gating of gap junction (GJ) channels formed of connexin protein. This goal was achieved by using the Piece Linear Aggregate (PLA) formalism to describe the function of GJs and transforming PLA into Markov process. Infinitesimal generator of CTMC was used to automate construction of Markov chain model from description of the system using PLA formalism. Developed Markov chain models were used to simulate gap junctional conductance dependence on transjunctional voltage. The proposed method was implemented to create models of voltage gating of GJ channels containing 4 and 12 gates. CTMC modeling results were compared with the results obtained using a discrete time Markov chain (DTMC) model. It was shown that CTMC modeling requires less CPU time than an analogous DTMC model.

show abstract

Verification of Business Process Workflows

Cited by 5 publications

References 16 publications

Validitas Arsitektur Bisnis menggunakan Metode Formal PetriNets (Studi Kasus: Perusahaan Manufaktur di Indonesia)

Validitas Arsitektur Bisnis menggunakan Metode Formal PetriNets (Studi Kasus: Perusahaan Manufaktur di Indonesia)

Social Network Supported Process Recommender System

Continuous Time Markov Chain Models of Voltage Gating of Gap Junction Channels

Contact Info

Product

Resources

About