2 Hits in 2.4 sec

WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition [chapter]

Petros Papapanagiotou, Jacques Fleuriot
2017 Lecture Notes in Computer Science  
We present a logic-based system for process specification and composition named WorkflowFM.  ...  This enables the specification of abstract processes as logical sequents and their composition via formal proof.  ...  Conclusion In summary, WorkflowFM is a logic-based framework for workflow modelling.  ... 
doi:10.1007/978-3-319-63046-5_22 fatcat:yruvd2b6zzcfzjhnykllodp2vy

A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows

Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques Fleuriot
2021 Proceedings of the 54th Hawaii International Conference on System Sciences   unpublished
We present a novel application of business process modelling and simulation of manufacturing workflows.  ...  We describe our process and resource modelling efforts in the context of a collaborative project with two manufacturing partners.  ...  We would also like to thank the anonymous reviewers for their constructive feedback.  ... 
doi:10.24251/hicss.2021.122 fatcat:q5nx43c3qfduznq7bq3tuk3sti