Permalink
Browse files

SEP 019 fixed formatting.

  • Loading branch information...
nroehner committed Dec 12, 2017
1 parent 03b4d07 commit fbd79eee55581c43a001b0164be1edf3fb0db075
Showing with 4 additions and 4 deletions.
  1. +4 −4 sep_019.md
View
@@ -104,10 +104,10 @@ Provenance semantics are somewhat different from the versioning semantics define
A design-build-test-learn process typically generates new SBOL objects in the order of one or more `ModuleDefinitions` and/or `ComponentDefinitions`, followed by one or more `Implementations`, followed by one or more `Collections` of `Attachments`, followed by one or more `Models`. This order of operations (among others) is compatible with the following best-practice validation rules:
* An `Activity` that contains an `Association` of role "design" SHOULD be referred to by the `wasGeneratedBy` property of at least one `ModuleDefinition` or `ComponentDefinition`. If this `Activity` contains one or more `Usage` objects, then they should each be of role "learn" or "design".
* An `Activity`that contains an `Association` of role "build" SHOULD be referred to by the `wasGeneratedBy` property of at least one `Implementation`. If this `Activity` contains one or more `Usage` objects, then they should each be of role "design" or "build".
* An `Activity`that contains an `Association` of role "test" SHOULD be referred to by the `wasGeneratedBy` property of at least one `Collection` of `Attachment` objects. If this `Activity` contains one or more `Usage` objects, then they should each be of role "build".
* An `Activity` that contains an `Association` of role "learn" SHOULD be referred to by the `wasGeneratedBy` property of at least one `Model`, `Collection` of `Attachment` objects, `ModuleDefinition`, `ComponentDefinition`, or `Sequence`. If this `Activity` contains one or more `Usage` objects, then they should each be of role "test" or "learn".
* An `Activity` that contains an `Association` of role "design" SHOULD be referred to by the `wasGeneratedBy` property of at least one `ModuleDefinition` or `ComponentDefinition`. If this `Activity` contains one or more `Usage` objects, then they SHOULD each be of role "learn" or "design".
* An `Activity`that contains an `Association` of role "build" SHOULD be referred to by the `wasGeneratedBy` property of at least one `Implementation`. If this `Activity` contains one or more `Usage` objects, then they SHOULD each be of role "design" or "build".
* An `Activity`that contains an `Association` of role "test" SHOULD be referred to by the `wasGeneratedBy` property of at least one `Collection` of `Attachment` objects. If this `Activity` contains one or more `Usage` objects, then they SHOULD each be of role "build".
* An `Activity` that contains an `Association` of role "learn" SHOULD be referred to by the `wasGeneratedBy` property of at least one `Model`, `Collection` of `Attachment` objects, `ModuleDefinition`, `ComponentDefinition`, or `Sequence`. If this `Activity` contains one or more `Usage` objects, then they SHOULD each be of role "test" or "learn".
* A `Usage` of role "design" SHOULD refer to a `ModuleDefinition` or `ComponentDefinition`.
* A `Usage` of role "build" SHOULD refer to an `Implementation`.

0 comments on commit fbd79ee

Please sign in to comment.