Towards a Model for Integrating Process Verification in Process-Driven Application Development

QR Kod

Towards a Model for Integrating Process Verification in Process-Driven Application Development

The University of Danang - Journal of Science and Technology (UD-JST); Vol.22, No.11A, 2024; pp: 59-64.

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Nguyen, Thanh Tuan, Le, Thanh Nhan, Hoang, Thi Hoang Ha
Materyal Türü:	Bài viết
Dil:	English
Baskı/Yayın Bilgisi:	The University of Danang - Journal of Science and Technology (UD-JST) 2025
Konular:	Process-Driven applications process Verification Colored Petri Nets BPMN DMN
Online Erişim:	https://elib.vku.udn.vn/handle/123456789/5816
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Thư viện lưu trữ:	Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng

Benzer Materyaller

Formalization of Business Processes and Business Rules Model using Colored Petri Nets
Yazar:: Nguyen, Thanh Tuan, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Implementation of learning path in process control model /
Yazar:: Luo, Junzhou.

Multiparty contracts : Agreeing and implementing interorganizational processes /

Mobile Applications Testing Based on Bigraphs and Dynamic Feature Petri Nets
Yazar:: Nguyen, Thanh Binh, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

"3+3 process" for safety critical software for I&C system in nuclear power plants /
Yazar:: Jung, Jae-Cheon.

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Yazar:: Devillers, R, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Generalized nets /
Yazar:: Atanassov, Krassimir T.
Baskı/Yayın Bilgisi: (1991)

Generalized nets /
Yazar:: Atanassov, Krassimir T.
Baskı/Yayın Bilgisi: (1991)

Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /
Yazar:: Chao, Daniel Y.

Sequence of control in S3PMR /
Yazar:: Shih, Yu-Ying.

BERT-Based Model for Vietnamese Fact Verification Dataset
Yazar:: Tran, Bao, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Applied formal verification
Yazar:: Perry, Douglas L.
Baskı/Yayın Bilgisi: (2005)

A necessary and sufficient condition for the liveness of normal nets /
Yazar:: Liu, GuanJun.

Building a Blockchain-Based Credential Verification System
Yazar:: Mai, The Son, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

First passage time computation in tagged GSPNs with queue places /

Model interchange format specifications for experiments, output and results /
Yazar:: Smith, Connie U.

Verification and validation for quality of UML 2.0 models
Yazar:: Unhelkar, Bhuvan
Baskı/Yayın Bilgisi: (2005)

Chemical process design and integration
Yazar:: Robin Smith
Baskı/Yayın Bilgisi: (2005)

Enterprise, Business-Process and Information Systems Modeling
Yazar:: Gulden, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Color quality of fresh and processed foods
Yazar:: Culver, Catherine A.
Baskı/Yayın Bilgisi: (2008)

Semantic analysis of field sports video using a petri-net of audio-visual concepts /

Automatique productique informatique industrielle
Baskı/Yayın Bilgisi: (1994)

Business driven technology
Yazar:: Phillip, Haag Baltzan
Baskı/Yayın Bilgisi: (2008)

Modeling and verification of real-time systems :
Baskı/Yayın Bilgisi: (2008)

Data-Driven Process Discovery and Analysis
Yazar:: Ceravolo, Paolo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Data-Driven Process Discovery and Analysis
Yazar:: Ceravolo, Paolo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Process imaging for automatic control
Yazar:: Scott, David M.
Baskı/Yayın Bilgisi: (2005)

Events, causality and symmetry /
Yazar:: Winskel, Glynn.

Business Process Automation with ProcessMaker 3.1 . 1st ed.
Yazar:: Majekodunmi, Dipo
Baskı/Yayın Bilgisi: (2020)

Colour image science: Exploiting digital media
Yazar:: Lindsay W. MacDonald
Baskı/Yayın Bilgisi: (2002)

Marketing Analytics: Essential Tools for Data-Driven Decisions
Yazar:: Rajkumar, Venkatesan, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Mathematical modelling of crystallization processes as occurring in polymer processing /
Yazar:: Eder, Gerhard.

Moppet : A model-driven performance engineering framework for wireless sensor networks /
Yazar:: Boonma, Pruet.

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Yazar:: D'Souza, Deepak, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Advanced Machining Processes (Photo) /
Yazar:: EL - Hofy Hassan
Baskı/Yayın Bilgisi: (2005)

Performing with Word Processing Applications
Yazar:: Blanc, Iris

Business Process Crowdsourcing
Yazar:: Thuan, Nguyen Hoang
Baskı/Yayın Bilgisi: (2019)

Lean for the process industries :
Yazar:: King, Peter L.
Baskı/Yayın Bilgisi: (2009)

Fruit and vegetable processing :
Yazar:: Jongen, Wim
Baskı/Yayın Bilgisi: (2002)

Process Mining in Action
Yazar:: Reinkemeyer, Lars
Baskı/Yayın Bilgisi: (2020)