@bpmn-ld/bpmn-ld 0.0.0-stage → 0.1.0

package/templates/core.jsonld

@@ -0,0 +1,170 @@
+{
+  "@context": {
+    "@version": 1.1,
+    "@protected": true,
+    "id": "@id",
+    "type": "@type",
+    "xsd": "http://www.w3.org/2001/XMLSchema#",
+    "bpmn": "{{BPMN_NAMESPACE}}",
+    "Process": "bpmn:Process",
+    "SubProcess": "bpmn:SubProcess",
+    "AdHocSubProcess": "bpmn:AdHocSubProcess",
+    "Transaction": "bpmn:Transaction",
+    "Collaboration": "bpmn:Collaboration",
+    "Participant": "bpmn:Participant",
+    "MessageFlow": "bpmn:MessageFlow",
+    "Message": "bpmn:Message",
+    "Signal": "bpmn:Signal",
+    "Error": "bpmn:Error",
+    "Escalation": "bpmn:Escalation",
+    "Association": "bpmn:Association",
+    "LaneSet": "bpmn:LaneSet",
+    "Lane": "bpmn:Lane",
+    "StartEvent": "bpmn:StartEvent",
+    "EndEvent": "bpmn:EndEvent",
+    "CatchEvent": "bpmn:CatchEvent",
+    "ThrowEvent": "bpmn:ThrowEvent",
+    "IntermediateCatchEvent": "bpmn:IntermediateCatchEvent",
+    "IntermediateThrowEvent": "bpmn:IntermediateThrowEvent",
+    "ImplicitThrowEvent": "bpmn:ImplicitThrowEvent",
+    "BoundaryEvent": "bpmn:BoundaryEvent",
+    "MessageEventDefinition": "bpmn:MessageEventDefinition",
+    "TimerEventDefinition": "bpmn:TimerEventDefinition",
+    "ErrorEventDefinition": "bpmn:ErrorEventDefinition",
+    "SignalEventDefinition": "bpmn:SignalEventDefinition",
+    "EscalationEventDefinition": "bpmn:EscalationEventDefinition",
+    "ConditionalEventDefinition": "bpmn:ConditionalEventDefinition",
+    "LinkEventDefinition": "bpmn:LinkEventDefinition",
+    "CompensateEventDefinition": "bpmn:CompensateEventDefinition",
+    "CancelEventDefinition": "bpmn:CancelEventDefinition",
+    "TerminateEventDefinition": "bpmn:TerminateEventDefinition",
+    "SequenceFlow": "bpmn:SequenceFlow",
+    "BusinessRuleTask": "bpmn:BusinessRuleTask",
+    "ManualTask": "bpmn:ManualTask",
+    "ReceiveTask": "bpmn:ReceiveTask",
+    "SendTask": "bpmn:SendTask",
+    "ScriptTask": "bpmn:ScriptTask",
+    "ServiceTask": "bpmn:ServiceTask",
+    "UserTask": "bpmn:UserTask",
+    "ExclusiveGateway": "bpmn:ExclusiveGateway",
+    "ParallelGateway": "bpmn:ParallelGateway",
+    "InclusiveGateway": "bpmn:InclusiveGateway",
+    "EventBasedGateway": "bpmn:EventBasedGateway",
+    "ComplexGateway": "bpmn:ComplexGateway",
+    "Expression": "bpmn:Expression",
+    "FormalExpression": "bpmn:FormalExpression",
+    "DataObject": "bpmn:DataObject",
+    "DataObjectReference": "bpmn:DataObjectReference",
+    "DataStore": "bpmn:DataStore",
+    "DataStoreReference": "bpmn:DataStoreReference",
+    "DataInput": "bpmn:DataInput",
+    "DataOutput": "bpmn:DataOutput",
+    "InputSet": "bpmn:InputSet",
+    "OutputSet": "bpmn:OutputSet",
+    "InputOutputSpecification": "bpmn:InputOutputSpecification",
+    "DataInputAssociation": "bpmn:DataInputAssociation",
+    "DataOutputAssociation": "bpmn:DataOutputAssociation",
+    "Assignment": "bpmn:Assignment",
+    "Unspecified": "bpmn:Unspecified",
+    "Converging": "bpmn:Converging",
+    "Diverging": "bpmn:Diverging",
+    "Mixed": "bpmn:Mixed",
+    "Exclusive": "bpmn:Exclusive",
+    "Parallel": "bpmn:Parallel",
+    "Sequential": "bpmn:Sequential",
+    "Compensate": "bpmn:Compensate",
+    "Image": "bpmn:Image",
+    "Store": "bpmn:Store",
+    "None": "bpmn:None",
+    "One": "bpmn:One",
+    "Both": "bpmn:Both",
+    "Public": "bpmn:Public",
+    "Private": "bpmn:Private",
+    "name": "bpmn:name",
+    "flowElements": { "@id": "bpmn:flowElements", "@container": "@set" },
+    "laneSets": { "@id": "bpmn:laneSets", "@container": "@set" },
+    "lanes": { "@id": "bpmn:lanes", "@container": "@set" },
+    "flowNodeRef": { "@id": "bpmn:flowNodeRef", "@type": "@id", "@container": "@set" },
+    "childLaneSet": { "@id": "bpmn:childLaneSet" },
+    "partitionElement": { "@id": "bpmn:partitionElement" },
+    "partitionElementRef": { "@id": "bpmn:partitionElementRef", "@type": "@id" },
+    "gatewayDirection": { "@id": "bpmn:gatewayDirection", "@type": "@vocab" },
+    "eventGatewayType": { "@id": "bpmn:eventGatewayType", "@type": "@vocab" },
+    "processType": { "@id": "bpmn:processType", "@type": "@vocab" },
+    "isExecutable": { "@id": "bpmn:isExecutable", "@type": "xsd:boolean" },
+    "isImmediate": { "@id": "bpmn:isImmediate", "@type": "xsd:boolean" },
+    "isClosed": { "@id": "bpmn:isClosed", "@type": "xsd:boolean" },
+    "instantiate": { "@id": "bpmn:instantiate", "@type": "xsd:boolean" },
+    "implementation": "bpmn:implementation",
+    "script": "bpmn:script",
+    "scriptFormat": "bpmn:scriptFormat",
+    "eventDefinitionRef": { "@id": "bpmn:eventDefinitionRef", "@type": "@id", "@container": "@set" },
+    "eventDefinitions": { "@id": "bpmn:eventDefinitions", "@container": "@set" },
+    "attachedToRef": { "@id": "bpmn:attachedToRef", "@type": "@id" },
+    "cancelActivity": { "@id": "bpmn:cancelActivity", "@type": "xsd:boolean" },
+    "isInterrupting": { "@id": "bpmn:isInterrupting", "@type": "xsd:boolean" },
+    "triggeredByEvent": { "@id": "bpmn:triggeredByEvent", "@type": "xsd:boolean" },
+    "parallelMultiple": { "@id": "bpmn:parallelMultiple", "@type": "xsd:boolean" },
+    "timeDate": "bpmn:timeDate",
+    "timeDuration": "bpmn:timeDuration",
+    "timeCycle": "bpmn:timeCycle",
+    "errorCode": "bpmn:errorCode",
+    "escalationCode": "bpmn:escalationCode",
+    "waitForCompletion": { "@id": "bpmn:waitForCompletion", "@type": "xsd:boolean" },
+    "sourceRef": { "@id": "bpmn:sourceRef", "@type": "@id" },
+    "targetRef": { "@id": "bpmn:targetRef", "@type": "@id" },
+    "participants": { "@id": "bpmn:participants", "@container": "@set" },
+    "artifacts": { "@id": "bpmn:artifacts", "@container": "@set" },
+    "associationDirection": { "@id": "bpmn:associationDirection", "@type": "@vocab" },
+    "messageFlows": { "@id": "bpmn:messageFlows", "@container": "@set" },
+    "processRef": { "@id": "bpmn:processRef", "@type": "@id" },
+    "messageRef": { "@id": "bpmn:messageRef", "@type": "@id" },
+    "source": { "@id": "bpmn:source", "@type": "@id", "@container": "@set" },
+    "target": { "@id": "bpmn:target", "@type": "@id" },
+    "itemRef": { "@id": "bpmn:itemRef", "@type": "@id" },
+    "signalRef": { "@id": "bpmn:signalRef", "@type": "@id" },
+    "errorRef": { "@id": "bpmn:errorRef", "@type": "@id" },
+    "escalationRef": { "@id": "bpmn:escalationRef", "@type": "@id" },
+    "activityRef": { "@id": "bpmn:activityRef", "@type": "@id" },
+    "structureRef": { "@id": "bpmn:structureRef", "@type": "@id" },
+    "operationRef": { "@id": "bpmn:operationRef", "@type": "@id" },
+    "default": { "@id": "bpmn:default", "@type": "@id" },
+    "conditionExpression": { "@id": "bpmn:conditionExpression" },
+    "method": { "@id": "bpmn:method", "@type": "@vocab" },
+    "isForCompensation": { "@id": "bpmn:isForCompensation", "@type": "xsd:boolean" },
+    "startQuantity": { "@id": "bpmn:startQuantity", "@type": "xsd:nonNegativeInteger" },
+    "completionQuantity": { "@id": "bpmn:completionQuantity", "@type": "xsd:nonNegativeInteger" },
+    "completionCondition": { "@id": "bpmn:completionCondition" },
+    "condition": { "@id": "bpmn:condition" },
+    "activationCondition": { "@id": "bpmn:activationCondition" },
+    "evaluatesToTypeRef": { "@id": "bpmn:evaluatesToTypeRef", "@type": "@id" },
+    "ordering": { "@id": "bpmn:ordering", "@type": "@vocab" },
+    "cancelRemainingInstances": { "@id": "bpmn:cancelRemainingInstances", "@type": "xsd:boolean" },
+    "language": "bpmn:language",
+    "body": "bpmn:body",
+    "ioSpecification": { "@id": "bpmn:ioSpecification" },
+    "dataInputs": { "@id": "bpmn:dataInputs", "@container": "@set" },
+    "dataOutputs": { "@id": "bpmn:dataOutputs", "@container": "@set" },
+    "inputSets": { "@id": "bpmn:inputSets", "@container": "@set" },
+    "outputSets": { "@id": "bpmn:outputSets", "@container": "@set" },
+    "dataInputRefs": { "@id": "bpmn:dataInputRefs", "@type": "@id", "@container": "@set" },
+    "optionalInputRefs": { "@id": "bpmn:optionalInputRefs", "@type": "@id", "@container": "@set" },
+    "whileExecutingInputRefs": { "@id": "bpmn:whileExecutingInputRefs", "@type": "@id", "@container": "@set" },
+    "outputSetRefs": { "@id": "bpmn:outputSetRefs", "@type": "@id", "@container": "@set" },
+    "dataOutputRefs": { "@id": "bpmn:dataOutputRefs", "@type": "@id", "@container": "@set" },
+    "optionalOutputRefs": { "@id": "bpmn:optionalOutputRefs", "@type": "@id", "@container": "@set" },
+    "whileExecutingOutputRefs": { "@id": "bpmn:whileExecutingOutputRefs", "@type": "@id", "@container": "@set" },
+    "inputSetRefs": { "@id": "bpmn:inputSetRefs", "@type": "@id", "@container": "@set" },
+    "dataInputAssociations": { "@id": "bpmn:dataInputAssociations", "@container": "@set" },
+    "dataOutputAssociations": { "@id": "bpmn:dataOutputAssociations", "@container": "@set" },
+    "transformation": { "@id": "bpmn:transformation" },
+    "assignments": { "@id": "bpmn:assignments", "@container": "@set" },
+    "from": { "@id": "bpmn:from" },
+    "to": { "@id": "bpmn:to" },
+    "dataObjectRef": { "@id": "bpmn:dataObjectRef", "@type": "@id" },
+    "dataStoreRef": { "@id": "bpmn:dataStoreRef", "@type": "@id" },
+    "isCollection": { "@id": "bpmn:isCollection", "@type": "xsd:boolean" },
+    "capacity": { "@id": "bpmn:capacity", "@type": "xsd:integer" },
+    "isUnlimited": { "@id": "bpmn:isUnlimited", "@type": "xsd:boolean" }
+  }
+}

package/templates/core.shapes.ttl

@@ -0,0 +1,398 @@
+@prefix bpmn: <{{BPMN_NAMESPACE}}> .
+@prefix bpmndi: <{{BPMNDI_NAMESPACE}}> .
+@prefix shapes: <{{BPMN_SHAPES_NAMESPACE}}> .
+@prefix sh: <http://www.w3.org/ns/shacl#> .
+
+shapes:StartEventShape a sh:NodeShape ;
+    sh:targetClass bpmn:StartEvent ;
+    sh:property shapes:StartEventNoIncomingSequenceFlow .
+
+shapes:StartEventNoIncomingSequenceFlow a sh:PropertyShape ;
+    sh:path [ sh:inversePath bpmn:targetRef ] ;
+    sh:node [ sh:not [ sh:class bpmn:SequenceFlow ] ] ;
+    sh:message "A start event must not have an incoming sequence flow." .
+
+shapes:EndEventShape a sh:NodeShape ;
+    sh:targetClass bpmn:EndEvent ;
+    sh:property shapes:EndEventNoOutgoingSequenceFlow .
+
+shapes:EndEventNoOutgoingSequenceFlow a sh:PropertyShape ;
+    sh:path [ sh:inversePath bpmn:sourceRef ] ;
+    sh:node [ sh:not [ sh:class bpmn:SequenceFlow ] ] ;
+    sh:message "An end event must not have an outgoing sequence flow." .
+
+shapes:SequenceFlowEndpointsShape a sh:NodeShape ;
+    sh:targetClass bpmn:SequenceFlow ;
+    sh:property shapes:SequenceFlowExactlyOneSourceRef, shapes:SequenceFlowExactlyOneTargetRef .
+
+shapes:SequenceFlowExactlyOneSourceRef a sh:PropertyShape ;
+    sh:path bpmn:sourceRef ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "A sequence flow must have exactly one sourceRef." .
+
+shapes:SequenceFlowExactlyOneTargetRef a sh:PropertyShape ;
+    sh:path bpmn:targetRef ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "A sequence flow must have exactly one targetRef." .
+
+shapes:SequenceFlowNodesShape a sh:NodeShape ;
+    sh:targetClass bpmn:SequenceFlow ;
+    sh:property shapes:SequenceFlowSourceIsFlowNode, shapes:SequenceFlowTargetIsFlowNode .
+
+shapes:SequenceFlowSourceIsFlowNode a sh:PropertyShape ;
+    sh:path bpmn:sourceRef ;
+    sh:class bpmn:FlowNode ;
+    sh:message "The source of a sequence flow must be a flow node." .
+
+shapes:SequenceFlowTargetIsFlowNode a sh:PropertyShape ;
+    sh:path bpmn:targetRef ;
+    sh:class bpmn:FlowNode ;
+    sh:message "The target of a sequence flow must be a flow node." .
+
+shapes:MessageFlowEndpointsShape a sh:NodeShape ;
+    sh:targetClass bpmn:MessageFlow ;
+    sh:property shapes:MessageFlowExactlyOneSourceRef, shapes:MessageFlowExactlyOneTargetRef .
+
+shapes:MessageFlowExactlyOneSourceRef a sh:PropertyShape ;
+    sh:path bpmn:sourceRef ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "A message flow must have exactly one sourceRef." .
+
+shapes:MessageFlowExactlyOneTargetRef a sh:PropertyShape ;
+    sh:path bpmn:targetRef ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "A message flow must have exactly one targetRef." .
+
+shapes:MessageRefShape a sh:NodeShape ;
+    sh:targetClass bpmn:MessageFlow, bpmn:MessageEventDefinition, bpmn:SendTask, bpmn:ReceiveTask ;
+    sh:property shapes:MessageRefIsMessage, shapes:MessageRefAtMostOne .
+
+shapes:MessageRefIsMessage a sh:PropertyShape ;
+    sh:path bpmn:messageRef ;
+    sh:class bpmn:Message ;
+    sh:message "A message reference must name a message defined in the document." .
+
+shapes:MessageRefAtMostOne a sh:PropertyShape ;
+    sh:path bpmn:messageRef ;
+    sh:maxCount 1 ;
+    sh:message "A message flow, message event definition, send task or receive task must reference at most one message." .
+
+shapes:SignalRefShape a sh:NodeShape ;
+    sh:targetClass bpmn:SignalEventDefinition ;
+    sh:property shapes:SignalRefIsSignal, shapes:SignalRefAtMostOne .
+
+shapes:SignalRefIsSignal a sh:PropertyShape ;
+    sh:path bpmn:signalRef ;
+    sh:class bpmn:Signal ;
+    sh:message "A signal reference must name a signal defined in the document." .
+
+shapes:SignalRefAtMostOne a sh:PropertyShape ;
+    sh:path bpmn:signalRef ;
+    sh:maxCount 1 ;
+    sh:message "A signal event definition must reference at most one signal." .
+
+shapes:ErrorRefShape a sh:NodeShape ;
+    sh:targetClass bpmn:ErrorEventDefinition ;
+    sh:property shapes:ErrorRefIsError, shapes:ErrorRefAtMostOne .
+
+shapes:ErrorRefIsError a sh:PropertyShape ;
+    sh:path bpmn:errorRef ;
+    sh:class bpmn:Error ;
+    sh:message "An error reference must name an error defined in the document." .
+
+shapes:ErrorRefAtMostOne a sh:PropertyShape ;
+    sh:path bpmn:errorRef ;
+    sh:maxCount 1 ;
+    sh:message "An error event definition must reference at most one error." .
+
+shapes:EscalationRefShape a sh:NodeShape ;
+    sh:targetClass bpmn:EscalationEventDefinition ;
+    sh:property shapes:EscalationRefIsEscalation, shapes:EscalationRefAtMostOne .
+
+shapes:EscalationRefIsEscalation a sh:PropertyShape ;
+    sh:path bpmn:escalationRef ;
+    sh:class bpmn:Escalation ;
+    sh:message "An escalation reference must name an escalation defined in the document." .
+
+shapes:EscalationRefAtMostOne a sh:PropertyShape ;
+    sh:path bpmn:escalationRef ;
+    sh:maxCount 1 ;
+    sh:message "An escalation event definition must reference at most one escalation." .
+
+shapes:ActivityRefShape a sh:NodeShape ;
+    sh:targetClass bpmn:CompensateEventDefinition ;
+    sh:property shapes:ActivityRefIsActivity, shapes:ActivityRefAtMostOne .
+
+shapes:ActivityRefIsActivity a sh:PropertyShape ;
+    sh:path bpmn:activityRef ;
+    sh:class bpmn:Activity ;
+    sh:message "An activity reference must name an activity defined in the document." .
+
+shapes:ActivityRefAtMostOne a sh:PropertyShape ;
+    sh:path bpmn:activityRef ;
+    sh:maxCount 1 ;
+    sh:message "A compensate event definition must reference at most one activity." .
+
+shapes:DefaultFlowShape a sh:NodeShape ;
+    sh:targetObjectsOf bpmn:default ;
+    sh:property shapes:DefaultFlowSourcedFromOwner, shapes:DefaultFlowHasNoCondition .
+
+shapes:DefaultFlowSourcedFromOwner a sh:PropertyShape ;
+    sh:path [ sh:inversePath bpmn:default ] ;
+    sh:equals bpmn:sourceRef ;
+    sh:message "A default flow must be an outgoing sequence flow of the node that declares it." .
+
+shapes:DefaultFlowHasNoCondition a sh:PropertyShape ;
+    sh:path bpmn:conditionExpression ;
+    sh:maxCount 0 ;
+    sh:message "A default flow must not have a condition expression." .
+
+shapes:NoDefaultFlowGatewayShape a sh:NodeShape ;
+    sh:targetClass bpmn:ParallelGateway, bpmn:EventBasedGateway ;
+    sh:property shapes:NoDefaultFlowOnGateway .
+
+shapes:NoDefaultFlowOnGateway a sh:PropertyShape ;
+    sh:path bpmn:default ;
+    sh:maxCount 0 ;
+    sh:message "A parallel or event-based gateway must not have a default flow." .
+
+shapes:BoundaryEventShape a sh:NodeShape ;
+    sh:targetClass bpmn:BoundaryEvent ;
+    sh:property shapes:BoundaryEventExactlyOneAttachedToRef .
+
+shapes:BoundaryEventExactlyOneAttachedToRef a sh:PropertyShape ;
+    sh:path bpmn:attachedToRef ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "A boundary event must be attached to exactly one activity." .
+
+shapes:SequenceFlowEventSubProcessShape a sh:NodeShape ;
+    sh:targetClass bpmn:SequenceFlow ;
+    sh:property shapes:SequenceFlowSourceNotEventSubProcess, shapes:SequenceFlowTargetNotEventSubProcess .
+
+shapes:SequenceFlowSourceNotEventSubProcess a sh:PropertyShape ;
+    sh:path bpmn:sourceRef ;
+    sh:node shapes:NotEventSubProcess ;
+    sh:message "An event sub-process must not have an outgoing sequence flow." .
+
+shapes:SequenceFlowTargetNotEventSubProcess a sh:PropertyShape ;
+    sh:path bpmn:targetRef ;
+    sh:node shapes:NotEventSubProcess ;
+    sh:message "An event sub-process must not have an incoming sequence flow." .
+
+shapes:NotEventSubProcess a sh:NodeShape ;
+    sh:not [ sh:property [ sh:path bpmn:triggeredByEvent ; sh:hasValue true ] ] .
+
+shapes:ConditionalEventDefinitionShape a sh:NodeShape ;
+    sh:targetClass bpmn:ConditionalEventDefinition ;
+    sh:property shapes:ConditionalEventDefinitionAtMostOneCondition .
+
+shapes:ConditionalEventDefinitionAtMostOneCondition a sh:PropertyShape ;
+    sh:path bpmn:condition ;
+    sh:maxCount 1 ;
+    sh:message "A conditional event definition must have at most one condition." .
+
+shapes:ComplexGatewayShape a sh:NodeShape ;
+    sh:targetClass bpmn:ComplexGateway ;
+    sh:property shapes:ComplexGatewayAtMostOneActivationCondition .
+
+shapes:ComplexGatewayAtMostOneActivationCondition a sh:PropertyShape ;
+    sh:path bpmn:activationCondition ;
+    sh:maxCount 1 ;
+    sh:message "A complex gateway must have at most one activation condition." .
+
+shapes:FormalExpressionShape a sh:NodeShape ;
+    sh:targetClass bpmn:FormalExpression ;
+    sh:property shapes:FormalExpressionAtMostOneEvaluatesToTypeRef .
+
+shapes:FormalExpressionAtMostOneEvaluatesToTypeRef a sh:PropertyShape ;
+    sh:path bpmn:evaluatesToTypeRef ;
+    sh:maxCount 1 ;
+    sh:message "A formal expression must have at most one evaluatesToTypeRef." .
+
+shapes:ExpressionShape a sh:NodeShape ;
+    sh:targetClass bpmn:Expression ;
+    sh:property shapes:ExpressionHasBody .
+
+shapes:ExpressionHasBody a sh:PropertyShape ;
+    sh:path bpmn:body ;
+    sh:minCount 1 ;
+    sh:message "An expression must have a body." .
+
+shapes:DataAssociationTargetShape a sh:NodeShape ;
+    sh:targetClass bpmn:DataInputAssociation, bpmn:DataOutputAssociation ;
+    sh:property shapes:DataAssociationExactlyOneTargetRef, shapes:DataAssociationTargetIsItemAware, shapes:DataAssociationSourceIsItemAware .
+
+shapes:DataAssociationExactlyOneTargetRef a sh:PropertyShape ;
+    sh:path bpmn:targetRef ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "A data association must have exactly one targetRef." .
+
+shapes:DataAssociationTargetIsItemAware a sh:PropertyShape ;
+    sh:path bpmn:targetRef ;
+    sh:class bpmn:ItemAwareElement ;
+    sh:message "The target of a data association must be an item-aware element." .
+
+shapes:DataAssociationSourceIsItemAware a sh:PropertyShape ;
+    sh:path bpmn:sourceRef ;
+    sh:class bpmn:ItemAwareElement ;
+    sh:message "The sources of a data association must be item-aware elements." .
+
+shapes:AssignmentShape a sh:NodeShape ;
+    sh:targetClass bpmn:Assignment ;
+    sh:property shapes:AssignmentExactlyOneFrom, shapes:AssignmentExactlyOneTo .
+
+shapes:AssignmentExactlyOneFrom a sh:PropertyShape ;
+    sh:path bpmn:from ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "An assignment must have exactly one from expression." .
+
+shapes:AssignmentExactlyOneTo a sh:PropertyShape ;
+    sh:path bpmn:to ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "An assignment must have exactly one to expression." .
+
+shapes:IoSpecificationShape a sh:NodeShape ;
+    sh:targetClass bpmn:InputOutputSpecification ;
+    sh:property shapes:IoSpecificationHasInputSet, shapes:IoSpecificationHasOutputSet .
+
+shapes:IoSpecificationHasInputSet a sh:PropertyShape ;
+    sh:path bpmn:inputSets ;
+    sh:minCount 1 ;
+    sh:message "An input output specification must have at least one input set." .
+
+shapes:IoSpecificationHasOutputSet a sh:PropertyShape ;
+    sh:path bpmn:outputSets ;
+    sh:minCount 1 ;
+    sh:message "An input output specification must have at least one output set." .
+
+shapes:DataObjectReferenceShape a sh:NodeShape ;
+    sh:targetClass bpmn:DataObjectReference ;
+    sh:property shapes:DataObjectReferenceAtMostOneDataObjectRef .
+
+shapes:DataObjectReferenceAtMostOneDataObjectRef a sh:PropertyShape ;
+    sh:path bpmn:dataObjectRef ;
+    sh:maxCount 1 ;
+    sh:message "A data object reference must refer to at most one data object." .
+
+shapes:DataStoreReferenceShape a sh:NodeShape ;
+    sh:targetClass bpmn:DataStoreReference ;
+    sh:property shapes:DataStoreReferenceAtMostOneDataStoreRef .
+
+shapes:DataStoreReferenceAtMostOneDataStoreRef a sh:PropertyShape ;
+    sh:path bpmn:dataStoreRef ;
+    sh:maxCount 1 ;
+    sh:message "A data store reference must refer to at most one data store." .
+
+shapes:AssociationEndpointsShape a sh:NodeShape ;
+    sh:targetClass bpmn:Association ;
+    sh:property shapes:AssociationExactlyOneSourceRef, shapes:AssociationExactlyOneTargetRef .
+
+shapes:AssociationExactlyOneSourceRef a sh:PropertyShape ;
+    sh:path bpmn:sourceRef ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "An association must have exactly one sourceRef." .
+
+shapes:AssociationExactlyOneTargetRef a sh:PropertyShape ;
+    sh:path bpmn:targetRef ;
+    sh:minCount 1 ;
+    sh:maxCount 1 ;
+    sh:message "An association must have exactly one targetRef." .
+
+shapes:ActivityQuantitiesShape a sh:NodeShape ;
+    sh:targetClass bpmn:Activity ;
+    sh:property shapes:ActivityStartQuantity, shapes:ActivityCompletionQuantity .
+
+shapes:ActivityStartQuantity a sh:PropertyShape ;
+    sh:path bpmn:startQuantity ;
+    sh:maxCount 1 ;
+    sh:minInclusive 0 ;
+    sh:message "The start quantity of an activity must be a single non-negative integer." .
+
+shapes:ActivityCompletionQuantity a sh:PropertyShape ;
+    sh:path bpmn:completionQuantity ;
+    sh:maxCount 1 ;
+    sh:minInclusive 0 ;
+    sh:message "The completion quantity of an activity must be a single non-negative integer." .
+
+shapes:LinkEventDefinitionReferenceShape a sh:NodeShape ;
+    sh:targetClass bpmn:LinkEventDefinition ;
+    sh:property shapes:LinkEventDefinitionSourceIsLinkEventDefinition, shapes:LinkEventDefinitionTargetIsLinkEventDefinition, shapes:LinkEventDefinitionAtMostOneTarget .
+
+shapes:LinkEventDefinitionSourceIsLinkEventDefinition a sh:PropertyShape ;
+    sh:path bpmn:source ;
+    sh:class bpmn:LinkEventDefinition ;
+    sh:message "A link source must be a link event definition defined in the document." .
+
+shapes:LinkEventDefinitionTargetIsLinkEventDefinition a sh:PropertyShape ;
+    sh:path bpmn:target ;
+    sh:class bpmn:LinkEventDefinition ;
+    sh:message "A link target must be a link event definition defined in the document." .
+
+shapes:LinkEventDefinitionAtMostOneTarget a sh:PropertyShape ;
+    sh:path bpmn:target ;
+    sh:maxCount 1 ;
+    sh:message "A link event definition must have at most one target." .
+
+shapes:LaneSingleValuesShape a sh:NodeShape ;
+    sh:targetClass bpmn:Lane ;
+    sh:property shapes:LaneAtMostOnePartitionElement, shapes:LaneAtMostOnePartitionElementRef .
+
+shapes:LaneAtMostOnePartitionElement a sh:PropertyShape ;
+    sh:path bpmn:partitionElement ;
+    sh:maxCount 1 ;
+    sh:message "A lane must have at most one partitionElement." .
+
+shapes:LaneAtMostOnePartitionElementRef a sh:PropertyShape ;
+    sh:path bpmn:partitionElementRef ;
+    sh:maxCount 1 ;
+    sh:message "A lane must have at most one partitionElementRef." .
+
+shapes:SequenceFlowAtMostOneIsImmediateShape a sh:NodeShape ;
+    sh:targetClass bpmn:SequenceFlow ;
+    sh:property shapes:SequenceFlowAtMostOneIsImmediate .
+
+shapes:SequenceFlowAtMostOneIsImmediate a sh:PropertyShape ;
+    sh:path bpmn:isImmediate ;
+    sh:maxCount 1 ;
+    sh:message "A sequence flow must have at most one isImmediate value." .
+
+shapes:DiagramSingleValuesShape a sh:NodeShape ;
+    sh:targetClass bpmndi:BPMNDiagram ;
+    sh:property shapes:DiagramAtMostOneName, shapes:DiagramAtMostOneResolution .
+
+shapes:DiagramAtMostOneName a sh:PropertyShape ;
+    sh:path bpmn:name ;
+    sh:maxCount 1 ;
+    sh:message "A diagram must have at most one name." .
+
+shapes:DiagramAtMostOneResolution a sh:PropertyShape ;
+    sh:path bpmndi:resolution ;
+    sh:maxCount 1 ;
+    sh:message "A diagram must have at most one resolution." .
+
+shapes:EdgeAtMostOneMessageVisibleKindShape a sh:NodeShape ;
+    sh:targetClass bpmndi:BPMNEdge ;
+    sh:property shapes:EdgeAtMostOneMessageVisibleKind .
+
+shapes:EdgeAtMostOneMessageVisibleKind a sh:PropertyShape ;
+    sh:path bpmndi:messageVisibleKind ;
+    sh:maxCount 1 ;
+    sh:message "An edge must have at most one messageVisibleKind." .
+
+shapes:EventDefinitionRefShape a sh:NodeShape ;
+    sh:targetClass bpmn:CatchEvent, bpmn:ThrowEvent ;
+    sh:property shapes:EventDefinitionRefIsEventDefinition .
+
+shapes:EventDefinitionRefIsEventDefinition a sh:PropertyShape ;
+    sh:path bpmn:eventDefinitionRef ;
+    sh:class bpmn:EventDefinition ;
+    sh:message "An event definition reference must name an event definition defined in the document." .