DerivA Workshop

This workshop goes over the basics of creating a provenance trace in PML manually. The main operations are called "asserting" and "deriving". After completing this workshop, you will be able to use the derivA tool to construct full provenance traces of manual processes.