--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/container-example.pasn Thu Aug 25 10:26:45 2011 +0100
@@ -0,0 +1,89 @@
+
+provenanceContainer(id1, ;;; <- container identifier
+
+
+
+ hasProvenance:
+ provenanceContainer(id2, ;;; <- no provenance for container id2
+ statements: {
+ entity(id1) ;;; <- container seen as a entity
+ isGeneratedBy(id1,p,out)
+
+ processExecution(p,assert,"07-28-2011:10.38am") ;;; <- time of assertion
+
+ entity(a6, [ type: "Person", name: "Luc" ]) ;;; <- luc is an agent
+ agent(a6)
+ isControlledBy(p,a6,"asserter") ;;; <- luc is the asserter
+ }
+
+
+ statements: {
+
+ entity(e0, [ type: "File", location: "/shared/crime.txt", creator: "Alice" ])
+ entity(e1, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "" ])
+ entity(e2, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London last month."])
+ entity(e3, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London and New York last month."])
+ entity(e4)
+ entity(e5)
+ entity(e6, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London and New York last month.", disclaimer: "some text" ])
+
+
+ isDerivedFrom(e2,e1)
+ isDerivedFrom(e3,e2)
+ isDerivedFrom(e4,e2)
+ isDerivedFrom(e5,e3)
+
+ processExecution(pe0,create-file,t)
+ processExecution(pe1,add-crime-in-london,t+1)
+ processExecution(pe2,email,t+2)
+ processExecution(pe3,edit-London-New-York,t+3)
+ processExecution(pe4,email,t+4)
+ processExecution(pe5,spellcheck)
+
+
+ isGeneratedBy(e0,pe0,outFile)
+ isGeneratedBy(e1,pe0,outContent)
+ isGeneratedBy(e2,pe1,out)
+ isGeneratedBy(e3,pe3,out)
+ isGeneratedBy(e4,pe2,attachment)
+ isGeneratedBy(e5,pe4,attachment)
+ isGeneratedBy(e6,pe5,out)
+
+ uses(pe1,e1,in)
+ uses(pe3,e2,in)
+ uses(pe2,e2,in)
+ uses(pe4,e3,in)
+ uses(pe5,e3,fileIn)
+
+ isComplementOf(e1,e0)
+ isComplementOf(e2,e0)
+ isComplementOf(e3,e0)
+ isComplementOf(e6,e3)
+
+ entity(a1, [ type: "Person", name: "Alice" ])
+ agent(a1)
+
+ entity(a2, [ type: "Person", name: "Bob" ])
+ agent(a2)
+
+ entity(a3, [ type: "Person", name: "Charles" ])
+ agent(a3)
+
+ entity(a4, [ type: "Person", name: "David" ])
+ agent(a4)
+
+ entity(a5, [ type: "Person", name: "Edith" ])
+ agent(a5)
+
+ isControlledBy(pe0,a1, creator)
+ isControlledBy(pe1,a2, author)
+ isControlledBy(pe2,a3, communicator)
+ isControlledBy(pe3,a4, author)
+ isControlledBy(pe4,a5, communicator)
+
+
+ }
+
+)
+
+
--- a/model/container-example.txt Thu Aug 25 10:06:49 2011 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,89 +0,0 @@
-
-provenanceContainer(id1, ;;; <- container identifier
-
-
-
- hasProvenance:
- provenanceContainer(id2, ;;; <- no provenance for container id2
- statements: {
- entity(id1, [ type:"ProvenanceContainer" ]) ;;; <- container seen as a entity
- isGeneratedBy(id1,p,out)
-
- processExecution(p,assert,"07-28-2011:10.38am") ;;; <- time of assertion
-
- entity(a6, [ type: "Person", name: "Luc" ]) ;;; <- luc is an agent
- agent(a6)
- isControlledBy(p,a6,"asserter") ;;; <- luc is the asserter
- }
-
-
- statements: {
-
- entity(e0, [ type: "File", location: "/shared/crime.txt", creator: "Alice" ])
- entity(e1, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "" ])
- entity(e2, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London last month."])
- entity(e3, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London and New York last month."])
- entity(e4)
- entity(e5)
- entity(e6, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London and New York last month.", disclaimer: "some text" ])
-
-
- isDerivedFrom(e2,e1)
- isDerivedFrom(e3,e2)
- isDerivedFrom(e4,e2)
- isDerivedFrom(e5,e3)
-
- processExecution(pe0,create-file,t)
- processExecution(pe1,add-crime-in-london,t+1)
- processExecution(pe2,email,t+2)
- processExecution(pe3,edit-London-New-York,t+3)
- processExecution(pe4,email,t+4)
- processExecution(pe5,spellcheck)
-
-
- isGeneratedBy(e0,pe0,outFile)
- isGeneratedBy(e1,pe0,outContent)
- isGeneratedBy(e2,pe1,out)
- isGeneratedBy(e3,pe3,out)
- isGeneratedBy(e4,pe2,attachment)
- isGeneratedBy(e5,pe4,attachment)
- isGeneratedBy(e6,pe5,out)
-
- uses(pe1,e1,in)
- uses(pe3,e2,in)
- uses(pe2,e2,in)
- uses(pe4,e3,in)
- uses(pe5,e3,fileIn)
-
- isComplementOf(e1,e0)
- isComplementOf(e2,e0)
- isComplementOf(e3,e0)
- isComplementOf(e6,e3)
-
- entity(a1, [ type: "Person", name: "Alice" ])
- agent(a1)
-
- entity(a2, [ type: "Person", name: "Bob" ])
- agent(a2)
-
- entity(a3, [ type: "Person", name: "Charles" ])
- agent(a3)
-
- entity(a4, [ type: "Person", name: "David" ])
- agent(a4)
-
- entity(a5, [ type: "Person", name: "Edith" ])
- agent(a5)
-
- isControlledBy(pe0,a1, creator)
- isControlledBy(pe1,a2, author)
- isControlledBy(pe2,a3, communicator)
- isControlledBy(pe3,a4, author)
- isControlledBy(pe4,a5, communicator)
-
-
- }
-
-)
-
-