Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Decentralized Workflow Modeling and Execution in Service-Oriented Computing Environment
SOSE '05 Proceedings of the IEEE International Workshop
Simulation and Formal Analysis of Workflow Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Rough intervals---enhancing intervals for qualitative modeling of technical systems
Artificial Intelligence
Workflow pattern analysis in web services orchestration: the BPEL4WS example
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
| Hi-index | 0.00 |
This paper addresses the problems of modeling and verification of complex industrial production lines. The paper proposes a methodology for building business models, organized on layers of increasing complexity, from production line elementary machines and sensors to complex business workflows. The resulted models could be translated and executed by any workflow execution engine. For workflow verification purposes, the model is represented in Process Algebra which allows the verification of the correctness of the business process model and the identification of logical faults since the model design phase. The proposed methodology was used for modeling and verification of a sausage processing line developed in the context of Food Trace [3] research project.