A comparative assessment of collaborative business process verification approaches
Authors: Kasse, J.P., Xu, L. and de Vrieze, P.
Journal: IFIP Advances in Information and Communication Technology
Volume: 506
Pages: 355-367
ISSN: 1868-4238
DOI: 10.1007/978-3-319-65151-4_33
Abstract:Industry 4.0 is a key strategic trend of the economy. Virtual factories are key building blocks for Industry 4.0 where product design processes, manufacturing processes and general collaborative business processes across factories and enterprises are integrated. In the context of EU H2020 FIRST (vF Interoperation suppoRting buSiness innovaTion) project, end users of vFs are not experts in business process modelling to guarantee correct collaborative business processes for realizing execution. To enable automatic execution of business processes, verification is an important step at the business process design stage to avoid errors at runtime. Research in business process model verification has yielded a plethora of approaches in form of languages and tools that are based on Petri nets family and temporal logic. However, no report specifically targets and presents a comparative assessment of these approaches based on criteria as one we propose. In this paper we present an assessment of the most common verification approaches based on their expressibility, flexibility, suitability and complexity. We also look at how big data impacts the business process verification approach in a data-rich world.
https://eprints.bournemouth.ac.uk/29340/
Source: Scopus
A Comparative Assessment of Collaborative Business Process Verification Approaches
Authors: Kasse, J.P., Xu, L. and de Vrieze, P.
Journal: COLLABORATION IN A DATA-RICH WORLD
Volume: 506
Pages: 355-367
eISSN: 1868-422X
ISSN: 1868-4238
DOI: 10.1007/978-3-319-65151-4_33
https://eprints.bournemouth.ac.uk/29340/
Source: Web of Science (Lite)
A comparative assessment of collaborative business process verification approaches.
Authors: Kasse, J.P., Xu, L. and de Vrieze, P.
Conference: 18th IFIP Working Conference on Virtual Enterprises (PRO-VE 2017)
Dates: 18-20 September 2017
Journal: Springer
Abstract:Industry 4.0 is a key strategic trend of the economy. Virtual factories are key building blocks for Industry 4.0 where product design processes, manufacturing processes and general collaborative business processes across factories and enterprises are integrated. In the context of EU H2020 FIRST (vF Interoperation suppoRting buSiness innovaTion) project, end users of vFs are not experts in business process modelling to guarantee correct collaborative business processes for realizing execution. To enable automatic execution of business processes, verification is an important step at the business process design stage to avoid errors at runtime. Research in business process model verification has yielded a plethora of approaches in form of languages and tools that are based on Petri nets family and temporal logic. However, no report specifically targets and presents a comparative assessment of these approaches based on criteria as one we propose. In this paper we present an assessment of the most common verification approaches based on their expressibility, flexibility, suitability and complexity. We also look at how big data impacts the business process verification approach in a data-rich world.
https://eprints.bournemouth.ac.uk/29340/
Source: Manual
A comparative assessment of collaborative business process verification approaches.
Authors: Kasse, J.P., Xu, L. and de Vrieze, P.T.
Conference: 18th IFIP Working Conference on Virtual Enterprises (PRO-VE 2017)
Abstract:Industry 4.0 is a key strategic trend of the economy. Virtual factories are key building blocks for Industry 4.0 where product design processes, manufacturing processes and general collaborative business processes across factories and enterprises are integrated. In the context of EU H2020 FIRST (vF Interoperation suppoRting buSiness innovaTion) project, end users of vFs are not experts in business process modelling to guarantee correct collaborative business processes for realizing execution. To enable automatic execution of business processes, verification is an important step at the business process design stage to avoid errors at runtime. Research in business process model verification has yielded a plethora of approaches in form of languages and tools that are based on Petri nets family and temporal logic. However, no report specifically targets and presents a comparative assessment of these approaches based on criteria as one we propose. In this paper we present an assessment of the most common verification approaches based on their expressibility, flexibility, suitability and complexity. We also look at how big data impacts the business process verification approach in a data-rich world.
https://eprints.bournemouth.ac.uk/29340/
Source: BURO EPrints