sequence diagram of verification for workflow correcness (source and …

…compiled png)
ngeiswei · Jun 9, 2021 · 154547d · 154547d
1 parent 350a7ec
commit 154547d
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/ontology/images/verification_for_workflow_correctness.mermaid b/ontology/images/verification_for_workflow_correctness.mermaid
@@ -0,0 +1,19 @@
+sequenceDiagram
+	autonumber 
+	participant fns as fakeNewsScore<br>AI Service
+	participant bc as fnsBinaryClassifier<br>AI Service
+	participant uclnlp as uclnlp<br>AI Service
+	participant verifier as verifier<br>AI Service
+	participant snet as SingularityNET platform
+
+	fns ->> bc: Control: request to do work
+	bc ->> fns: Control: request accepted,<br>Data: [fnsBinaryClassifier.metadata]
+	fns ->> uclnlp: Control: request to do work
+	uclnlp ->> fns: Control: request accepted, Data: [ucnlp.metadata]
+	fns ->> verifier: Control: request to verify, Data [fakeNewsScore.metadata,<br>fnsBinaryClassifier.metadata, ucnlp.metadata, versionNo]
+	loop Verfication
+		verifier -->> snet: Control: request for upper ontology,<br>Data: [versionNo]
+		snet -->> verifier: Control: version exists,<br>Data: [upper-ontology specification]
+		verifier ->> verifier: Compiling and proving correctness
+	end
+	verifier ->> fns: Control: verification passed, Data: [signed proof of verification]
diff --git a/ontology/images/verification_for_workflow_correctness.png b/ontology/images/verification_for_workflow_correctness.png