RESUME BAB 4 BUKU MATHIAS WESKE DAN JOHN
JESTON DAN JOHAN NELIS SERTA STUDIUM
GENERALLE
DISUSUN OLEH :
Alvali Zaqi Taufan (11140930000050)
Kelas : Sistem Informasi 3c/2015
Mata Kuliah : Sistem Informasi Manajemen
Dosen Pengampu : Bayu Waspodo M,M
Kata Pengantar
Assalamualaikum wr.wb,
Puji dan syukur kita panjatkan kehadirat Allah SWT yang tiada hentinya memberikan petunjuk, rahmat dan karunia-Nya dengan segala kemudahan-kemudahan sehingga penyusun berhasil menyelesaikan tugas yang diberikan dosen mata kuliah Manajemen Proses Bisnis, Fakultas Sains dan Teknologi Universitas Islam Negeri Syarief Hidayatulllah Jakarta, yaitu mengkaji lebih lanjut mengenai Bab 4 dalam buku Mathias Weske dan John Jeston & Johan Nelis serta pada acara studium generalle 20 Oktober.
Adapun tujuan dari rangkuman ini adalah selain untuk memenuhi kewajiban sebagai mahasiswa disiplin yang senantiasa melaksanakan tugas yang diberikan oleh dosen juga sebagai pondasi dasar agar selama melaksanakan studi empat tahun kedepan diberi kemudahan dalam menangkap ilmu yang diberikan oleh para pengajar.
Pada penulisan rangkuman ini penulis telah berusaha semaksimal mungkin sesuai dengan kemampuan serta kapasitas sebagai penulis, Namun keterbatasan rangkuman ini membuat rangkuman yang penulis buat masih memiliki berbagai kekurangan. Maka daripada itu penulis berharap bagi siapapun yang telah membaca rangkuman yang telah penulis buat, termasuk bapak dosen mata kuliah manajemen proses bisnis, penulis mohon maaf yang sebesar-besarnya apabila terdapat kekurangan baik dari segi teknis penulisan, maupun tata bahasa, tetapi walaupun demikian penulis telah menyelesaikan rangkuman ini dengan semaksimal mungkin meskipun sangat tersusun sederhana, karena penulis masih dalam proses belajar dan baru mencobanya.
Maka dari itu penyusun menerima saran dan kritikan konstruktif dari pembaca untuk memacu kami supaya lebih baik dimasa yang akan datang. Akhir kata, semoga rangkuman ini bermanfaat bagi penyusun pada khususnya dan pembaca pada umumnya.
BAB 1 ISI RANGKUMAN
1.1 Resume Bab 3 Buku John Jeston dan Johan Nelis
Ketika Anda harus melakukan BPM – apa penggerak utama dan pemicu nya?
Ini adalah pertanyaan yang sulit dijawab secara generik. Jawaban sebenarnya adalah, 'itu tergantung'. Hal ini tergantung pada keadaan organisasi dan kematangan proses organisasi, dan ini akan bervariasi dari satu organisasi ke organisasi, dan dari situasi ke situasi.
Kami telah mengkategorikan beberapa driver mungkin dan memicu yang dapat menyebabkan sebuah organisasi untuk mempertimbangkan BPM sebagai solusi yang mungkin diterapkan, melihat penggerak dan pemicu dari organisasi, manajemen, karyawan, pelanggan, pemasok / mitra, produk atau layanan, proses dan IT sebagai perspektif. Kami telah membuat daftar penggerak yang mungkin menjadi pemicu pada masing-masing kategori (Tabel 4.1).
Jelas, ada banyak kesempatan di mana driver dan pemicu tumpang tindih dengan satu-sama lain. Jika salah satu atau lebih dari satu pemicu menerapkannya penting untuk menyelesaikan akar-penyebab analisis, karena terlalu sering organisasi mengambil jalan keluar yang mudah dan melawan gejala daripada mengambil langkah fundamental dan struktural untuk mengatasi penyebabnya. Driver dan pemicu bagi organisasi dapat bertujuan mempertimbangkan solusi otomatis mungkin termasuk:
● Volume tinggi transaksi serupa dan berulang-ulang
● Aliran yang jelas transaksi volume tinggi yang perlu disampaikan dari satu orang ke orang lain, dengan masing-masing menambahkan beberapa nilai di sepanjang jalan
● Kebutuhan untuk real-time monitoring transaksi (kebutuhan untuk tahu Status transaksi setiap saat)
● Isu kritis dengan waktu pemrosesan - yaitu, waktu adalah esensi ● Kebutuhan untuk menyelesaikan banyak perhitungan dalam transaksi
proyek BPM adalah masalah yang sulit. Untuk setiap organisasi tertentu, maka akan tepat untuk memulai proyek BPM ketika jumlah yang tepat dan kombinasi driver di atas dan pemicu terjadi. Ini akan berbeda untuk setiap organisasi, dan untuk setiap situasi dalam organisasi yang sama.
KATEGORI DRIVER DAN PEMICU
Organisasi
Manajemen
● Pertumbuhan tinggi - kesulitan menghadapi pertumbuhan yang tinggi atau proaktif berencana untuk pertumbuhan yang tinggi
● Merger dan akuisisi - mereka menyebabkan organisasi untuk 'membeli' kompleksitas tambahan atau memerlukan rasionalisasi dari processes. Proyek BPM memungkinkan lapisan proses untuk 'ditempatkan' di sistem warisan ini, menyediakan waktu untuk mempertimbangkan konversi yang dan strategi yang tepat
● Reorganisasi - mengubah peran dan tanggung jawab
● Perubahan strategi - memutuskan untuk mengubah arah ke keunggulan operasional, kepemimpinan produk atau pelanggan keintiman
● Tujuan Organisasi tidak terpenuhi, pengenalan manajemen proses, terkait dengan organisasi strategi, pengukuran kinerja dan manajemen orang
● Kepatuhan atau peraturan - misalnya, banyak organisasi memiliki proyek proses dimulai untuk memenuhi Sarbanes Persyaratan Oxley; ini telah tersedia maka platform untuk memulai proses perbaikan atau BPM proyek
● Kebutuhan kelincahan bisnis untuk memungkinkan organisasi untuk merespon peluang yang muncul.
● Kebutuhan untuk menyediakan bisnis dengan kontrol lebih dari nasibnya sendiri
● Kurangnya informasi manajemen yang handal atau bertentangan. proses manajemen dan pengukuran kinerja dan manajemen akan membantu proses bisnis dari organisasi itu sendiri.
Karyawan
Pelanggan/ Supplier
proses mereka
● Kebutuhan untuk pengenalan kinerja berkelanjutan lingkungan Hidup ● Kebutuhan untuk menciptakan budaya kinerja tinggi
● Kebutuhan untuk mendapatkan hasil maksimal atas investasi dari sistem warisan yang ada
● Pemotongan Anggaran
● Kebutuhan kemampuan untuk mendapatkan kapasitas lebih dari staf yang ada untuk ekspansi
● Omset tinggi dari karyawan, mungkin karena biasa sifat pekerjaan atau tingkat tekanan dan harapan pada orang tanpa dukungan yang memadai (Lanjutan)
● Masalah Pelatihan dengan karyawan baru ● Kepuasan karyawan Rendah
● Harapan peningkatan substansial dalam jumlah karyawan ● Keinginan untuk meningkatkan pemberdayaan karyawan
● Karyawan mengalami kesulitan dalam menjaga dengan terus menerus perubahan dan kompleksitas tumbuh pelanggan.
● Kepuasan yang berbanding rendah dengan layanan, yang bisa disebabkan:pemasok / mitra? tingkat churn tinggi staf ? Staf mampu menjawab pertanyaan secara memadai dalam jangka waktu yang diperlukan
● Peningkatan tak terduga dalam jumlah pelanggan, pemasok atau mitra ● lead time panjang untuk memenuhi permintaan
● Sebuah keinginan organisasi untuk fokus pada customer intimacy ● Segmentasi pelanggan atau persyaratan layanan berjenjang
● Pengenalan dan penegakan hukum secara tegas pelayanan tingkat ● pelanggan utama, pemasok dan / atau mitra yang membutuhkan proses yang unik (berbeda)
● Kebutuhan perspektif end-to-end yang benar untuk memberikan visibilitas atau integrasi
Produk dan servis
Proses
Informasi
kelincahan).
● Miskin tingkat layanan pemangku kepentingan
● Setiap produk atau layanan memiliki proses sendiri, dengan sebagian besar proses yang umum atau serupa
● produk atau jasa baru terdiri ada produk / unsur pelayanan ● Produk atau jasa yang kompleks
● Kebutuhan penyediaan visibilitas proses dari perspektif end-to-end ● Terlalu banyak tangan-off atau kesenjangan dalam proses, atau proses tidak jelas sama sekali
● Peran yang tidak jelas dan tanggung jawab dari perspektif proses. ● Kualitas miskin dan volume ulang substansial
● Proses mengubah terlalu sering atau tidak sama sekali ● Kurangnya proses standarisasi
● Kurangnya tujuan proses yang jelas atau tujuan
● Kurangnya komunikasi dan pemahaman tentang end-to-end proses oleh pihak melakukan bagian dari proses.
● Pengenalan sistem baru, misalnya CRM, ERP teknologi, sistem penagihan dll
● Pembelian alat otomatisasi BPM (alur kerja, manajemen dokumen, intelijen bisnis), dan organisasi tidak tahu cara terbaik untuk memanfaatkan mereka secara sinergis
● Pentahapan keluar dari sistem aplikasi lama
● Sistem aplikasi yang ada tumpang tindih dan tidak baik dipahami ● Pengenalan arsitektur TI baru
● Sebuah pandangan bahwa IT tidak memberikan harapan bisnis
● Sebuah pandangan bahwa biaya TI di luar kendali atau terlalu mahal
● Pengenalan layanan web
Model proses bisnis menentukan kegiatan, dengan hubungan mereka, yang dilakukan dalam satu organisasi, yaitu, mereka menentukan orkestra proses. Sebuah mesin proses bertindak sebagai agen terpusat untuk mengendalikan orkestra proses. Proses orkestrasi memberikan tampilan rinci tentang kegiatan proses dan kendala eksekusi mereka. Bab ini disusun sebagai berikut. Bagian 4.1 memperkenalkan pola aliran kontrol, tolok ukur dalam proses kontrol struktur aliran. Pola akan dijelaskan baik secara tekstual dan lebih secara resmi menggunakan pendekatan berbasis event-the diperkenalkan pada bab sebelumnya.
Bagian 4.2 memberikan pengenalan kompak untuk Petri jaring. Berbeda dengan konsep sebelumnya Petri net kelas mulai diperkenalkan, termasuk kondisi jaring acara, transisi predikat jaring dan, berwarna jaring petri. Perspektif informal proses bisnis pemodelan diambil di Bagian 4.3, di mana rantai proses-event yang dibahas. Pendekatan ini banyak digunakan dalam domain bisnis untuk model bisnis proses dari pragmatis, titik aplikasi berorientasi pandang. Jaring alur kerja merupakan kelas bersih petri penting disesuaikan terhadap mengekspresikan model proses bisnis; jaring alur kerja dibahas dalam bagian 4.4. Sementara jaring alur kerja sangat cocok untuk proses pemodelan bisnis dan analisis beberapa sifat struktural mereka, jaring alur kerja menunjukkan jumlah keterbatasan. Keterbatasan ini telah menyebabkan pengembangan proses baru bahasa pemodelan, Namun dalam pengertian lain biasa disebut Workflow Bahasa, diperkenalkan di Bagian 4.5.
Bahasa alur kerja berbasis grafik yang juga memperhitungkan data account ketergantungan antara kegiatan proses diselidiki dalam bagian 4.6. Dalam konteks arsitektur berorientasi layanan dan komposisi layanan, Simbol Proses Bisnis Modeling telah diusulkan sebagai sebuah grafis notasi untuk menggabungkan keuntungan dari notasi yang sederhana dan mudah digunakan dan semantik yang jelas. Proses Bisnis Modeling Notasi diperkenalkan di
Bagian 4.7.
4.1 Pola Flow Control
Pola aliran kontrol memberikan tolak ukur untuk mengekspresikan orkestra proses. Pola aliran kontrol yang independen dari bahasa proses beton, sehingga masing-masing pola dapat dinyatakan dalam bahasa proses yang berbeda. Aliran kontrol pola juga dapat digunakan untuk membandingkan ekspresi bahasa proses. Pola aliran kontrol dasar meliputi urutan, dan split, dan dan bergabung, seperti serta eksklusif atau split dan eksklusif atau bergabung. Pola aliran kontrol ini didukung oleh hampir semua proses metamodel. Pola
didefinisikan di tingkat model proses. Semantik eksekusi mereka, bagaimanapun, berlaku untuk memproses kasus.
Pada bagian ini, semantik pola aliran kontrol akan diselidiki atas dasar peristiwa dan penataan acara mereka yang menyiratkan pada contoh proses. Karena kesederhanaannya, pola urutan cocok untuk menjelaskan pendekatan umum. Mempertimbangkan model proses P = (N, E, jenis) menurut Definisi 3.3 dengan model kegiatan A dan B dan arus urutan A! Proses B. Model ini mendefinisikan memesan pada contoh aktivitas yang terkait dengan A dan B dalam konteks proses satu contoh: untuk setiap contoh proses, Kegiatan misalnya terkait dengan B hanya dapat dimulai setelah contoh aktivitas terkait dengan A telah dihentikan.
Akibatnya, proses model membatasi pemesanan peristiwa yang terjadi selama contoh proses. Dalam contoh, acara penghentian kegiatan misalnya terkait dengan model kegiatan A harus terjadi sebelum dimulai acara dari contoh aktivitas yang terkait dengan model aktivitas B. Setiap membangun kontrol aliran diwakili dalam model proses gateway. Seperti contoh aktivitas untuk gateway, misalnya, seorang contoh urutan mengalir memerintahkan eksekusi dua contoh kegiatan. Setiap contoh gerbang memiliki acara dimulai dan acara terminasi. Untuk seragam pengobatan struktur aliran kontrol, urutan juga dianggap sebagai gateway, seperti dibahas di atas. Model aktivitas ditandai dengan huruf kapital, A, B, C,. . ., Sedangkan terkait contoh aktivitas yang dilambangkan dengan a, b, c,. . .. Dalam hal aktivitas beberapa contoh terkait dengan model kegiatan dalam konteks yang diberikan model proses, subskrip digunakan, misalnya, a1, a2,. . .. Gateways biasanya dilambangkan dengan G, dan g adalah turunan dari gateway. Biarkan P menjadi proses model dan proses berdasarkan pada model ini dengan sebuah acara diatur Ep.
Karena link yang kuat antara peristiwa contoh proses dan negara contoh aktivitas, diagram transisi negara yang sudah dibahas di Bagian 3.4 ditunjukkan lagi pada Gambar 4.1. Urutan Pola urutan mendefinisikan bahwa sebuah contoh aktivitas b dalam proses contoh p diaktifkan setelah selesainya kegiatan misalnya di p, dengan model proses, P = (N, E, jenis) yang mengandung model kegiatan A, B, dan model gerbang G sehingga A, B 2 NA, G 2 NG, E? {(A, G), (G, B)}, dan tipe (G) = Berurutan. Penerapan pola urutan A! B menginduksi suatu peristiwa pemesanan antara acara penghentian (dan contoh aktivitas aktivitas Model A) dan b, sehingga b hanya dapat diaktifkan setelah telah dihentikan. Pendekatan ini berkaitan pola aliran kontrol langsung ke transisi negara contoh aktivitas.
terjadi. Perhatikan berjalan itu dan dihentikan adalah negara bahwa contoh aktivitas dapat mengasumsikan, seperti diwakili dalam Gambar 4.1. Dalam proses misalnya p, untuk acara pemutusan ta 2 Ep sebuah contoh kegiatan, ada sebuah mengaktifkan event bb 2 Ep dari suatu kegiatan misalnya b, sehingga ta <eb. Peristiwa dan memesan mereka sebagai disebabkan oleh pola urutan ditampilkan pada Gambar 4.2.
Diskusi menangkap dengan baik kasus aktivitas satu contoh per model kegiatan. Namun, jika model kegiatan merupakan bagian dari lingkaran, maka ada mungkin beberapa contoh kegiatan berdasarkan model aktivitas A dan B. Oleh karena itu, semantik eksekusi pola aliran kontrol urutan perlu disempurnakan sehingga akhirnya untuk setiap acara penghentian beberapa Kegiatan misalnya a1, a2,. . . ada acara memungkinkan sebuah contoh kegiatan
b1, b2,. Sebuah fragmen dari model proses di mana A dan B adalah bagian dari lingkaran ditampilkan pada Gambar 4.3; untuk mewujudkan lingkaran ini, gateway perpecahan eksklusif, eksklusif atau bergabung gateway, dan satu set arus urutan ditambahkan. Sebuah contoh proses berdasarkan model proses ini ditunjukkan pada bagian bawah dari angka itu. Loop mengulangi tiga kali, sehingga kasus aktivitas a1, b1,. . . , A3, b3. Daripada menampilkan semua peristiwa contoh kegiatan tersebut, hanya mengaktifkan dan peristiwa pemutusan ditampilkan. Seperti yang bisa dilihat di diagram acara, di setiap iterasi dari loop,
contoh aktivitas ai Crimping
sebelum bi bisa mulai, untuk i 2 {1, 2, 3}. Namun, pemesanan "pertama maka b" dapat dilanggar jika a dan b milik iterasi yang berbeda dari loop. Misalnya, acara penghentian b1 terjadi sebelum acara dimulai a2.
Dalam rangka untuk menangkap loop benar, perlu untuk menentukan bahwa untuk setiap peristiwa pemutusan dari ada acara memungkinkan b seperti yang ta <bb. Kondisi ini dipenuhi oleh contoh proses: untuk TA1 <EB1, TA2 <EB2, dan TA3 <eb3. Acara orderings ini berhubungan peristiwa pemutusan mengaktifkan peristiwa dan tidak direcly untuk memulai acara. Sejak dimulai acara hanya dapat terjadi setelah masing-masing memungkinkan peristiwa telah terjadi, itu dijamin bahwa peristiwa penghentian ai terjadi sebelum memulai acara bi.
And Split
sehingga E? {(A, G), (G, B), (G, C)} dan tipe (G) = AndSplit. Sejak sehingga model proses P = (N, E, jenis) didefinisikan dengan baik, kami menahan diri dari menyediakan definisi formal P dengan himpunan bagian dari N. And split menentukan bahwa untuk setiap penghentian sebuah contoh kegiatan ada yang memungkinkan peristiwa contoh aktivitas b dan c, dan peristiwa ini terjadi setelah acara penghentian. Oleh karena itu, untuk setiap ta 2 Ep terdapat eb, ec 2 Ep sehingga ta <eb ^ ta <ec.
And Join
And Join adalah titik dalam model proses di mana beberapa benang bersamaan menyatu dalam satu thread tunggal kontrol. Ini adalah asumsi pola ini yang masing-masing cabang yang masuk dijalankan tepat satu kali. Mempertimbangkan model proses dengan model kegiatan B, C, dan D, dan gateway G sehingga E? {(B, G), (C, G), (G, D)} dan tipe (G) = AndJoin. Untuk setiap memungkinkan terjadi suatu kegiatan misalnya d, ada acara penghentian aktivitas contoh b dan c, sehingga peristiwa penghentian terjadi sebelum mengaktifkan acara. Oleh karena itu, untuk setiap ed 2 Ep 9TB, tc 2 Ep sehingga tb <ed ^ tc <ed.
XOR Split
Sebuah xor split atau eksklusif atau perpecahan adalah titik dalam model proses di mana salah satu dari beberapa cabang yang dipilih. Sebuah model proses dengan model kegiatan A, B, dan C dan gateway G sehingga E sebagai ‡ {(A, G), (G, B), (G, C)} dan tipe (G) = XorSplit ditunjukkan pada Gambar 4.6. Semantik eksekusi eksklusif atau perpecahan menentukan bahwa untuk setiap penghentian sebuah contoh kegiatan yang terkait dengan model kegiatan A ada baik sebagai memungkinkan acara kegiatan misalnya b atau memungkinkan peristiwa dari suatu kegiatan misalnya c, tetapi tidak keduanya: untuk setiap t
Sebuah â E p: e b â E p â ‡ "e c â / E p, sehingga baik t a <e b atau t a <e c.
XOR Join
seperti yang saya â {b, c} ada acara e d â E p sehingga t i <e d. Sementara itu adalah asumsi pola
ini bahwa cabang alternatif dan tidak satupun dari mereka yang pernah dijalankan secara paralel, cabang-cabang dapat menjadi bagian dari lingkaran. Tetapi bahkan dalam kasus ini, untuk setiap iterasi dari loop, cabang-cabang yang alternatif dan memiliki eksklusif atau semantik.
Or Split
Sebuah atau perpecahan adalah titik dalam model proses di mana sejumlah cabang yang dipilih. Pemilihan subset tak kosong dari cabang adalah perilaku yang tepat dari satu atau split. Gambar 4.8 menunjukkan model proses dengan model kegiatan A, B, dan C dan gateway G sehingga E sebagai ‡ {(A, G), (G, B), (G, C)} dan tipe (G) = OrSplit. Satu atau perpecahan membatasi peristiwa contoh kegiatan terkait sebagai berikut: untuk setiap acara penghentian ada adalah bagian dari memungkinkan peristiwa b dan c. Secara umum, untuk setiap acara penghentian ada dapat mengaktifkan acara untuk setiap subset dari contoh aktivitas di cabang-cabang keluar dari perpecahan.
Dalam contoh, masing-masing memungkinkan peristiwa e b, e c â E p, dan setiap subset
dari set acara ini mencerminkan perilaku yang dapat diterima dari atau split, asalkan t a <b dan
e t a <e c puas (jika kedua cabang yang dipilih). Tiga jenis perilaku yang tepat dari atau
perpecahan dengan dua sisi keluar ditunjukkan pada Gambar 4.8. Dalam kasus umum di mana atau perpecahan memiliki tepi n keluar, 2 n â '1 Pilihan yang mungkin: semua himpunan
bagian tak kosong yang dapat diciptakan dari kegiatan n.
Or Join
Sebuah atau bergabung adalah titik dalam model proses di mana beberapa benang kontrol menyatu menjadi satu thread tunggal. Ini adalah asumsi pola ini yang cabang yang telah diaktifkan tidak bisa diaktifkan lagi saat penggabungan masih menunggu cabang lain untuk menyelesaikan. Sebuah model proses dengan model kegiatan B, C, dan D, dan gateway G sehingga E sebagai ‡ {(B, G), (C, G), (G, D)} dan tipe (G) = OrJoin ditampilkan pada Gambar-ure 4.9. Setelah semua jalur bercabang aktif selesai dan akhir masing-masing Peristiwa kegiatan terakhir dalam jalur ini telah terjadi, sinkronisasi berlangsung. Pada Gambar 4.9, ada tiga pilihan perilaku untuk bergabung. Entah hanya benang atas diambil dan hanya aktivitas contoh b diaktifkan, atau hanya benang bawah diambil dan c diaktifkan, atau keduanya benang dilakukan dan b dan c keduanya diaktifkan. Secara umum, setiap bagian tak kosong dari benang pilihan yang valid, sehingga 2 n â '1 pilihan diperbolehkan untuk n tepi
Atau bergabung adalah pola aliran kontrol bermasalah. Masalahnya adalah bahwa bergabung tidak bisa secara lokal memutuskan berapa lama untuk menunggu aktivasi. Bahkan dari yang sederhana model proses fragmen yang ditunjukkan pada Gambar 4.9, masalah ini dapat dijelaskan: sekali salah satu cabang yang masuk dipicu, misalnya, oleh pemutusan b, bagaimana seharusnya atau bergabung bereaksi? Ada dua pilihan:
Tunggu: The atau bergabung menunggu sebelum aktivitas misalnya d dipicu, karena jalan masuk lainnya â € "yang melengkapi aktivitas misalnya c â €" masih bisa dijalankan.
Pemicu: bergabung pemicu d segera setelah penghentian b.
Masalahnya adalah bahwa kita tidak bisa memutuskan mana dari alternatif ini yang benar adalah. Setelah cabang masuk pertama telah dihentikan, berapa lama harus menunggu atau bergabung untuk cabang lain untuk menyelesaikan?
Jika tidak ada tambahan pengetahuan tersedia, tidak ada cara untuk memutuskan apakah c akhirnya akan menghentikan untuk th e khususnya proses contoh. Karena ada tidak ada batas atas pada waktu tunggu, mewujudkan alternatif menunggu mengarah pada situasi kebuntuan jika thread kedua tidak pernah diaktifkan. Jika atau bergabung memicu d setelah satu cabang yang masuk diaktifkan, situasi mungkin terjadi di mana c berakhir setelah d sudah mulai! Perilaku ini bertentangan dengan semantik atau bergabung, karena dalam kasus ini ia harus menunggu sampai kedua cabang lengkap. Dalam buku ini, atau bergabung semantik adalah kembali dikunjungi di Bagian 4.6 dan 6.4.
Multi Merge
Sebuah gabungan beberapa atau multi-merge adalah titik dalam model proses di mana dua atau lebih benang bersamaan bergabung tanpa sinkronisasi. Kegiatan berikut penggabungan dimulai untuk setiap aktivasi setiap cabang yang masuk.
Multi-merge secara fungsional setara dengan eksklusif atau bergabung; satu-satunya di ï¬ € selisih adalah bahwa kedua berasumsi bahwa hanya salah satu cabang yang masuk yang akan diaktifkan. Asumsi ini tidak di tempat untuk pola multi-merge. Sebuah model proses dengan model kegiatan B, C, dan D, dan gateway G sehingga E sebagai ‡ {(B, G), (C, G), (G, D)} dan tipe (G) = MultiMerge ditampilkan pada Gambar 4.10. Untuk setiap kegiatan mengakhiri contoh b dan c, satu contoh kegiatan yang terkait dengan model aktivitas D dimulai. Ini berarti bahwa untuk setiap penghentian acara t i â E p, di mana saya â {b, c}, ada
Pola gabungan beberapa menumbuhkan o ï¬ € thread baru kontrol. Benang ini perlu diidentifikasi sehingga masa depan yang bergabung dapat terwujud dengan baik. Aspek-aspek ini diilustrasikan dalam contoh yang ditunjukkan pada Gambar 4.11, di mana model proses dengan perpecahan dan diikuti oleh multi-gabungan ditampilkan. Akibatnya, salah satu benang yang disebabkan oleh perpecahan dan akan bertahan beberapa gabungan dan menelurkan sebuah contoh baru untuk model aktivitas D dan model kegiatan berikut D dalam model proses.
Discriminator
Discriminator adalah titik dalam model proses yang menunggu untuk salah satu cabang yang masuk untuk menyelesaikan sebelum mengaktifkan kegiatan berikutnya. Sejak saat itu ia menunggu untuk semua cabang yang tersisa untuk menyelesaikan dan â € œignoresâ € mereka. Setelah semua cabang yang masuk telah dipicu, itu me-reset sendiri sehingga dapat dipicu lagi. Hal ini memungkinkan discriminator yang akan digunakan dalam konteks lingkaran. Jika mengumpulkan cabang diabaikan bukan bagian dari perilaku fungsional pola diskriminator, tidak akan ada cara untuk membedakan iterasi kedua loop dari cabang akhir dari iterasi pertama. Jika mengumpulkan cabang diabaikan bukan bagian dari perilaku fungsional pola diskriminator, tidak akan ada cara untuk membedakan iterasi kedua loop dari cabang akhir dari iterasi pertama.
menjadi aktif hanya setelah peristiwa penghentian semua sisi masuk yang milik benang yang telah melahirkan kegiatan saat ini telah terjadi. Dalam contoh, d2 hanya dapat diaktifkan setelah operasi penghentian c1 telah terjadi.
N-out-of-M Bergabung
N-out-of-M bergabung adalah generalisasi dari diskriminator tersebut. Ini adalah titik dalam model proses di mana M jalur paralel berkumpul menjadi satu. Kegiatan berikutnya dimulai setelah N â ‰ ¤ M jalur telah selesai dan peristiwa pemutusan masing telah terjadi. Penyelesaian semua jalur yang tersisa adalah ig-nored. Seperti diskriminator, setelah semua cabang yang masuk telah dipecat, bergabung me-reset sendiri sehingga dapat dilakukan lagi. N-out-of-M bergabung diilustrasikan pada Gambar 4.16. Contoh nyata dari N-out-of-M bergabung adalah permintaan untuk proses kutip, di mana kutipan diundang dari lima perusahaan, meskipun proses dapat terus setelah menerima tiga kutipan. Tanpa berdedikasi N-out-of-M bergabung, aturan bisnis ini akan menjadi kompleks untuk model, karena pada desain.waktu itu tidak diketahui yang mana dari perusahaan akan menanggapi permintaan dalam waktu. Ada variasi ini pola aliran kontrol terhadap waktu ketika jumlah N dari su ffi benang efisien ditentukan: dapat ditentukan pada saat desain atau pada waktu berjalan. Run time spesifikasi N perlu dilakukan dalam sebuah contoh kegiatan yang dijalankan sebelum bergabung.
Mungkin ada variasi tambahan dalam spesifikasi waktu desain N-out-of-M bergabung jika itu adalah bagian dari satu lingkaran. Desain waktu spesifikasi N bisa karena itu diambil dalam loop, sehingga iterasi di ï¬ € erent dari loop digunakan di ï¬ nilai € erent N untuk jumlah su ffi benang sien untuk menyelesaikan. N-out-of-M bergabung berdegenerasi ke dan bergabung jika N = M. Untuk N = 1, bagaimanapun, tidak menyadari eksklusif atau bergabung, karena asumsi yang eksklusif atau bergabung tidak terpenuhi (hanya satu thread akan diaktifkan). Juga tidak menyadari multi-merge, karena dalam multi-menggabungkan comple-tion dari kedua dan benang berikut akan memungkinkan kasus tambahan kegiatan tindak lanjut, sementara 1-out-of-M bergabung mengabaikan mereka. 1-out-of-M bergabung, bagaimanapun, menyadari pola diskriminator.
Siklus sewenang-wenang
dan C iterasi. Iterasi diwakili oleh eksklusif atau perpecahan yang memutuskan apakah akan iterate siklus atau apakah untuk meninggalkannya dan melanjutkan aktivitas misalnya d, terkait dengan model aktivitas D. Dalam hal loop iterasi, eksklusif atau bergabung memicu contoh lain terkait dengan Model kegiatan A. Sebagai contoh ini menunjukkan, siklus sewenang-wenang disajikan dengan pola aliran kontrol lainnya, misalnya, eksklusif atau split dan eksklusif atau bergabung. Sejak pola aliran kontrol ini telah ditetapkan sudah, tidak ada definisi tambahan yang diperlukan dalam rangka untuk menentukan pola siklus sewenang-wenang.
Gambar. 4.18. Siklus sewenang-wenang contoh
Sebuah contoh yang lebih kompleks dari siklus yang melibatkan pola multi-gabungan ditunjukkan pada Gambar 4.18. Masalah dalam contoh ini adalah bahwa siklus memasuki salah satu dari dua cabang bersamaan dari dan perpecahan yang cabang bergabung dengan multi-merge. Diagram acara eksekusi ini digambarkan pada Gambar 4.19. Contoh ini menunjukkan bahwa kombinasi pola multi-merge dengan loop dapat menyebabkan perilaku proses bermasalah bahwa desainer proses perlu menyadari untuk menghindari proses yang salah.
Pola terminasi implisit didefinisikan sebagai berikut: proses contoh yang diberikan harus dihentikan ketika tidak ada lagi yang harus dilakukan. Ini berarti, tidak ada aktivitas misalnya dalam contoh proses init, siap, atau menjalankan € "sebagai resultâ dar €" tidak ada contoh aktivitas yang dapat diaktifkan. Sementara pemutusan implisit didefinisikan sebagai salah satu pola aliran kontrol, yang berperan di ï¬ € ers sehubungan dengan pola lainnya. Ini tidak berhubungan contoh kegiatan satu sama lain, seperti, misalnya, pola urutan atau perpecahan dan pola gabungan yang dibahas. Ini merupakan kondisi penghentian proses secara keseluruhan. Dalam beberapa bahasa proses, terminasi eksplisit, karena prosesor bisnis satu negara dalam proses yang menandai selesainya. Jika ada banyak negara di mana proses dapat menghentikan, maka terminasi implisit.
Beberapa Contoh Tanpa Sinkronisasi
kegiatan sebenarnya perlu dipakai untuk melakukan kegiatan pemeriksaan yang diperlukan. beberapa contoh tanpa pola sinkronisasi didefinisikan sebagai fol-terendah. Dalam konteks proses satu contoh, beberapa contoh aktivitas satu model kegiatan dapat dibuat. Tidak ada sinkronisasi contoh kegiatan tersebut yang berlangsung.
Beberapa Contoh Dengan Pengetahuan Priori Desain Waktu
Dalam beberapa contoh dengan pola pengetahuan apriori waktu desain, jumlah kasus aktivitas model aktivitas diketahui pada saat desain. Contoh kegiatan tersebut akan disinkronkan, sehingga semua contoh aktivitas sekali telah selesai, kegiatan tindak lanjut diaktifkan.
Beberapa Contoh Dengan Pengetahuan Priori Run Time
Dalam beberapa contoh dengan pola pengetahuan apriori waktu berjalan, num mengambil contoh dari model aktivitas yang diberikan tergantung pada karakteristik dari kasus atau ketersediaan sumber daya. Oleh karena itu, hanya diketahui pada tahap tertentu selama jangka waktu dari contoh proses, tapi sebelum contoh aktivitas kasus multi-ple diciptakan. Pola ini juga mengasumsikan sinkronisasi contoh kegiatan sebelum kegiatan selanjutnya dapat diaktifkan. Menggunakan model proses yang sudah ditunjukkan pada Gambar 4.21, pola ini dibedakan dari beberapa contoh dengan waktu desain pengetahuan pola dengan spesifikasi jumlah kasus aktivitas. Daripada menetapkan jumlah kasus aktivitas langsung, yang mana kita dapat mendefinisikan ekspresi. Ungkapan ini dievaluasi selama jangka waktu untuk menghitung jumlah kasus aktivitas untuk contoh proses tertentu. Computation ini terjadi sebelum kasus aktivitas aktivitas beberapa contoh diciptakan. Sebuah bahasa proses mungkin memberikan representasi fungsional dari num ber-contoh untuk membuat, sehingga, misalnya, NrOfInstances = GetNoOfLineitems (order); mungkin istilah yang valid. Di sini, jumlah kasus aktivitas dihitung dengan fungsi yang mengambil urutan saat ini dan mengembalikan jumlah item baris di dalamnya. Sebuah contoh kegiatan individu kemudian dilakukan untuk setiap item baris.
Beberapa Contoh Tanpa Pengetahuan Priori Run Time
setiap tahap selama jangka waktu sebelum kasus aktivitas yang diaktifkan. selisih dengan pola sebelumnya adalah ketika beberapa contoh yang sedang dieksekusi atau sudah selesai, contoh aktivitas baru masih bisa dibuat. dalam konteks ini, sampai titik waktu apakah mungkin untuk membuat contoh aktivitas baru dari B.
Salah satu pilihan akan menunjukkan bahwa sementara bs berjalan, kasus baru dari aktivitas beberapa contoh dapat dibuat. Sementara ini adalah pilihan yang valid, realisasi ini mungkin tidak praktis, karena akan menganggap bahwa kasus aktivitas akan mencakup penciptaan kasus baru, sehingga tugas manajemen proses (memulai contoh proses baru) dan melakukan pekerjaan yang sebenarnya. Sebuah solusi alternatif adalah dengan menginstal kegiatan manajemen yang terkait dengan aktivitas beberapa contoh. Kegiatan manajemen ini secara eksplisit mendefinisikan akhir kegiatan beberapa contoh. Hal ini juga bertanggung jawab untuk menciptakan contoh baru dari aktivitas beberapa contoh. Ia bahkan bisa membuat contoh baru setelah semua contoh telah dihentikan. Ini adalah pendekatan yang valid, karena dalam pengaturan yang dinamis, mungkin ada keputusan eksplisit tentang apakah kasus aktivitas tambahan yang diperlukan untuk mencapai tujuan bisnis yang terkait dengan aktivitas beberapa contoh. Dalam alternative yang pertama € "jika aktivitas tindak lanjut secara otomatis diaktifkan setelah kasus saat ini beberapa kegiatan contoh telah completed €" tidak ada pilihan untuk membuat contoh baru dari tugas aktivitas beberapa kali semua contoh telah selesai. Alternatif kedua, dengan tugas manajemen khusus untuk kegiatan beberapa contoh, diilustrasikan pada Gambar 4.23. Dalam diagram acara, tugas manajemen dilambangkan dengan b. Ketika tugas manajemen selesai, tindak lanjut kegiatan misalnya dapat diaktifkan.
Pilihan tangguhan
sampai salah satu cabang alternatif sebenarnya sudah dimulai, saat pilihan ditangguhkan ke titik waktu yang terlambat mungkin. Mengenai negara contoh kegiatan, masing-masing cabang alternatif diwakili oleh satu kegiatan contoh di negara init. Transisi negara dari init ke diaktifkan dipicu oleh lingkungan, misalnya, dengan mengirimkan pesan. Setelah transisi negara telah terjadi, contoh kegiatan yang tidak dipilih masuk ke negara yang dilewati.
Eksekusi Sequential tanpa A Pengetahuan Priori Desain Waktu
Eksekusi sekuensial tanpa pola pengetahuan saat desain digambarkan sebagai berikut: satu set contoh kegiatan dilaksanakan secara berurutan dalam urutan yang memutuskan pada jangka waktu. Tidak ada dua contoh kegiatan dari himpunan ini aktif pada titik yang sama dalam waktu. Awalnya pola ini disebut interleaved paralel routing yang; Namun, ini agak menyesatkan: The contoh aktivitas tidak interleave, dan mereka tidak dieksekusi secara paralel. Mereka dieksekusi berurutan dalam urutan yang didefinisikan sementara contoh proses berjalan. Oleh karena itu, dalam buku ini eksekusi sekuensial jangka tanpa pengetahuan desain waktu sebelum mengacu pada pola ini.
Pola Run Time
Selain pola diperkenalkan di atas, ada dijalankan pola waktu yang ditetapkan bahwa daerah € " bukan bagian dari model proses. Mereka, bukan, ciri fungsi yang disediakan oleh sistem manajemen proses bisnis. Yang pertama dari pola ini adalah membatalkan kegiatan pola. Ketika sebuah contoh activ-dasarkan dibatalkan, memasuki negara dibatalkan. Negara dibatalkan diwakili dalam keadaan diagram transisi canggih untuk contoh aktivitas, yang ditunjukkan pada Gambar 3.11 pada halaman 86. Pola waktu berjalan kedua adalah pola kasus membatalkan, di mana semua kasus active berdasarkan dari contoh proses dibatalkan sehingga contoh proses datang untuk berhenti. Untuk membatalkan sebuah contoh kegiatan, ada di ï¬ € Pilihan tertentu yang bergantung pada lingkungan di mana contoh kegiatan yang sedang dilaksanakan.
4.2 Petri Nets
ecution dari proses bisnis, sehingga semua aspek lain dari perspektif fungsional dan proses yang tidak tercakup. perspective fungsional itu sendiri diperlakukan dengan cara yang abstrak, seperti yang akan dijelaskan di bawah ini. Pada bagian ini, Petri jaring diperkenalkan secara pragmatis. Sebuah tubuh besar literatur yang tersedia di area Jaringan Petri; referensi utama yang relevan dengan manajemen proses bisnis yang dibahas dalam catatan bibliografi. Petri jaring terdiri dari tempat, transisi, dan busur diarahkan menghubungkan tempat dan transisi. Mereka adalah grafik bipartit, sehingga busur tidak pernah menghubungkan dua tempat atau dua transisi. Dalam notasi grafis, tempat diwakili oleh lingkaran, persegi panjang transisi oleh, dan konektor dengan busur diarahkan. Transisi memiliki input dan output tempat. Tempat masukan dari transisi adalah tempat di sumber busur masuk nya. Dengan demikian, transitionâ € ™ s tempat produksi yang terletak di ujung busur keluar nya. Definisi 4.1 Sebuah Petri net adalah tuple (P, T, F) dengan;
Satu set P terbatas tempat,
Satu set T terbatas transisi sehingga T © â P = â ..., dan
Hubungan aliran F sebagai † (P × T) ⪠(T P ×).
Tempat p â P adalah tempat masukan dari transisi t â T jika dan hanya jika ada busur diarahkan dari p ke t, yaitu, jika dan hanya jika (p, t) â F. Set tempat masukan untuk t transisi dilambangkan â € ¢ t.
Tempat p adalah tempat keluaran dari t transisi jika dan hanya jika ada busur diarahkan dari t ke p, yaitu, jika dan hanya jika (t, p) â F. Set tempat output untuk t transisi dinotasikan t â € ¢.
p â € ¢ â € ¢ dan p menunjukkan set transisi yang pangsa p sebagai tempat masukan dan tempat-tempat output, masing-masing. Representasi grafis dari Petri jaring dapat dipetakan ke sebuah tuple (P, T, F), dan sebaliknya. Misalnya, jaring Petri ditunjukkan pada Gambar 4.27 dapat Repre-sented oleh (P, T, F) sehingga
P = {p1, p2, p3, p4, p5, p6, p7},
T = {t1, t2, t3, t4, T5},
F = {(p1, t1), (t1, p2), (p2, t2), (t2, p3), (t2, p4), (p3, t3), (p4, t4), (t3, p5) .
(t4, p6), (p5, T5), (p6, T5), (T5, p7)}.
Definisi 4.2 menandai (atau negara) dari Petri (P, T, F) net didefinisikan oleh fungsi M: P â 'N memetakan set tempat ke alam nomor, di mana N adalah himpunan bilangan termasuk 0.
Penandaan jaring Petri mewakili negaranya. Keadaan bersih Petri ditunjukkan pada Gambar 4.28 diwakili oleh M (p1) = M (p3) = M (p6) = 1 dan M (p2) = M (p4) = M (p5) = M (p7) = 0. Jika tempat yang benar-benar diperintahkan oleh pengenal mereka (seperti, misalnya, di p1, p2,..., p7), penandaan dapat dinyatakan dengan sebuah array. Dalam contoh, M = [1, 0, 1, 0, 0, 1, 0].
4.2.1 Kondisi Kegiatan Nets
Jaring acara Kondisi adalah kelas dasar Petri jaring. Dalam kondisi jaring acara, pada setiap titik waktu, setiap tempat dapat memiliki paling banyak satu token. Token yang tidak terstruktur; mereka tidak memiliki identitas dan karena itu tidak dapat dibedakan dari satu sama lain. Alasan untuk denominasi kelas bersih Petri ini adalah sebagai berikut. Jika token adalah pada tempat p, maka kondisi p terpenuhi. Ketika kebakaran transisi, suatu peristiwa terjadi dan mengubah keadaan bersih event kondisi. Definisi 4.4 Sebuah Petri net (P, T, F) adalah jaring acara kondisi jika M (p) â ‰ ¤ 1 untuk semua tempat p â P dan untuk semua negara M.
Sebuah t transisi diaktifkan dalam M negara jika M (p) = 1 untuk semua masukan menempatkan p t dan M (q) = 0 untuk semua tempat keluaran q t yang tidak tempat masukan pada saat yang sama.
Penembakan t transisi dalam keadaan hasil M di negara M 0, di mana
( € p â € ¢ t) M 0 (p) = M (p) â '1 § (â € p â t â € ¢) M 0 (p) = M (p) + 1.
Sejak, menurut definisi, M (p) = 1 untuk semua masukan menempatkan p t dan M (q) = 0 untuk semua tempat keluaran q t, maka untuk M negara 0 dicapai dengan ini
menembakkan (dengan asumsi tempat output dan input tempat yang menguraikan), ( € p â € ¢ t) M 0 (p) = 0 § (â € p â t berpasangan € ¢) M 0 (p) = 1.
4.2.2 Tempat Transisi Nets
memperhitungkan beberapa token di setiap tempat, transisi memungkinkan kebutuhan untuk dipertimbangkan kembali. Selain itu, beberapa token dapat dikonsumsi dan ditarik dari tempat masukan ketika kebakaran transisi, dan beberapa token dapat pro-yang diinduksi ketika kebakaran transisi, menurut bobot terkait dengan busur terhubung ke transisi. Ekstensi ini dapat direpresentasikan graphi-Cally oleh beberapa busur dari tempat masukan untuk transisi atau dengan busur diberi label dengan bilangan menandai berat badan mereka.
4.2.3 Petri Nets berwarna
Dalam acara jaring kondisi dan tempat jaring transisi adalah mustahil untuk membedakan token dari satu sama lain. Kekurangan ini dalam jenis sederhana Petri jaring ditujukan oleh fitur warna, yang memungkinkan token untuk memiliki nilai-nilai. Seperti variabel dalam bahasa pemrograman, token telah mengetik nilai-nilai. Jenis data token mendefinisikan domain dari nilai-nilai dan operasi yang saat ini ada beberapa varian warna jaring Petri, pengingat dari bagian yang memperkenalkan mereka ini dikembangkan oleh Kurt Jensen. Perilaku transisi dipandu oleh token di tempat input, di penjaga melekat transisi, dan ekspresi yang melekat pada busur, ekspresi busur. Ekspresi busur yang digunakan untuk menentukan apakah transisi diaktifkan. Ekspresi Arc mengevaluasi set, di mana multi-set dapat berisi beberapa elemen yang identik. Ini multi-multi-set menentukan token dihapus dari tempat input dan ditambahkan ke tempat output transisi ketika kebakaran.
4.3 Kegiatan Proses Driver Chains
Rantai proses event adalah notasi penting untuk model aspek domain proses bisnis. Fokus utama dari notasi agak informal ini adalah pada mewakili konsep domain dan proses daripada aspek formal atau realisasi teknis mereka. Rantai proses-event adalah bagian dari pendekatan pemodelan holistik, yang disebut kerangka ARIS; ARIS berdiri Arsitektur Sistem Informasi Terpadu, dan dikembangkan oleh Wilhelm Scheer Agustus.
tampilan fungsi pada tingkat ini. Tampilan data yang diungkapkan oleh teknik pemodelan data menggunakan diagram Entity Relationship. Dalam pandangan kontrol, proses bisnis dijelaskan oleh rantai proses-event, yang juga digunakan untuk mengintegrasikan di € ï¬ pandangan berbeda-beda. Organisasional pandangan di tingkat konsep berkaitan dengan struktur organisasi perusahaan, dijelaskan oleh diagram organisasi. Tingkat arsitektur adalah tingkat menengah, dan bertujuan untuk menjembatani kesenjangan antara tingkat konsep dan tingkat implementasi. Pada tingkat implementasi, langkah-langkah menuju realisasi konkret dari proses bisnis ditangani. Kerangka kerja ini ditentukan oleh satu set metamodels yang menggambarkan berbagai pandangan, mirip dengan perspektif proses bisnis diperkenalkan dalam Bab 3. Pandangan utama adalah sebagai berikut.
Fungsional View: Pemandangan fungsional merupakan tujuan dan sub tujuan dari perusahaan dan hubungan mereka. Secara umum, satu subgoal mungkin con-penghargaan untuk sejumlah tujuan di tingkat yang lebih tinggi. Misalnya, subgoal mengurangi proses bisnis waktu eksekusi kontribusi untuk tujuan kepuasan pelanggan peningkatan dan mengurangi biaya keseluruhan. Pada tingkat yang lebih rendah abstraksi, setiap subgoal dikaitkan dengan satu set fungsi yang berkontribusi terhadap tujuan dan sub-tujuan. Fungsi kemudian hierar-chically terurai sampai granularity yang diinginkan dari fungsi tercapai, mirip dengan dekomposisi fungsional dalam rantai nilai.
Organisasi View: Pemandangan organisasi menggambarkan struktur organisasi suatu perusahaan pada tingkat jenis dan pada tingkat contoh. Ada spesifikasi rinci entitas organisasi, termasuk mereka rela-tionships dan posisi, peran, keterampilan, dan individu yang terkait dengan mereka. Informasi administrasi seperti alamat dari suatu entitas organisasi dapat diwakili. Pandangan organisasi juga mencakup aspek organisasi teknologi informasi dari perusahaan, termasuk sistem utamanya informasi operasional, fasilitas penyimpanan, dan jaringan di-frastructure.
Data View: Tampilan Data mencirikan objek data yang relevan bisnis yang dimanipulasi oleh fungsi selama eksekusi proses bisnis. Diagram Entity Relationship digunakan untuk pemodelan data.
berbeda-beda. Fungsi, misalnya, berhubungan dengan organisasi yang bertanggung jawab untuk melakukan fungsi-fungsi ini. Analog, data dan nilai bisnis artefak yang terkait dengan fungsi, data, dan organisasi, memberikan pandangan yang terintegrasi dari proses bisnis suatu perusahaan.
Pemodelan proses menggunakan rantai proses-event. Blok bangunan utama rantai proses-event adalah peristiwa, fungsi, konektor, dan tepi aliran kontrol, seperti yang ditunjukkan pada Gambar 4.33. Masuknya negara yang relevan bisnis diwakili oleh sebuah acara di sebuah rantai proses-event. Contoh peristiwa yang diterimanya perintah, penyelesaian pengolahan perintah, dan penyelesaian pengiriman produk. Dalam rantai proses-event, acara diwakili oleh segi enam. Acara ditandai dengan string, sering dari urutan jenis diterima, menunjukkan sebuah objek bisnis yang relevan (order) dan perubahan keadaan yang terjadi ke objek in (diterima). Acara memicu fungsi, dan fungsi yang dipicu oleh peristiwa. Acara adalah elemen pasif dalam arti bahwa mereka tidak memberikan keputusan. juga mungkin. Ujung-ujungnya digunakan untuk menyediakan lem antara peristiwa, fungsi, dan konektor.
4.4 Workflow Nets
Rantai proses-event memberikan notasi informal mewakili proses bisnis dan lingkungan mereka. Untuk tepatnya menentukan dan alasan tentang proses bisnis, pendekatan yang lebih formal perlu diselidiki, seperti, Petri jaring. Sementara Petri jaring yang sangat berguna untuk mewakili jenis proses sederhana, proses yang kompleks seperti proses bisnis membutuhkan mekanisme pemodelan maju. Secara khusus, token perlu membawa informasi setidaknya tentang contoh proses yang mereka milik. Jaring alur kerja adalah pendekatan untuk meningkatkan jaring tradisional Petri dengan konsep dan notasi yang memudahkan representasi proses bisnis. Pada saat yang sama, jaring alur kerja memperkenalkan pembatasan struktural yang berguna untuk proses bisnis. Alasan untuk menggunakan Petri jaring jaring umum dan alur kerja khususnya untuk pemodelan proses bisnis adalah sebagai berikut.
Formal Semantik: Proses bisnis dapat didefinisikan secara formal. Pengamatan ini memegang khususnya untuk aspek aliran kontrol dari Petri jaring.
proses bisnis dengan di ï¬ € stakeholder terlibat (meskipun beberapa stakeholder lebih suka teknik semiformal seperti rantai prosesevent ).
Analisis Proses Properti: The semantik formal proses bisnis dinyatakan dalam Petri jaring memungkinkan untuk analisis sifat proses.
Alat Kemerdekaan: Meskipun beberapa alat manajemen proses bisnis didasarkan pada Petri jaring, formalisme sendiri vendor independen.
4.4.1 Definisi
Konsep utama dalam jaring alur kerja diilustrasikan pada Gambar 4.41. Seperti Petri jaring, jaring alur kerja fokus pada perilaku aliran kontrol dari sebuah proses. Tempat mewakili kondisi dan token mewakili contoh proses. Kegiatan dari proses bisnis yang diwakili oleh transisi dalam jaring alur kerja. Karena token mewakili contoh proses bisnis, token menyimpan data applica-tion termasuk proses contoh pengenal, yaitu, token berwarna. Namun, dalam jaring alur kerja, mewarnai token tidak dapat diwakili secara eksplisit, seperti yang akan dibahas lebih rinci di bawah.
Jaring Workflow dapat hierarkis terstruktur. Dalam jaring sampel alur kerja yang ditunjukkan pada Gambar 4.41, ada kegiatan proses bisnis yang kompleks yang diwakili oleh transisi dengan perbatasan ganda. Struktur internal dari aktivitas yang kompleks diwujudkan dengan alur kerja bersih yang berdedikasi lain. Penataan hirarkis jaring alur kerja tidak diselidiki secara rinci; dalam konteks bahasa proses joli-joli, penataan hirarki berdasarkan jaring alur kerja diperpanjang dipelajari.
Berdasarkan pertimbangan ini, jaring alur kerja dapat didefinisikan sebagai jaring Petri dengan pembatasan struktural tertentu.
Definisi 4.8 Sebuah Petri net PN = (P, T, F) disebut alur kerja bersih jika dan hanya jika kondisi berikut terus.
Ada tempat yg saya â P (disebut tempat awal) yang tidak memiliki tepi yang masuk, yaitu, â € ¢ i = â ....
Ada yg tempat o â P (disebut tempat final) yang tidak memiliki keluar-akan tepi, yaitu, o â € ¢ = â ....
Setiap tempat dan setiap transisi terletak pada jalur dari tempat awal untuk tempat final.
proses; Oleh karena itu, setiap tempat dan setiap transisi harus terletak di jalan dari saya untuk o. Sebagai konsekuensi dari sifat-sifat struktural jaring alur kerja, awal tempat saya adalah satu-satunya tempat tanpa tepi yang masuk, dan tempat terakhir adalah satu-satunya tempat tanpa tepi keluar. Jika ada tempat lain i 0 6 = i â P tanpa tepi yang masuk, maka saya
tidak bisa ditemukan di jalan dari saya untuk o, bertentangan dengan definisi alur kerja bersih. Dan jika ada tempat o 0 6 = o â P tanpa tepi keluar, maka o 0 tidak bisa berada di jalan
dari saya untuk o. Oleh karena itu, tempat-tempat dengan sifat-sifat i 0 dan o 0 tidak bisa eksis
dalam jaring alur kerja. Sebuah bersih sampel alur kerja ditunjukkan pada Gambar 4.42. Ini merupakan proses manajemen klaim sederhana di mana, awalnya, klaim tersebut dicatat dan, consaat, laporan saksi dibuat dan status klien diperiksa. Setelah hasil telah dikumpulkan, penilaian klaim dilakukan. Dalam kasus penilaian positif, kerusakan dikompensasi. Dalam kasus penilaian negatif, klaim tersebut ditolak. Akhirnya klaim diajukan dan proses selesai.
4.4.2 Flow Control di Workflow Nets
Kemampuan untuk mewakili struktur aliran kontrol dalam jaring alur kerja adalah investi-gated. Seperti halnya bahasa pemodelan proses lain, konstruk urutan kontrol dapat dengan mudah dinyatakan dalam jaring alur kerja. Pada Gambar 4.43, eksekusi se-quential dari A dan B diwujudkan dengan tempat p dan busur terkait. Sebagaimana ditunjukkan di atas, pelaksanaan kegiatan proses bisnis diwakili oleh penembakan transisi.
Sementara itu cara pertama untuk mewujudkan eksklusif atau semantik adalah untuk memastikan bahwa kondisi yang dipilih dengan cara yang selalu satu dan hanya satu syarat bernilai true. Cara kedua adalah untuk mengevaluasi kondisi tepi keluar dalam rangka. Begitu satu syarat bernilai true, tepi masing dipilih, dan token disimpan di tempat masing-masing. Masalah dengan strategi ini adalah bahwa mungkin ada situasi di mana tidak ada kondisi bernilai true. Jika tidak ada langkah-langkah tambahan yang diambil, maka kasus macet pada saat ini. Masalah ini dapat diatasi dengan mendefinisikan cabang de-kesalahan yang diambil jika tidak ada (ekspresi dari) cabang lain bernilai true. Untuk mengungkapkan perpecahan tertentu dan bergabung perilaku transisi dalam jaring alur kerja, transisi diberi label dengan simbol-simbol tertentu. Ini pelabelan transisi disebut sugaring sintaksis; yang ditunjukkan pada Gambar 4.47.
memberikan informasi tentang siapa atau apa yang bertanggung jawab untuk transisi diaktifkan untuk api. Situasi dalam proses bisnis dunia nyata yang dapat diwakili oleh trigonometri-gers adalah penerimaan pesan elektronik atau time-out timer untuk mengingatkan pegawai batas waktu yang akan datang. Umumnya, proses bisnis sistem mengelola-ment adalah sistem reaktif. Bereaksi terhadap peristiwa di lingkungannya dengan memungkinkan suatu kegiatan. Pemicu memainkan peran penting dalam menginformasikan sistem tentang peristiwa di lingkungan proses yang relevan untuk proses tersebut.
Gambar 4.48 menunjukkan jenis pemicu yang digunakan dalam jaring alur kerja. Transisi yang dapat api segera setelah mereka telah diaktifkan tidak ditandai dengan pemicu; memicu Oleh karena itu otomatis. Misalnya, pemicu otomatis digunakan untuk transisi yang diwujudkan dengan menerapkan sistem perangkat lunak, di mana tidak ada interaksi pengguna diperlukan.
Pemicu pengguna melekat transisi yang memerlukan interaksi manusia. Dengan menandai transisi dengan pemicu petunjuk, modeller proses mengungkapkan fakta bahwa pengguna manusia mengambil inisiatif untuk memulai aktivitas diwakili oleh transisi. Pemicu ini relevan dalam alur kerja interaksi manusia, di mana item pekerjaan yang digunakan untuk berkomunikasi dengan pengguna manusia.
4.4.3 Mewakili Proses Contoh
Jaring Workflow menutupi tingkat model dalam proses pemodelan ANDA € "oleh tokensâ €" tingkat proses contoh juga. Ini berarti bahwa untuk setiap model proses bisnis diwakili oleh jaring alur kerja bisa ada beberapa contoh proses berikut model ini. Setiap contoh proses diwakili oleh satu set token dalam jaring alur kerja. Contoh alur kerja bersih dengan satu set token milik di ï¬ € contoh proses erent ditunjukkan pada Gambar 4.53. Alur kerja bersih merupakan proses bisnis di mana klaim diproses; rincian proses ini tidak relevant untuk memperkenalkan bagaimana contoh proses direpresentasikan dalam jaring alur kerja. Token berwarna; mengandung nilai-nilai. Jika kita abstrak dari data application yang mungkin diwakili oleh token, setiap token membawa setidaknya pengenal proses contoh. Net alur kerja yang ditunjukkan pada Gambar 4.53 memegang token yang mewakili satu set kasus yang bersamaan dieksekusi. Kasus 5 adalah di tempat awal; itu belum dimulai. Kasus 4 tercermin oleh dua token, karena saat ini di cabang paralel. Hal yang sama berlaku untuk kasus 3, tapi untuk kasus 3 transisi Hubungi Klien telah dilakukan.
4.4.4 Diskusi
Jaring Workflow adalah teknik terkenal untuk model proses bisnis dengan cara yang abstrak dan formal. Dalam rangka untuk memberikan latar belakang formal, khususnya dalam konteks sifat kesehatan yang akan diselidiki dalam Bab-ter 6, beberapa pembatasan diperkenalkan. Tanpa pembatasan ini, analisis formal jaring alur kerja tidak akan layak.
Data dan Ketentuan
Data tidak secara eksplisit direpresentasikan dalam jaring alur kerja. Data hanya ditangani dengan cara yang abstrak, oleh yang menunjukkan bahwa token dapat diwarnai, tetapi penggunaan struktur data ini dalam proses ini tidak diselidiki. Sementara bersih alur kerja merupakan struktur satu set contoh proses yang sama (yaitu, model proses), kasus individu yang diwakili oleh ke-kens. Setiap kasus diwakili oleh setidaknya satu token. Secara umum, ketika kasus ini dimulai, ada satu tanda di sumber tempat saya, dan ketika kasus ini selesai, ada satu tanda di tempat wastafel o.
Sistem manajemen alur kerja yang mengontrol berlakunya kasus membutuhkan di ï¬ € erentiating antara token milik di ï¬ € kasus berbeda-beda. Sebuah t transisi dengan tepi yang masuk dari tempat p dan p 0 menyadari suatu dan bergabung. Ini berarti bahwa t hanya dapat
diaktifkan ketika ada token di p dan p 0, dan token ini perlu milik kasus yang sama. Oleh
contoh, sehingga t dapat menyinkronkan cabang diwakili oleh p dan p 0 saja, jika
tempat-tempat ini memiliki token yang termasuk dalam kasus yang sama. Sebagai penyederhanaan sering dilakukan dalam konteks jaring alur kerja, masing-masing bersih alur kerja mengandung token yang termasuk satu kasus. Dalam hal ini, token tidak perlu diketik. Transisi keputusan yang menyadari atau perpecahan dan eksklusif atau perpecahan membutuhkan ekspresi yang dievaluasi untuk setiap proses misalnya untuk memutuskan mana cabang untuk mengambil. Ekspresi keputusan ini juga diabaikan dalam jaring alur kerja.
Keputusan disarikan dari dengan cara berikut: di mana pun ada transisi keputusan, masing-masing cabang alternatif akan diambil pada akhirnya. Asumsi ini mencerminkan non-penentuan menembak di jaring tradisional Petri: beberapa diaktifkan transisi yang berbagi tempat masukan umum akan api secara non deterministik. Asumsi yang sama sekarang di tempat untuk node keputusan dalam jaring alur kerja: setiap ekspresi dalam transisi keputusan akhirnya akan mengevaluasi dengan benar. Ketika menganalisis jaring alur kerja, asumsi ini di tempat untuk mendeteksi kesalahan struktural dalam jaring alur kerja. Kesalahan yang dihasilkan dari kondisi yang salah terkait dengan transisi keputusan, bagaimanapun, tidak dianggap.
Aspek Temporal
Kegiatan di jaring alur kerja diwakili oleh transisi. Ketika kebakaran transi-tion, itu menarik diri token dari tempat input dan menempatkan token di tempat-tempat outputnya, tergantung pada keputusan yang dibuat oleh transisi. Langkah-langkah ini (penarikan token, menentukan di mana untuk menempatkan token, dan akhirnya menempatkan token) di Petri jaring diwakili oleh penembakan transisi, yang tidak mengkonsumsi waktu. Asumsi ini bertentangan dengan contoh aktivitas yang dilakukan membutuhkan waktu. Pengolahan klaim asuransi, persiapan penawaran, dan pengecekan persediaan gudang adalah kegiatan yang membutuhkan waktu.
Ketepatan waktu kasus aktivitas diwakili oleh jaring alur kerja juga im-plies bahwa tidak ada peristiwa dapat terjadi selama sebuah contoh aktivitas. Dalam dunia nyata proses busi-ness, namun, hal ini tidak benar. Banyak hal bisa terjadi selama pelaksanaan kegiatan proses bisnis. Misalnya, sementara persediaan akan-ing diperiksa, item baru dapat masuk gudang. Isu-isu ini tidak tercakup oleh jaring alur kerja; itu adalah tanggung jawab dari alat manajemen proses bisnis untuk memecahkan masalah yang mungkin timbul dari abstraksi ini di jaring alur kerja.
4.5 Bahasa Workflow
Motivasi untuk pengembangan Namun lain Workflow Bahasa (joli-joli) adalah kurangnya bahasa proses yang langsung didukung semua pola aliran kontrol. Meskipun menggunakan jaring alur kerja sebagai bahan utama, semantik eksekusi contoh proses ditentukan oleh sistem transisi negara dan bukan oleh Petri jaring. Pada bagian ini, joli-joli dan dukungan untuk pola aliran kontrol, serta semantik pelaksanaannya, diselidiki. Sementara Petri jaring memberikan formalisme suara untuk mengekspresikan paling pola aliran kontrol, kekurangan berikut telah diidentifikasi yang menghambat ekspresi set lengkap pola aliran kontrol.
Beberapa Contoh: beberapa contoh pola menggambarkan proses bisnis dengan beberapa contoh kegiatan tertentu. Jumlah kegiatan dalam-sikap dari satu model kegiatan tertentu mungkin tidak diketahui pada saat desain. Petri jaring tidak menyediakan sarana yang memadai untuk menggambarkan beberapa contoh tugas.
Pola canggih Sinkronisasi: Petri jaring langsung dapat mengekspresikan dan split / bergabung dan eksklusif atau split / join menggunakan tempat, transisi dan aturan penembakan jaring tradisional Petri. Pola sinkronisasi canggih seperti, misalnya, atau split dan atau bergabung dan pola diskriminator, bagaimanapun, tidak bisa dengan mudah dinyatakan dalam Petri jaring.
Prilaku Nonlokal Firing: memungkinkan kegiatan dalam proses bisnis berbasis pengetahuan onlocal saja. Dalam konteks Petri jaring, kehadiran token di tempat masukan dari transisi menunjukkan aktivasi transisi itu.
membatalkan pesanan pelanggan, di ï¬ € kegiatan erent di di ï¬ € bagian erent dari kebutuhan Jaringan Petri dibatalkan untuk membatalkan pesanan pelanggan secara keseluruhan.
4.5.1 Definisi
Notationwise, joli-joli didasarkan pada jaring alur kerja. Secara khusus, ia menggunakan jaring mantan cenderung alur kerja sebagai blok bangunan untuk spesifikasi alur kerja. Diperpanjang jaring alur kerja meningkatkan jaring alur kerja tradisional dengan kenyamanan notasi (busur langsung antara transisi diperbolehkan), split eksplisit dan bergabung perilaku yang dapat dilampirkan ke transisi, perilaku nonlokal (pada penembakan transisi, bagian diperpanjang alur kerja bersih dibersihkan token ), dan penanganan kasus beberapa tugas.
Karena spesifikasi alur kerja terdiri dari satu set jaring alur kerja diperpanjang, jaring alur kerja diperpanjang didefinisikan. Representasi grafis dari perpecahan dan bergabung perilaku tugas setara dengan yang di jaring alur kerja. Akhirnya, set token yang dihapus ketika tugas dijalankan ditunjukkan oleh garis putus-putus. Ini Representa-tion grafis mungkin menjadi rumit jika tugas dan kondisi yang tersebar di seluruh spesifikasi alur kerja yang besar dan jika beberapa tugas menghapus token.
4.5.2 Sederhana Pola Flow Control
Kita sekarang membahas bagaimana joli-joli mendukung pola aliran kontrol. Hal ini jelas bahwa pola aliran kontrol dasar secara langsung didukung. Pola urutan ditunjukkan pada Gambar 4.55, di mana dua representasi alternatif ditunjukkan: di diperpanjang jaring alur kerja, tepi aliran kontrol dapat langsung menghubungkan A dan B, sehingga tempat kondisi dapat dijatuhkan. Perhatikan bahwa dua representasi ini setara, yaitu, setiap alur kerja bersih diperpanjang dengan kondisi yang menghubungkan dua tugas dapat diubah untuk setara diperpanjang alur kerja bersih dengan koneksi langsung, dan sebaliknya.
4.5.3 Semantik Eksekusi
Semantik eksekusi di joli-joli didefinisikan oleh sistem transisi negara. Setiap spesifikasi alur kerja memiliki sistem transisi negara sesuai yang menggambarkan semantik eksekusi contoh proses berdasarkan itu alur kerja spesifikasi. Aturan diimplementasikan dalam sistem transisi negara yang bersifat generik, sehingga mereka dapat diterapkan untuk setiap spesifikasi alur kerja dinyatakan dalam joli-joli.
gabungan dari semua tugas yang terlibat dalam contoh proses ditambah kondisi yang saat ini bertemu pada tingkat proses.
Contoh tugas
Diagram transisi terdiri dari kondisi diwakili oleh lingkaran dan tran-sitions diwakili oleh empat persegi panjang. Sejak beberapa contoh tugas dapat mengambil lebih dari negara tugas satu contoh, tugas satu contoh diselidiki pertama. Negara diagram transisi untuk tugas-tugas satu contoh ditunjukkan pada Gambar 4.58. Pada bagian ini, contoh tugas diselidiki sebelum transisi negara dia-gram pada tingkat proses diselidiki. Untuk tetap sejalan dengan terminologi di joli-joli, bagian ini menggunakan tugas misalnya istilah yang menggambarkan konsep yang sama seperti contoh kegiatan jangka buku ini telah digunakan sejauh ini.
Gambar. 4.58. Diagram transisi negara untuk tugas satu contoh kondisi berikut ini tersedia untuk contoh tugas:
diaktifkan: Tugas contoh diaktifkan, namun belum mengeksekusi
exec: Tugas misalnya saat mengeksekusi
selesai: Tugas contoh selesai
aktif: Tugas contoh saat ini aktif
Semantik eksekusi contoh tugas ditentukan oleh diagram transisi negara yang ditunjukkan pada Gambar 4.58. Terlepas dari kenyataan bahwa transisi tidak menggunakan Petri net transisi semantik, adalah tepat untuk membahas operasi dasar dari diagram transisi negara dengan terminologi Jaringan Petri.
Ketika contoh tugas dimasukkan, token diletakkan pada kondisi aktif dan diaktifkan. Tugas contoh diaktifkan dapat mulai. Setelah kebakaran awal transisi, contoh tugas memasuki kondisi exec. Ketika contoh tugas selesai, memasuki kondisi selesai; akhirnya, contoh tugas diakhiri dengan menembakkan transisi keluar. Perhatikan bahwa kondisi aktif dan transisi keluar agak buatan untuk tugas satu contoh; peran mereka akan menjadi jelas ketika beberapa contoh tugas ditangani. Untuk meringkas, transisi negara untuk t tugas memiliki berikut seman-tics. Transisi negara memungkinkan pemeriksaan kondisi t bergabung; t mungkin bergabung simpul jenis Dan, XOR, atau Atau, sebagaimana ditentukan oleh bergabung (t). Ketika transisi en bisa terjadi, token masukan seperti yang didefinisikan oleh kondisi bergabung dikeluarkan dari kondisi masukan dari tugas.
mengeksekusi. Penghentian contoh tugas diwakili oleh transisi selesai pada diagram transisi negara. Dalam hal ini, satu token dihapus dari kondisi exec dan satu token ditambahkan ke kondisi selesai.
Contoh proses
Pembahasan diagram transisi diperpanjang dari pandangan lokal tugas individu untuk tampilan proses. Untuk melakukan hal ini, sejumlah definisi yang diperlukan. Definisi pertama memperluas representasi kompak diperpanjang jaring alur kerja dengan cara yang sintaksis sesuai dengan definisi bersih alur kerja: di mana pun ada busur yang menghubungkan dua tugas dalam alur kerja bersih diperpanjang, kondisi baru ditambahkan dan busur dimodifikasi sesuai. Definisi 4.11 Misalkan N = (C, i, o, T, F, split, bergabung, rem, Nofi) menjadi alur kerja bersih diperpanjang. â € ¢ C N ext adalah diperpanjang kondisi
set, sehingga C N ext = C ⪠{c ij | (t i, t j) â F â © T × T} â € ¢ F N ext sebagai † C N ext × T ⪠T × C N ext adalah diperpanjang hubungan arus set, sehingga F N ext = F â 'T × T ⪠{(t i, c ij), (c ij, t j) | (t i, t j) â
F â © T × T}
Definisi ini diilustrasikan oleh contoh, ditunjukkan pada Gambar 4.61, yang menunjukkan alur kerja bersih diperpanjang W 1 = (C 1, i 1, o 1, T 1, F 1, split, bergabung, rem, Nofi), sehingga
C 1 = {i 1, o 1}, T 1 = {A, B, C, D, E, F, G}, split (C) = XOR, dan bergabung (G) = XOR. Aliran
hubungan F 1 diberikan oleh panah pada Gambar 4.61. Mengamati tugas yang F adalah tugas
komposit, referensi diperpanjang alur kerja bersih W 2, dengan C 2 = {i 2, o 2}, T 2 = {H, I}, dan F 2 =
{(i 2, H), (H, I), (I, o 2)}. Untuk sementara waktu, tugas beberapa contoh yang tidak didefinisikan
secara rinci. Alur kerja spesifikasi masing adalah tuple (Q, atas, T, peta), sehingga Q = {W 1, W 2}, atas = W 1, T = {A,. . . Aku}, dan peta (F) = W 2.
Diperpanjang kondisi set dan aliran diperpanjang hubungan ditunjukkan pada Gambar 4.62. Perhatikan bahwa untuk setiap koneksi langsung antara tugas-tugas di asli diperpanjang alur kerja bersih, satu syarat dan busur masing-masing ditambahkan: C 1 ext = {i 1, c AB, c SM, c CD, c CE, c CF, c DG, c EG, c FG, o 1}.
Diperpanjang aliran hubungan F 1 ext diberikan oleh panah pada Gambar 4.62.
Analoginya, kondisi set dan hubungan arus diperpanjang untuk W 2 diberikan oleh C 2 ext = {i 2, c HI, o 2} dan F ext = {(i 2, H), (H, c HI ), (c HI, I), (I, o 2)}.
Karena ada beberapa contoh proses yang sedang tugas ex-ecuted, identitas kasus ini perlu diperhitungkan ketika de-memotong keadaan tugas dan contoh tugas mereka. Oleh karena itu, asumsi-asumsi berikut tentang pengidentifikasi proses dibuat.
Setiap contoh tugas memiliki pengenal tugas contoh unik.
Pengidentifikasi yang terstruktur untuk memungkinkan hubungan anak / orang tua. Ini berarti bahwa setiap tugas identifier contoh dapat dikaitkan dengan proses contoh atau kasus.
Saya menunjukkan set identifier.
Berdasarkan pengidentifikasi kasus dan sistem transisi negara yang dibahas di atas, keadaan alur kerja dapat dicirikan sebagai tas token, di mana setiap token memiliki kondisi dan identifier kasus.
Definisi 4.12 Misalkan S = (Q, atas, T, peta) menjadi joli-joli alur kerja specifica-tion, dan biarkan C = S
N â Q C N ext menjadi diperpanjang kondisi set.
Alur kerja negara s dari contoh proses yang berhubungan dengan alur kerja spesifik-fikasi S adalah multiset lebih Q × I, di mana Q adalah himpunan kondisi semua tugas dalam contoh proses, yaitu,
Q = C ⪠({exec t, aktif t, diaktifkan t, selesai t})
Sebuah negara alur kerja ditandai dengan diagram transisi negara. Diagram transisi negara terdiri dari diagram transisi negara untuk semua tugasnya.
Proses bersarang
Pendekatan mendefinisikan semantik eksekusi contoh proses diagram transisi dapat diperpanjang sesuai dengan proses bersarang. Gambar 4.64 menunjukkan diperpanjang negara diagram transisi untuk tugas-tugas komposit. Ketika sebuah contoh dari tugas komposit dimulai, satu token diletakkan pada negara exec, menunjukkan bahwa contoh tugas sekarang berjalan. Status rinci sub proses yang ditunjukkan di bagian bawah Gambar 4.64. Mulai tugas juga menempatkan token dalam kondisi awal subprocess, ditandai oleh i peta. Elipsis merangkum diagram transisi keadaan sub proses (tanpa awal dan kondisi akhir, tentu saja). Ketika subprocess berakhir, kondisi o peta tercapai, dan transisi lengkap dapat api,
menyelesaikan sebuah contoh dari sub proses tersebut. Perpanjangan diagram transisi negara untuk tugas-tugas komposit atau thogonal untuk contoh banyak tugas, sehingga dengan menambahkan add transisi, beberapa contoh dari tugas komposit, dan karena itu juga beberapa contoh dari subproses, dapat direpresentasikan dengan baik. Contoh dibahas di atas digunakan untuk menyelidiki pelaksanaan tugas composite F direalisasikan oleh alur kerja diperpanjang bersih W 2, yang ditunjukkan pada Gambar 4.62. Sebuah diagram transisi negara parsial
Setelah membahas bagaimana semantik eksekusi ditetapkan, kita dapat menyelidiki pola aliran kontrol maju.
Discriminator
Discriminator adalah jenis tertentu bergabung simpul yang menggunakan sinyal pertama yang diterima untuk memicu tugas keluar. Sinyal lain diabaikan. Ketika sinyal telah diterima dari seluruh cabang yang masuk, diskriminator me-reset sendiri. Para penulis dari Namun lain Workflow Bahasa mengusulkan untuk mensimulasikan perilaku ini pola diskriminator oleh eksklusif atau bergabung dalam kombinasi dengan wilayah pembatalan dengan cara yang ditunjukkan pada Gambar 4.66.
4.5.5 Diskusi
Semantik eksekusi joli-joli baik-ditentukan oleh sistem transisi negara. Representasi melaksanakan tugas dengan sistem transisi negara menggabungkan keadaan transisi diagramsâ € "untuk menggambarkan perilaku dinamis dari kegiatan proses, seperti yang ditunjukkan pada Gambar 3.10a €" dengan tanda Jaringan Petri. Salah satu masalah konseptual ketika mewakili kegiatan proses bisnis oleh Petri jaring adalah ketepatan waktu penembakan transisi. Proses bisnis activ-tanggung meluangkan waktu, mereka memiliki sebuah awal, mereka aktif untuk interval waktu, sebelum mereka menyelesaikan. Berbeda dengan Petri jaring, durasi kegiatan proses baik ditangkap oleh sistem transisi negara di joli-joli. Pada saat yang sama, contoh proses yang diwakili oleh token, mirip dengan tanda-tanda di Petri jaring.
Joli-joli memiliki dukungan yang sangat baik untuk beberapa contoh pola. The spesifik-kasi beberapa contoh benar-benar pergi satu langkah di depan pola aliran kontrol dalam yang memungkinkan kita untuk menentukan ambang contoh tugas selesai. Konstruk model beberapa contoh tugas dalam joli-joli sangat berguna dan memiliki banyak aplikasi dalam proses bisnis dunia nyata. Semantik beberapa contoh tugas ditangani dengan baik oleh sistem transisi negara dalam joli-joli. Add transisi memungkinkan penciptaan dinamis contoh tugas baru sementara contoh tugas aktif; transisi keluar dapat mewujudkan semantik threshold dengan membatalkan semua contoh tugas yang tersisa ketika jumlah ambang kasus diselesaikan telah tercapai.
4.6 Grafik Berbasis Workflow Bahasa
