A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
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
2021
Proceedings of the 54th Hawaii International Conference on System Sciences
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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