W
Wiwat Vatanawood
Researcher at Chulalongkorn University
Publications - 67
Citations - 265
Wiwat Vatanawood is an academic researcher from Chulalongkorn University. The author has contributed to research in topics: Petri net & Formal verification. The author has an hindex of 8, co-authored 62 publications receiving 196 citations.
Papers
More filters
Proceedings ArticleDOI
Business process ontology for defining user story
TL;DR: The business process ontology for defining user story is proposed, a knowledge base designed to collect the user stories in term of N-triple and the synonym property is introduced to simplify and reduce the number of the nodes in the ontology.
Journal ArticleDOI
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach
TL;DR: This paper proposes a transformation technique and provides a framework for transforming the BPMN design models into colored Petri nets (CPNs), and its techniques cover both the control-flow and data-flow perspectives.
Journal ArticleDOI
Hierarchical Verification for the BPMN Design Model Using State Space Analysis
TL;DR: This paper proposes a hierarchical verification technique for the state space analysis based on a colored Petri net (CPN) that is a viable option for the software process designers and is suitable for the large-scale BPMN design model verification.
Proceedings ArticleDOI
Formal verification of cloud orchestration design with TOSCA and BPEL
TL;DR: The safety properties of the cloud orchestration are focused only and defined using the linear temporal logic formula and the resulting formal model of the superimposition between BPEL and TOSCA defines not only the orchestration of the web services but also their service interfaces and the corresponding high level behaviors of the services.
Proceedings ArticleDOI
An approach to construct formal model of business process model from BPMN workflow patterns
TL;DR: An approach to construct formal model of business process model from given BPMN workflow patterns - basic control-flow patterns, and how to systematically generate the PROMELA template is proposed.