| ID |
Name |
Specification Ref |
Precondition |
Requirement Level |
Assertion |
Conformance Testing Requirements: ebXML Registry Services
| req_id_0 |
ImplementsServiceDiscovery |
ebRS-2.5#6.7.2 |
|
REQUIRED |
|
| funreq_id_0.1 |
ImplementsHTTPBinding |
6.7.2 |
(For any registry with an HTTP binding) | REQUIRED |
The Registry provides a URL for Service Discovery |
| funreq_id_0.2 |
ImplementsSOAPBinding |
6.7.2 |
(For any registry with a SOAP binding) | OPTIONAL |
The Registry provides a WSDL document providing LifecycleManager and QueryManager interfaces |
| funreq_id_0.3 |
ImplementsebXMLBinding |
6.7.2 |
(For any registry with an ebXML binding) | OPTIONAL |
The Registry provides a CPP document detailing LifeCycleManger and QueryManger services |
| req_id_1 |
ImplementsLifeCycleManagerInterface |
ebRS-2.5#7 |
(For any registry with an HTTP, SOAP or ebXML binding) | REQUIRED |
The LifeCycleManager interface is implemented |
| req_id_1.1 |
ImplementsSubmitObjects |
ebRS-2.5#7.3.1 |
|
REQUIRED |
The submitObjects method is implemented |
| req_id_1.1.1 |
ProcessValidRequest |
ebRS-2.5#7.3.1 |
(For all valid SubmitObjectRequests) | REQUIRED |
The registry returns a RegistryResponse status value of "Success" |
| funreq_id_1.1.1.1 |
NewObjectSuccess |
7.3.1 |
(For all valid SubmitObjectRequests with new objects local to the SubmitObjects request) | REQUIRED |
The registry accepts the RegistryObjects and returns a RegistryResponse message with a status of "Success" |
| funreq_id_1.1.1.2 |
ExistingRegistryObjectSuccess |
7.3.1 |
(For all valid SubmitObjectRequests with references to existing Registry objects) | REQUIRED |
The registry returns a RegistryResponse message with a status of "Success" |
| funreq_id_1.1.1.3 |
HonourClient-suppliedID |
ebRS-2.1#7.3.3 |
(For each id of objects which a client supplies AND The id conforms to the format of a URN that specifies a DCE 128 bit UUID) | REQUIRED |
The registry must honour a client-supplied id and use it as the id attribute of the object in the registry |
| funreq_id_1.1.1.4 |
GenerateUUID |
ebRS-2.1#7.3.1 |
(For each id of objects which a client does not supplies) | REQUIRED |
The registry generate a universally unique id |
| funreq_id_1.1.1.5 |
SubmitOrganizationOnSubmitObjectsRequest |
ebRS-2.1#7.3.4 |
(For each RegistryObjects created via a SubmitObjectsRequest) | REQUIRED |
The RS must create an Association of type SubmitterOf between the submitting organization and each RegistryObject created via a SubmitObjects request |
| funreq_id_1.1.1.6 |
AsynchronousSubmitObjectsUnavailableResponse |
ebRS-2.1#7.3.5 |
(For the event of an immediate response for each asynchronous request) | REQUIRED |
The registry sends a RegistryResponse with a status of “Unavailable” back to the client |
| req_id_1.1.2 |
ProcessInvalidRequest |
ebRS-2.5#7.3.1 |
(For all SubmitObjectRequests) | REQUIRED |
The registry returns a RegistryResponse status value and an RegistryErrorList Error withthe appropriate Error and Severity |
| funreq_id_1.1.2.1 |
SubmitObjectsRequestAuthorizationException |
ebRS-2.5#7.3.1 |
(For all SubmitObjectRequests that attempt to perform an operation that is "unauthorized") | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "AuthorizationException" and a severity of "Error" |
| funreq_id_1.1.2.2 |
SubmitObjectsRequestObjectNotFoundException |
ebRS-2.5#7.3.1 |
(For each SubmitObjectsRequest which referenced object is not found for an Association, Classification, ClassificationNode and Organization) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "ObjectNotFoundException" and a severity of "Error" |
| funreq_id_1.1.2.3 |
SubmitObjectsRequestInvalidRequestException |
ebRS-2.5#7.3.1 |
(For all SubmitObjectRequests generating an "InvalidRequest Exception") | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "InvalidRequestException" and a severity of "Error" |
| funreq_id_1.1.2.4 |
SubmitObjectsRequestUnsupportedCapabilityException |
ebRS-2.5#7.3.1 |
(For all SubmitObjectRequests submit content not supported by the registry) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "UnsupportedCapabilityException" |
| funreq_id_1.1.2.5 |
SubmitObjectsRequestQuotaExceededException |
ebRS-2.5#7.3.1 |
(For all SubmitObjectRequests attempting to submit more content than that allowed by the registry) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "QuotaExceededException" |
| funreq_id_1.1.2.6 |
SubmitObjectsObjectExistsException |
ebRS-2.5#7.3.1 |
(For all SubmitObjectRequests whose object ID matches an already existing registry object) | REQUIRED |
The registry returns a RegistryResponse message with a RegistryErrorList Error with a errorCode of "ObjectExistsException" |
| funreq_id_1.1.2.7 |
ErrorHandlingOnSubmitObjectsRequest |
ebRS-2.1#7.3.5 |
(For each SubmitObjectsRequest which Association not allowed to connect to deprecated objects for Association) | REQUIRED |
ebXML Registry must generate an Registry Error with a severity of "Error" |
| funreq_id_1.1.2.8 |
ErrorHandlingOnSubmitObjectsRequest |
ebRS-2.1#7.3.5 |
(For each SubmitObjectsRequest which Object status, majorVersion and minorVersion are supplied by the submitter) | REQUIRED |
the ebXML Registry must generate a Registry Error with a severity of "Warning" |
| req_id_1.1.3 |
GenerateAuditableEvents |
ebRS-2.5#7.3.5 |
|
REQUIRED |
The registry generates correct AuditableEvents for SubmitObjectsRequests |
| funreq_id_1.1.3.1 |
GenerateCreatedAuditableEventType |
ebRS-2.5#7.3.5 |
(For each valid SubmitObjectRequest ) | REQUIRED |
The registry generates an AuditableEvent of eventType of "Created" |
| req_id_1.2 |
ImplementsUpdateObjects |
ebRS-2.5#7.4 |
|
REQUIRED |
The updateObjects method is implemented |
| req_id_1.2.1 |
ProcessValidRequest |
ebRS-2.5#7.3.1 |
(For all valid UpdateObjectsRequests) | REQUIRED |
The registry returns a RegistryResponse status value of "Success" |
| funreq_id_1.2.1.1 |
UpdateNewObjectSuccess |
7.3.1 |
(For all valid UpdateObjectsRequests with new objects local to the SubmitObjects request) | REQUIRED |
The registry accepts the RegistryObjects and returns a RegistryResponse message with a status of "Success" |
| funreq_id_1.2.1.2 |
UpdateExistingRegistryObjectSuccess |
7.3.1 |
(For all valid UpdateObjectsRequests with references to existing Registry objects) | REQUIRED |
The registry returns a RegistryResponse message with a status of "Success" |
| funreq_id_1.2.1.3 |
InterpretMissingAttribute |
ebRS-2.1#7.4 |
(if missing attributes are existed) | REQUIRED |
A missing attribute is interpreted as a request to set that attribute to NULL |
| funreq_id_1.2.1.4 |
SubmitOrganizationOnSubmitObjectsRequest |
ebRS-2.1#7.4.2 |
(if RegistryObject updated via an UpdateObjects request) | REQUIRED |
The RS must maintain an Association of type SubmitterOf between the submitting organization and each RegistryObject updated via an UpdateObjects request |
| funreq_id_1.2.1.5 |
SubmitOrganizationOnSubmitObjectsRequestFromDifferentSubmittingOrganization |
ebRS-2.1#7.4.2 |
(if an UpdateObjects request is accepted from a different submitting organization) | REQUIRED |
If an UpdateObjects request is accepted from a different submitting organization, then the RS must delete the original association object and create a new one |
| funreq_id_1.2.1.6 |
AsynchronousUpdateObjectsRequestUnavailableResponse |
ebRS-2.1#7.4.3 |
(if asynchronous request) | REQUIRED |
The registry sends a RegistryResponse with a status of “Unavailable” back to the client |
| req_id_1.2.2 |
ProcessInvalidRequest |
ebRS-2.5#7.3.1 |
(For all UpdateObjectsRequests) | REQUIRED |
The registry returns a RegistryResponse status value and an RegistryErrorList Error withthe appropriate Error and Severity |
| funreq_id_1.2.2.1 |
UpdateObjectsRequestAuthorizationException |
ebRS-2.5#7.3.1 |
(For all UpdateObjectsRequests that attempt to perform an operation that is "unauthorized") | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "AuthorizationException" and a severity of "Error" |
| funreq_id_1.2.2.2 |
UpdateObjectsRequestObjectNotFoundException |
ebRS-2.5#7.3.1 |
(For all UpdateObjectsRequests that reference an object in the request is not found) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "ObjectNotFoundException" and a severity of "Error" |
| funreq_id_1.2.2.3 |
UpdateObjectsRequestInvalidRequestException |
ebRS-2.5#7.3.1 |
(For all UpdateObjectsRequests generating an "InvalidRequest Exception") | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "InvalidRequestException" and a severity of "Error" |
| funreq_id_1.2.2.4 |
UpdateObjectsRequestUnsupportedCapabilityException |
ebRS-2.5#7.3.1 |
(For all UpdateObjectsRequests submit content not supported by the registry) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "UnsupportedCapabilityException" and a severity of "Error" |
| funreq_id_1.2.2.5 |
UpdateObjectsRequestQuotaExceededException |
ebRS-2.5#7.3.1 |
(For all UpdateObjectsRequests attempting to submit more content than that allowed by the registry) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "QuotaExceededException" and a severity of "Error" |
| funreq_id_1.2.2.6 |
UpdateObjectsObjectExistsException |
ebRS-2.5#7.3.1 |
(For all UpdateObjectRequests whose object ID matches an already existing registry object) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "ObjectExistsException" |
| funreq_id_1.2.2.7 |
ErrorHandlingOnUpdateObjectsRequest |
ebRS-2.1#7.4.3 |
(if refernced object not found for Association, classification, ClassificationNode, Organization) | REQUIRED |
Registry generate Error Message |
| funreq_id_1.2.2.8 |
ErrorHandlingOnUpdateObjectsRequest |
ebRS-2.1#7.4.3 |
(if Association not allowed to connect to deprecated objects for Association) | REQUIRED |
Registry generate Error Message |
| funreq_id_1.2.2.9 |
ErrorHandlingOnUpdateObjectsRequest |
ebRS-2.1#7.4.3 |
(if Object status, majorVersion and minoVersion cannot be changed via the UpdateObjects protocol, ignored if supplied for all classes) | REQUIRED |
Registry generate Warning Message |
| funreq_id_1.2.2.10 |
ErrorHandlingOnUpdateObjectsRequest |
ebRS-2.1#7.4.3 |
(if RegistryEntries with stability = 'Stable" shoud not be updated for all classes) | REQUIRED |
Registry generate Warning Message |
| req_id_1.2.3 |
GenerateAuditableEvents |
ebRS-2.5#7.3.5 |
|
REQUIRED |
The registry generates correct AuditableEvents for UpdateObjectsRequests |
| funreq_id_1.2.3.1 |
GenerateCreatedAuditableEventType |
ebRS-2.5#7.3.5 |
(For each valid UpdateObjectsRequest ) | REQUIRED |
The registry generates an AuditableEvent of eventType of "Updated" |
| req_id_1.3 |
ImplementsAddSlots |
ebRS-2.5#7.5 |
|
REQUIRED |
The addSlots method is implemented |
| req_id_1.3.1 |
ProcessValidRequest |
ebRS-2.5#7.3.1 |
(For all valid AddSlotsRequests) | REQUIRED |
The registry returns a RegistryResponse status value of "Success" |
| funreq_id_1.3.1.1 |
AddNewSlotSuccess |
7.3.1 |
(For all valid AddSlotsRequests with new objects local to the SubmitObjects request) | REQUIRED |
The registry accepts the RegistryObjects and returns a RegistryResponse message with a status of "Success" |
| funreq_id_1.3.1.2 |
AddExistingSlotSuccess |
7.3.1 |
(For all valid AddSlotsRequests with references to existing Slots) | REQUIRED |
The registry returns a RegistryResponse message with a status of "Success" |
| req_id_1.3.2 |
ProcessInvalidRequest |
ebRS-2.5#7.3.1 |
(For all AddSlotsRequests) | REQUIRED |
The registry returns a RegistryResponse status value and an RegistryErrorList Error withthe appropriate Error and Severity |
| funreq_id_1.3.2.1 |
AddSlotsRequestAuthorizationException |
ebRS-2.5#7.3.1 |
(For all AddSlotsRequests that attempt to perform an operation that is "unauthorized") | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "AuthorizationException" and a severity of "Error" |
| funreq_id_1.3.2.2 |
AddSlotsRequestObjectNotFoundException |
ebRS-2.5#7.3.1 |
(For all AddSlotsRequests that reference an object in the request is not found) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "ObjectNotFoundException" and a severity of "Error" |
| funreq_id_1.3.2.3 |
AddSlotsRequestInvalidRequestException |
ebRS-2.5#7.3.1 |
(For all AddSlotsRequests generating an "InvalidRequest Exception") | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "InvalidRequestException" and a severity of "Error" |
| funreq_id_1.3.2.4 |
AddSlotsSlotExistsException |
ebRS-2.5#7.3.1 |
(For all AddSlotsRequests whose object ID matches an already existing registry object, and whose slot already exists) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "SlotExistsException" and a severity of "Error" |
| req_id_1.4 |
ImplementsRemoveSlots |
ebRS-2.5#7.5 |
|
REQUIRED |
The removeSlots method is implemented |
| req_id_1.4.1 |
ProcessValidRequest |
ebRS-2.5#7.3.1 |
(For all valid RemoveSlotsRequests) | REQUIRED |
The registry returns a RegistryResponse status value of "Success" |
| funreq_id_1.4.1.1 |
RemoveSlotsSuccess |
7.3.1 |
(For all valid RemoveSlotsRequests with new objects local to the SubmitObjects request) | REQUIRED |
The registry accepts the RegistryObjects and returns a RegistryResponse message with a status of "Success" |
| funreq_id_1.4.1.2 |
RemoveExistingSlotSuccess |
7.3.1 |
(For all valid RemoveSlotsRequests with references to existing Slots) | REQUIRED |
The registry returns a RegistryResponse message with a status of "Success" |
| req_id_1.4.2 |
ProcessInvalidRequest |
ebRS-2.5#7.3.1 |
(For all RemoveSlotsRequests) | REQUIRED |
The registry returns a RegistryResponse status value and an RegistryErrorList Error withthe appropriate Error and Severity |
| funreq_id_1.4.2.1 |
RemoveSlotsRequestAuthorizationException |
ebRS-2.5#7.3.1 |
(For all RemoveSlotsRequests that attempt to perform an operation that is "unauthorized") | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "AuthorizationException" and a severity of "Error" |
| funreq_id_1.4.2.2 |
RemoveSlotsRequestObjectNotFoundException |
ebRS-2.5#7.3.1 |
(For all RemoveSlotsRequests that reference an object in the request is not found) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "ObjectNotFoundException" and a severity of "Error" |
| funreq_id_1.4.2.3 |
RemoveSlotsRequestInvalidRequestException |
ebRS-2.5#7.3.1 |
(For all RemoveSlotsRequests generating an "InvalidRequest Exception") | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "InvalidRequestException" and a severity of "Error" |
| funreq_id_1.4.2.4 |
RemoveSlotsSlotNotFoundException |
ebRS-2.5#7.3.1 |
(For all RemoveSlotsRequests whose object ID matches an already existing registry object but the Slot ID does not) | REQUIRED |
The registry returns a RegistryResponse message with an RegistryErrorList Error witha errorCode of "SlotNotFound" and a severity of "Error" |
| req_id_1.5 |
ImplementsRemoveObjects |
ebRS-2.5#7.7 |
|
REQUIRED |
The removeObjects method is implemented |
| funreq_id_64 |
DeletionScopeDeleteRepositoryItemOnly |
ebRS-2.1#7.9.1 |
(if Deletion Scope is DeleteRepositoryItemOnly) | REQUIRED |
This deletionScope specifies that the request should delete the repository items for the specified registry entries but not delete the specified registry entries |
| funreq_id_65 |
DeletionScopeDeleteAll |
ebRS-2.1#7.9.2 |
(if Deletion Scope is DeleteAll) | REQUIRED |
This deletionScope specifies that the request should delete both the RegistryObject and the repository item for the specified registry entries. Only if all references (e.g. Associations, Classifications, ExternalLinks) to a RegistryObject have been removed, can that RegistryObject then be removed using a RemoveObjectsRequest with deletionScope DeleteAll |
| funreq_id_66 |
RemoveObjectsRequestErrorHandlingInSynchronouseRequest |
ebRS-2.1#7.9.3 |
(if synchronous request) | REQUIRED |
A request is atomic and either succeeds or fails in total. In the event of success, the registry sends a RegistryResponse with a status of “Success” back to the client. In the event of failure, the registry sends a RegistryResponse with a status of “Failure” back to the client |
| funreq_id_67 |
RemoveObjectsRequestErrorHandlingInAsynchronouseRequest |
ebRS-2.1#7.9.3 |
(if asynchronous request) | REQUIRED |
The registry sends a RegistryResponse with a status of “Unavailable” back to the client |
| funreq_id_68 |
RemoveObjectsRequestErrorHandling |
ebRS-2.1#7.9.3 |
(if Object not found for all classes) | REQUIRED |
Registry generate Error Message |
| funreq_id_69 |
RemoveObjectsRequestErrorHandling |
ebRS-2.1#7.9.3 |
(if not authorized) | REQUIRED |
Registry generate Error Message |
| req_id_1.6 |
ImplementsRemoveSlots |
ebRS-2.5#7.8 |
|
REQUIRED |
The removeSlots method is implemented |
| req_id_1.7 |
ImplementsDeprecateObjects |
ebRS-2.5#7.9 |
|
REQUIRED |
The deprecdateObjects method is implemented |
| funreq_id_54 |
ReferenceOnDeprecatedObject |
ebRS-2.1#7.8 |
(if an object is deprecated) | REQUIRED |
However, existing references to a deprecated object continue to function normally |
| funreq_id_55 |
AuditTrailOnUpdateObjectsRequest |
ebRS-2.1#7.8.1 |
(if RegistryObject deprecated via an Deprecate Objects request) | REQUIRED |
The RS must create AuditableEvents object with eventType Deprecated for each RegistryEntry deprecated via a DeprecateObjectsRequest |
| funreq_id_56 |
SubmitOrganizationOnDeprecateObjectsRequest |
ebRS-2.1#7.8.2 |
(if RegistryObject deprecated via an Deprecate Objects request) | REQUIRED |
The RS must create AuditableEvents object with eventType Deprecated for each RegistryEntry deprecated via a DeprecateObjectsRequest |
| funreq_id_57 |
SubmitOrganizationOnDeprecateObjectsRequestFromDifferentSubmittingOrganization |
ebRS-2.1#7.8.2 |
(if a Deprecate Objects request is accepted from a different submitting organization) | REQUIRED |
if a Deprecate Objects request is accepted from a different submitting organization, then the RS must delete the original association object and create a new one |
| funreq_id_58 |
DeprecateObjectsRequestErrorHandlingInSynchronouseRequest |
ebRS-2.1#7.8.3 |
(if synchronous request) | REQUIRED |
A request is atomic and either succeeds or fails in total. In the event of success, the registry sends a RegistryResponse with a status of “Success” back to the client. In the event of failure, the registry sends a RegistryResponse with a status of “Failure” back to the client |
| funreq_id_59 |
DeprecateObjectsRequestErrorHandlingInAsynchronouseRequest |
ebRS-2.1#7.8.3 |
(if asynchronous request) | REQUIRED |
The registry sends a RegistryResponse with a status of “Unavailable” back to the client |
| funreq_id_60 |
ErrorHandlingOnDeprecateObjectsRequest |
ebRS-2.1#7.8.3 |
(if Object not found for all classes) | REQUIRED |
Registry generate Error Message |
| funreq_id_61 |
ErrorHandlingOnDeprecateObjectsRequest |
ebRS-2.1#7.8.3 |
(if not authorized for RegistryEntry) | REQUIRED |
Registry generate Error Message |
| funreq_id_62 |
ErrorHandlingOnDeprecateObjectsRequest |
ebRS-2.1#7.8.3 |
(Only RegistryEntries may be "deprecated") | REQUIRED |
Registry generate Error Message |
| funreq_id_63 |
ErrorHandlingOnDeprecateObjectsRequest |
ebRS-2.1#7.8.3 |
(Object status is already "Deprecated") | REQUIRED |
Registry generate Warning Message |
| req_id_1.8 |
ImplementsUndeprecateObjects |
ebRS-2.5#7.10 |
|
REQUIRED |
The undeprecateObjects method is implemented |
| req_id_1.9 |
ImplementsApproveObjects |
ebRS-2.5#7.10 |
|
REQUIRED |
The approveObjects method is implemented |
| funreq_id_45 |
AuditTrailOnApproveObjectsRequest |
ebRS-2.1#7.7.1 |
(each RegistryObject approved via an Approve Objects request) | REQUIRED |
The RS must create AuditableEvent objects with eventType Approved for each RegistryEntry instance approved via an ApproveObjectsRequest |
| funreq_id_46 |
SubmitOrganizationOnApproveObjectsRequest |
ebRS-2.1#7.7.2 |
(if RegistryObject updated via an ApproveObjects request) | REQUIRED |
The RS must maintain an Association of type SubmitterOf between the submitting organization and each RegistryObject approved via an ApproveObjects request |
| funreq_id_47 |
SubmitOrganizationOnApproveObjectsRequestFromDifferentSubmittingOrganization |
ebRS-2.1#7.7.2 |
(if an ApproveIObjects request is accepted from a different submitting organization) | REQUIRED |
If an ApproveObjects requst is accepted from a different submitting organization, then the RS must delete the original association object and create a new one |
| funreq_id_48 |
ApproveObjectsRequestErrorHandlingInSynchronouseRequest |
ebRS-2.1#7.7.3 |
(if synchronous request) | REQUIRED |
A request is atomic and either succeeds or fails in total. In the event of success, the registry sends a RegistryResponse with a status of “Success” back to the client. In the event of failure, the registry sends a RegistryResponse with a status of “Failure” back to the client |
| funreq_id_49 |
ApproveObjectsRequestErrorHandlingInAsynchronouseRequest |
ebRS-2.1#7.7.3 |
(if asynchronous request) | REQUIRED |
The registry sends a RegistryResponse with a status of “Unavailable” back to the client |
| funreq_id_50 |
ApproveObjectsRequestErrorHandling |
ebRS-2.1#7.7.3 |
(if Object not found for all classes) | REQUIRED |
Registry generate Error Message |
| funreq_id_51 |
ApproveObjectsRequestErrorHandling |
ebRS-2.1#7.7.3 |
(if not authorized for RegistryEntryClasses) | REQUIRED |
Registry generate Error Message |
| funreq_id_52 |
ApproveObjectsRequestErrorHandling |
ebRS-2.1#7.7.3 |
(if Only RegistryEntries may be "approved") | REQUIRED |
Registry generate Error Message |
| funreq_id_53 |
ApproveObjectsRequestErrorHandling |
ebRS-2.1#7.7.3 |
(if Object status is already "Approved") | REQUIRED |
Registry generate Warning Message |
| req_id_2 |
ImplementsQueryManagerInterface |
ebRS-2#1.3 |
(For any registry with an HTTP, SOAP or ebXML binding) | REQUIRED |
The QueryManager interface is implemented |
| req_id_2.1 |
ImplementsSubmitAdHocQuery |
ebRS-2.5#8 |
(If QueryManager interface exists) | REQUIRED |
The submitAdHocQueryRequest method is implemented |
| req_id_2.1.1 |
ImplementsFilterQuery |
ebRS-2.5#8.2 |
|
REQUIRED |
FilterQuery is supported |
| req_id_2.1.1.1 |
ResponseOptions |
ebRS-2.1#8.1.1 |
|
| funreq_id_2.1.1.1.1 |
ReturnHighestOption |
ebRS-2.1#8.1.1 |
(for returnType of ResponseOption) | REQUIRED |
If "returnType" is higher then the RegistryObject option, then the highest option that satisfies the query is returned |
| funreq_id_2.1.1.1.2 |
SemanticRulesForFilterQuery |
ebRS-2.1#8.2.1 |
(if an error condition is raised during any part of the execution of a FilterQuery) | REQUIRED |
If an error condition is raised during any part of the execution of a FilterQuery, then the status attribute of the XML RegistryResult is set to “failure” and no AdHocQueryResult element is returned; instead, a RegistryErrorList element must be returned with its highestSeverity element set to “error”. At least one of the RegistryError elements in the RegistryErrorList will have its severity attribute set to “error” |
| funreq_id_2.1.1.1.3 |
SemanticRulesForFilterQuery |
ebRS-2.1#8.2.1 |
(if no error conditions are raised during execution of a FilterQuery) | REQUIRED |
the status attribute of the XML RegistryResult is set to “success” and an appropriate FilterQueryResult element must be included. If a RegistryErrorList is also returned, then the highestSeverity attribute of the RegistryErrorList is set to “warning” and the serverity attribute of each RegistryError is set to “warning” |
| req_id_2.1.1.2 |
ImplementsAllQueryTypes |
ebRS-2.1#8.2 |
|
REQUIRED |
|
| req_id_2.1.1.2.1 |
RegistryObjectQuery |
ebRS-2.1#8.2.2 |
|
| funreq_id_2.1.1.2.1.1 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_83 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a RegistryObjectFilter is specified AND if registry object in RO does not satisfy the RegistryObjectFilter) | REQUIRED |
remove registry object from RO |
| funreq_id_84 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after remove x from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_85 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ExternalIdentifierFilter is specified AND if a remaining registry object in RO is not linked to at least one ExternalIdentifier instance) | REQUIRED |
remove remaining registry object from RO |
| funreq_id_86 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ExternalIdentifierFilter is specified AND if a remaining registry object in RO is linked to at least one ExternalIdentifier instance) | REQUIRED |
Let EI be the set of ExternalIdentifier instances that satisfy the ExternalIdentifierFilter and are linked to x |
| funreq_id_87 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if EI is empty) | REQUIRED |
remove remaining registry object from RO |
| funreq_id_88 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after remove EI from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_89 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if an AuditableEventQuery is specified AND if a remaining registry object in RO doesn’t have an auditable event that satisfy AuditableEventQuery) | REQUIRED |
remove remaining registry object in RO from RO |
| funreq_id_90 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after remove x from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_91 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if remaining registry object in RO does not have a name ) | REQUIRED |
remove remaining registry object from RO |
| funreq_id_92 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after remove remaining object registry from RO ) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_93 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is not empty AND if any LocalizedStringFilter that is specified is not satisfied by all of the LocalizedStrings that constitute the name of the registry object ) | REQUIRED |
remove remaining registry object from RO |
| funreq_id_94 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a NameBranch is specified AND If x does not have a name) | REQUIRED |
remove remaining registry object in RO from RO |
| funreq_id_95 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is not empty AND if any LocalizedStringFilter that is specified is not satisfied by all of the LocalizedStrings that constitute the name of the registry object) | REQUIRED |
remove remaining registry object from RO |
| funreq_id_96 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_97 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a DescriptionBranch is specified AND if remaining registry object in RO does not have a description) | REQUIRED |
remove remaining registry object in TO from RO |
| funreq_id_98 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after remove x from RO ) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_99 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is not empty AND If any LocalizedStringFilter that is specified is not satisfied by all of the LocalizedStrings that constitute the description of the registry object) | REQUIRED |
remove remaining registry object in RO from RO |
| funreq_id_100 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after remove remaining object registry from RO ) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_101 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If ClassificationFilter is specified within the ClassifiedByBranch) | REQUIRED |
let CL be the set of Classification instances that satisfy the ClassificationFilter and have remaining registry object in RO as the classifiedObject |
| funreq_id_102 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if CL is not empty AND if a ClassificationSchemeQuery is specified) | REQUIRED |
Replace CL by the set of remaining Classification instances in CL whose defining classification scheme satisfies the ClassificationSchemeQuery |
| funreq_id_103 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if CL remains not empty AND if a ClassificationNodeQuery is specified) | REQUIRED |
Replace CL by the set of remaining Classification instances in CL for which a classification node exists and for which that classification node satisfies the ClassificationNodeQuery |
| funreq_id_104 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a SlotFilter is specified within the SlotBranch) | REQUIRED |
let SL be the set of Slot instances that satisfy the SlotFilter and are Slot instances for remaining registry object in RO |
| funreq_id_105 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if SL remains not empty AND if a SlotValueFilter is specified) | REQUIRED |
Replace SL by the set of remaining Slot instances in SL for which every specified SlotValueFilter is valid |
| funreq_id_106 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If remaining registry object in RO is not the source object of at least one Association instance) | REQUIRED |
remove remaining registry object in RO from RO |
| funreq_id_107 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty ) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_108 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is not empty AND if no AssociationFilter is specified within the SourceAssociationBranch) | REQUIRED |
let AF be the set of all Association instances that have remaining as a source object |
| funreq_id_109 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is not empty AND if AssociationFilter is specified within the SourceAssociationBranch) | REQUIRED |
let AF be the set of Association instances that satisfy the AssociationFilter and have remaining registry object in RO as the source object |
| funreq_id_110 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if AF is empty) | REQUIRED |
remove remaining registry object in RO from RO |
| funreq_id_111 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when AF is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_112 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an ExternalLinkFilter is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of ExternalLink instances that satisfy the ExternalLinkFilter and are the target object of some element of AF |
| funreq_id_113 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_114 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_115 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if an ExternalIdentifierFilter is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of ExternalIdentifier instances that satisfy the ExternalIdentifierFilter and are the target object of some element of AF |
| funreq_id_116 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_117 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_118 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a RegistryObjectQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of RegistryObject instances that satisfy the RegistryObjectQuery and are the target object of some element of AF |
| funreq_id_119 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If ROT is empty) | REQUIRED |
remove x from RO |
| funreq_id_120 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_121 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a RegistryEntryQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of RegistryEntry instances that satisfy the RegistryEntryQuery and are the target object of some element of AF |
| funreq_id_122 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_123 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_124 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ClassificationSchemeQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of ClassificationScheme instances that satisfy the ClassificationSchemeQuery and are the target object of some element of AF |
| funreq_id_125 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_126 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_127 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ClassificationNodeQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of ClassificationNode instances that satisfy the ClassificationNodeQuery and are the target object of some element of AF |
| funreq_id_128 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_129 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_130 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if an OrganizationQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of Organization instances that satisfy the OrganizationQuery and are the target object of some element of AF |
| funreq_id_131 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_132 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_133 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if an AuditableEventQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of AuditableEvent instances that satisfy the AuditableEventQuery and are the target object of some element of AF |
| funreq_id_134 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_135 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_136 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a RegistryPackageQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of RegistryPackage instances that satisfy the RegistryPackageQuery and are the target object of some element of AF |
| funreq_id_137 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_138 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_139 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if an ExtrinsicObjectQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of ExtrinsicObject instances that satisfy the ExtrinsicObjectQuery and are the target object of some element of AF |
| funreq_id_140 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if ROT is empty) | REQUIRED |
remove x from RO |
| funreq_id_141 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_142 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ServiceQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of Service instances that satisfy the ServiceQuery and are the target object of some element of AF |
| funreq_id_143 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_144 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_145 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a UserBranch is specified within the SourceAssociationBranch ) | REQUIRED |
let ROT be the set of User instances that are the target object of some element of AF |
| funreq_id_146 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_147 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(when ROT is empty, then remove a remaining registry object in RO from RO, if RO is empty after that) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_148 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a UserBranch is specified within the SourceAssociationBranch ) | REQUIRED |
let ROT be the set of User instances that are the target object of some element of AF |
| funreq_id_149 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_150 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty ) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_151 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a UserFilter element is specified within the UserBranch AND Let u be the member of ROT. if u does not satisfy that filter) | REQUIRED |
remove u from ROT |
| funreq_id_152 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let u be the member of ROT, if ROT is empty after removing u from ROT) | REQUIRED |
remove x from RO |
| funreq_id_153 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_154 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a PostalAddressFilter element is specified within the UserBranch AND Let u be the member of ROT. if the postal address of u does not satisfy that filter) | REQUIRED |
Let u be the member of ROT, remove u from ROT |
| funreq_id_155 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let u be the member of ROT, if ROT is empty after removing u from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_156 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after removing a remaining in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_157 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if TelephoneNumberFilter(s) are specified within the UserBranch AND Let u be the member of ROT. if any of the TelephoneNumberFilters isn’t satisfied by all of the telephone numbers of u) | REQUIRED |
Let u be the member of ROT. remove u from ROT |
| funreq_id_158 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let u be the member of ROT. if ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_159 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if ROT is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_160 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if an OrganizationQuery element is specified within the UserBranch) | REQUIRED |
let o be the Organization instance that is identified by the organization that u is affiliated with |
| funreq_id_161 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let u be the member of ROT and o be the Organization instance that is identified by the organization that u is affiliated with, If o doesn’t satisfy OrganizationQuery) | REQUIRED |
Let u be the member of ROT, remove u from ROT |
| funreq_id_162 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let u be the member of ROT,If ROT is empty after removing u from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_163 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_164 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ClassificationQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROT be the set of Classification instances that satisfy the ClassificationQuery and are the source object of some element of AF |
| funreq_id_165 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROT be the set of Classification instances that satisfy the ClassificationQuery ,If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_166 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_167 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ServiceBindingBranch is specified within the TargetAssociationBranch) | REQUIRED |
let ROT be the set of ServiceBinding instances that are the source object of some element of AF |
| funreq_id_168 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROT be the set of ServiceBinding instances that are the source object of some element of AF. if ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_169 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_170 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ServiceBindingFilter element is specified within the ServiceBindingBranch AND Let sb be the member of ROT.if sb does not satisfy that filter) | REQUIRED |
Let sb be the member of ROT. remove sb from ROT |
| funreq_id_171 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be the member of ROT. if ROT is empty after removing sb from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_172 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_173 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROT. Let SL be the set of all specification link instances sl that describe specification links of sb. If SL is empty after removing sl from SL) | REQUIRED |
Let sb be a remaining service binding in ROT. remove sb from ROT |
| funreq_id_174 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROT. if ROT is empty after removing sb from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_175 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_176 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a RegistryObjectQuery element is specified within the SpecificationLinkBranch) | REQUIRED |
let sl be a remaining specification link in SL |
| funreq_id_177 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let RO be the result set of the RegistryObjectQuery and sl be a remaining specification link in SL, If sl is not a specification link for some registry object in RO) | REQUIRED |
Let sl be a remaining specification link in SL, remove sl from SL |
| funreq_id_178 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sl be a remaining specification link in SL, if SL is empty after removing sl from SL) | REQUIRED |
Let sb be a remaining service binding in ROT, remove sb from ROT |
| funreq_id_179 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROT, If ROT is empty after removing sb from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_180 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_181 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a RegistryEntryQuery element is specified within the SpecificationLinkBranch) | REQUIRED |
let sl be a remaining specification link in SL |
| funreq_id_182 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let RE be the result set of the RegistryEntryQuery, If sl is not a specification link for at least one registry entry in RE ) | REQUIRED |
let sl be a remaining specification link in SL, remove sl from SL |
| funreq_id_183 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in SL, if SL is empty after removing sl from SL) | REQUIRED |
Let sb be a remaining service binding in ROT, remove sb from ROT |
| funreq_id_184 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROT, If ROT is empty after removing sb from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_185 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_186 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a ServiceBindingTargetBranch is specified within the ServiceBindingBranch) | REQUIRED |
let SBT be the set of ServiceBinding instances that satisfy the ServiceBindingTargetBranch and are the target service binding of some element of ROT |
| funreq_id_187 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let SBT be the set of ServiceBinding instances that satisfy the ServiceBindingTargetBranch and are the target service binding of some element of ROT, If SBT is empty ) | REQUIRED |
Let sb be a remaining service binding in ROT, remove sb from ROT |
| funreq_id_188 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROT, if ROT is empty after removing sb from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_189 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_190 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a SpecificationLinkBranch is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of SpecificationLink instances that are the target object of some element of AF |
| funreq_id_191 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_192 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_193 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a SpecificationLinkFilter element is specified within the SpecificationLinkBranch AND Let sl be the member of ROT. if sl does not satisfy that filter) | REQUIRED |
Let sl be the member of ROT, remove sl from ROT |
| funreq_id_194 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sl be the member of ROT, if ROT is empty after removing sl from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_195 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_196 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryObjectQuery element is specified within the SpecificationLinkBranch) | REQUIRED |
let sl be a remaining specification link in ROT |
| funreq_id_197 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(then let sl be a remaining specification link in ROT and Let RO be the result set of the RegistryObjectQuery, If sl is not a specification link for some registry object in RO) | REQUIRED |
let sl be a remaining specification link in ROT, remove sl from ROT |
| funreq_id_198 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in ROT, If ROT is empty after removing sl from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_199 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_200 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryEntryQuery element is specified within the SpecificationLinkBranch) | REQUIRED |
let sl be a remaining specification link in ROT |
| funreq_id_201 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in ROT, If sl is not a specification link for at least one registry entry in RE) | REQUIRED |
let sl be a remaining specification link in ROT, remove sl from ROT |
| funreq_id_202 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in ROT, If ROT is empty after removing sl from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_203 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_204 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an AssociationQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of Association instances that satisfy the AssociationQuery and are the target object of some element of AF |
| funreq_id_205 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROT be the set of Association instances that satisfy the AssociationQuery and are the target object of some element of AF. If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_206 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_207 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an AssociationQuery is specified within the SourceAssociationBranch) | REQUIRED |
let ROT be the set of Association instances that satisfy the AssociationQuery and are the target object of some element of AF |
| funreq_id_208 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROT be the set of Association instances that satisfy the AssociationQuery and are the target object of some element of AF, If ROT is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_209 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_210 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a TargetAssociationBranch element is specified AND let x be a remaining registry object in RO, If x is not the target object of some Association instance) | REQUIRED |
remove a remaining reigstry object in RO from RO |
| funreq_id_211 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_212 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is not empty AND If no AssociationFilter is specified within the TargetAssociationBranch) | REQUIRED |
let AF be the set of all Association instances that have x as a target object |
| funreq_id_213 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is not empty AND If AssociationFilter is specified within the TargetAssociationBranch) | REQUIRED |
let AF be the set of Association instances that satisfy the AssociationFilter and have x as the target object |
| funreq_id_214 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let AF be the set of Association instances that satisfy the AssociationFilter and have x as the target object, If AF is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_215 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_216 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an ExternalLinkFilter is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of ExternalLink instances that satisfy the ExternalLinkFilter and are the source object of some element of AF |
| funreq_id_217 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of ExternalLink instances that satisfy the ExternalLinkFilter and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_218 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_219 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an ExternalIdentifierFilter is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of ExternalIdentifier instances that satisfy the ExternalIdentifierFilter and are the source object of some element of AF |
| funreq_id_220 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of ExternalIdentifier instances that satisfy the ExternalIdentifierFilter and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_221 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_222 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryObjectQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of RegistryObject instances that satisfy the RegistryObjectQuery and are the source object of some element of AF |
| funreq_id_223 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of RegistryObject instances that satisfy the RegistryObjectQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_224 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_225 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryEntryQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of
RegistryEntry instances that satisfy the RegistryEntryQuery and are the source object of some element of AF |
| funreq_id_226 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of
RegistryEntry instances that satisfy the RegistryEntryQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_227 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_228 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a ClassificationSchemeQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of ClassificationScheme instances that satisfy the ClassificationSchemeQuery and are the source object of some element of AF |
| funreq_id_229 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(then let ROS be the set of ClassificationScheme instances that satisfy the ClassificationSchemeQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_230 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_231 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a ClassificationNodeQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of ClassificationNode instances that satisfy the ClassificationNodeQuery and are the source object of some element of AF |
| funreq_id_232 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of ClassificationNode instances that satisfy the ClassificationNodeQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
then remove a remaining registry object in RO from RO |
| funreq_id_233 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_234 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an OrganizationQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of Organization instances that satisfy the OrganizationQuery and are the source object of some element of AF |
| funreq_id_235 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of Organization instances that satisfy the OrganizationQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_236 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_237 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an AuditableEventQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of AuditableEvent instances that satisfy the AuditableEventQuery and are the source object of some element of AF |
| funreq_id_238 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of AuditableEvent instances that satisfy the AuditableEventQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_239 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_240 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryPackageQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of RegistryPackage instances that satisfy the RegistryPackageQuery and are the source object of some element of AF |
| funreq_id_241 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of RegistryPackage instances that satisfy the RegistryPackageQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_242 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_243 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an ExtrinsicObjectQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of ExtrinsicObject instances that satisfy the ExtrinsicObjectQuery and are the source object of some element of AF |
| funreq_id_244 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of ExtrinsicObject instances that satisfy the ExtrinsicObjectQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_245 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_246 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a ServiceQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of Service instances that satisfy the ServiceQuery and are the source object of some element of AF |
| funreq_id_247 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of Service instances that satisfy the ServiceQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_248 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_249 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a UserBranch is specified within the TargetAssociationBranch ) | REQUIRED |
let ROS be the set of User instances that are the source object of some element of AF |
| funreq_id_250 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of User instances that are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_251 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_252 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a UserFilter element is specified within the UserBranch AND Let u be the member of ROS. if u does not satisfy that filte) | REQUIRED |
Let u be the member of ROS, remove u from ROS |
| funreq_id_253 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let u be the member of ROS. if ROS is empty after removing u from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_254 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_255 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a PostalAddressFilter element is specified within the UserBranch AND Let u be the member of ROS, if the postal address of u does not satisfy that filter) | REQUIRED |
Let u be the member of ROS, remove u from ROS |
| funreq_id_256 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let u be the member of ROS, If ROS is empty after removing u from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_257 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining ) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_258 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If TelephoneNumberFilter(s) are specified within the UserBranch AND Let u be the member of ROS, if any of the TelephoneNumberFilters isn’t satisfied by all of the telephone numbers of u) | REQUIRED |
Let u be the member of ROS, remove u from ROS |
| funreq_id_259 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let u be the member of ROS, If ROS is empty after removing u from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_260 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_261 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an OrganizationQuery element is specified within the UserBranch) | REQUIRED |
let o be the Organization instance that is identified by the organization that u is affiliated with |
| funreq_id_262 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let o be the Organization instance that is identified by the organization that u is affiliated with, If o doesn’t satisfy OrganizationQuery) | REQUIRED |
Let u be the member of ROS, remove u from ROS |
| funreq_id_263 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let u be the member of ROS, If ROS is empty after removing u from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_264 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_265 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a ClassificationQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of Classification instances that satisfy the ClassificationQuery and are the source object of some element of AF |
| funreq_id_266 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of Classification instances that satisfy the ClassificationQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_267 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_268 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a ServiceBindingBranch is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of ServiceBinding instances that are the source object of some element of AF |
| funreq_id_269 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of ServiceBinding instances that are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_270 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_271 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if a ServiceBindingFilter element is specified within the ServiceBindingBranch AND Let sb be the member of ROS, if sb does not satisfy that filter) | REQUIRED |
Let sb be the member of ROS, remove sb from ROS |
| funreq_id_272 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be the member of ROS, if ROS is empty after removing sb from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_273 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_274 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a SpecificationLinkBranch is specified within the ServiceBindingBranch AND If a SpecificationLinkFilter element is specified within the SpecificationLinkBranch AND Let sb be a remaining service binding in ROS. Let SL be the set of all specification link instances sl that describe specification links of sb, if sl does not satisfy that filter) | REQUIRED |
Let sb be a remaining service binding in ROS. Let SL be the set of all specification link instances sl that describe specification links of sb, remove sl from SL |
| funreq_id_275 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROS. Let SL be the set of all specification link instances sl that describe specification links of sb,If SL is empty after removing sl from SL) | REQUIRED |
Let sb be a remaining service binding in ROS, remove sb from ROS |
| funreq_id_276 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROS, If ROS is empty after removing sb from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_277 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_278 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryObjectQuery element is specified within the SpecificationLinkBranch) | REQUIRED |
let sl be a remaining specification link in SL |
| funreq_id_279 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in SL and Let RO be the result set of the RegistryObjectQuery, If sl is not a specification link for some registry object in RO) | REQUIRED |
let sl be a remaining specification link in SL, remove sl from SL |
| funreq_id_280 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in SL, If SL is empty) | REQUIRED |
Let sb be a remaining service binding in ROS, remove sb from ROS |
| funreq_id_281 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROS, If ROS is empty after removing sb from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_282 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_283 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryEntryQuery element is specified within the SpecificationLinkBranch) | REQUIRED |
let sl be a remaining specification link in SL |
| funreq_id_284 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in SL and Let RE be the result set of the RegistryEntryQuery, If sl is not a specification link for some registry entry in RE) | REQUIRED |
let sl be a remaining specification link in SL, remove sl from SL |
| funreq_id_285 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(sl be a remaining specification link in SL, If SL is empty after removing sl from SL) | REQUIRED |
Let sb be a remaining service binding in ROS, remove sb from ROS |
| funreq_id_286 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROS, If ROS is empty after removing sb from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_287 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_288 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a SpecificationLinkBranch is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of SpecificationLink instances that are the source object of some element of AF |
| funreq_id_289 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of SpecificationLink instances that are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_290 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_291 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a SpecificationLinkFilter element is specified within the SpecificationLinkBranch AND Let sl be the member of ROS, if sl does not satisfy that filter) | REQUIRED |
Let sl be the member of ROS, remove sl from ROS |
| funreq_id_292 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sl be the member of ROS, If ROS is empty after removing sl from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_293 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_294 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryObjectQuery element is specified within the SpecificationLinkBranch) | REQUIRED |
let sl be a remaining specification link in ROS |
| funreq_id_295 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in ROS and Let RO be the result set of the RegistryObjectQuery, If sl is not a specification link for some registry object in RO) | REQUIRED |
let sl be a remaining specification link in ROS, remove sl from ROS |
| funreq_id_296 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in ROS, If ROS is empty after removing sl from SL) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_297 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_298 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a RegistryEntryQuery element is specified within the SpecificationLinkBranch) | REQUIRED |
let sl be a remaining specification link in ROS |
| funreq_id_299 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in ROS and Let RE be the result set of the RegistryEntryQuery , If sl is not a specification link for some registry entry in RE) | REQUIRED |
let sl be a remaining specification link in ROS, remove sl from ROS |
| funreq_id_300 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let sl be a remaining specification link in ROS, If ROS is empty after removing sl from ROS) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_301 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_302 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If a ServiceBindingTargetBranch is specified within the ServiceBindingBranch) | REQUIRED |
let SBT be the set of ServiceBinding instances that satisfy the ServiceBindingTargetBranch and are the target service binding of some element of ROT |
| funreq_id_303 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let SBT be the set of ServiceBinding instances that satisfy the ServiceBindingTargetBranch and are the target service binding of some element of ROT, If SBT is empty ) | REQUIRED |
Let sb be a remaining service binding in ROS, remove sb from ROT |
| funreq_id_304 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(Let sb be a remaining service binding in ROS, If ROT is empty after removing sb from ROT) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_305 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_306 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If an AssociationQuery is specified within the TargetAssociationBranch) | REQUIRED |
let ROS be the set of Association instances that satisfy the AssociationQuery and are the source object of some element of AF |
| funreq_id_307 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(let ROS be the set of Association instances that satisfy the AssociationQuery and are the source object of some element of AF, If ROS is empty) | REQUIRED |
remove a remaining registry object in RO from RO |
| funreq_id_308 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(If RO is empty after removing a remaining registry object in RO from RO) | REQUIRED |
RO is empty then raise the warning : registry object query result is empty; otherwise, set RO to be the result of the RegistryObjectQuery |
| funreq_id_309 |
SemanticRulesForRegistryObjectQuery |
ebRS-2.1#8.2.2 |
(if All step is completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse |
| req_id_16 |
RegistryEntryQuery |
ebRS-2.1#8.2.3 |
|
| funreq_id_310 |
SemanticRulesForRegistryEntryQuery |
ebRS-2.1#8.2.3 |
(If a RegistryEntryFilter is specified) | REQUIRED |
let x be a registry entry in RE |
| funreq_id_311 |
SemanticRulesForRegistryEntryQuery |
ebRS-2.1#8.2.3 |
(If RE is empty) | REQUIRED |
raise the warning: registry entry query result is empty |
| funreq_id_312 |
SemanticRulesForRegistryEntryQuery |
ebRS-2.1#8.2.3 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse. |
| req_id_17 |
AssociationQuery |
ebRS-2.1#8.2.4 |
|
| funreq_id_313 |
SemanticRulesForAssociationQuery |
ebRS-2.1#8.2.4 |
(If an AssociationFilter element is directly contained in the AssociationQuery element) | REQUIRED |
Let A denote the set of all persistent Association instances in the Registry, let x be an association instance in A |
| funreq_id_314 |
SemanticRulesForAssociationQuery |
ebRS-2.1#8.2.4 |
(Let A denote the set of all persistent Association instances in the Registry, If A is empty) | REQUIRED |
raise the warning: association query result is empty |
| funreq_id_315 |
SemanticRulesForAssociationQuery |
ebRS-2.1#8.2.4 |
(If A is not empty) | REQUIRED |
set A to be the result of the AssociationQuery |
| funreq_id_316 |
SemanticRulesForAssociationQuery |
ebRS-2.1#8.2.4 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse |
| req_id_18 |
AuditableEventQuery |
ebRS-2.1#8.2.5 |
|
| funreq_id_317 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If an AuditableEventFilter is specified ) | REQUIRED |
Let AE denote the set of all persistent AuditableEvent instances in the Registry, let x be an auditable event in AE |
| funreq_id_318 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If a RegistryObjectQuery element is specified ) | REQUIRED |
Let AE denote the set of all persistent AuditableEvent instances in the Registry, let x be a remaining auditable event in AE |
| funreq_id_319 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(let x be a remaining auditable event in AE and let RO be the result set of the RegistryObjectQuery, If x is not an auditable event for some registry object in RO) | REQUIRED |
remove a remaining auditable event in AE from AE |
| funreq_id_320 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If AE is empty after removing a remaining auditable event in AE from AE) | REQUIRED |
raise the warning: auditable event query result is empty |
| funreq_id_321 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If a RegistryEntryQuery element is specified) | REQUIRED |
let x be a remaining auditable event in AE |
| funreq_id_322 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(let x be a remaining auditable event in AE and let RE be the result set of the RegistryEntryQuery, If x is not an auditable event for some registry entry in RE) | REQUIRED |
let x be a remaining auditable event in AE and let RE be the result set of the RegistryEntryQuery, remove x from AE |
| funreq_id_323 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If AE is empty after removing a remaining auditable event in AE from AE) | REQUIRED |
raise the warning: auditable event query result is empty |
| funreq_id_324 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If a UserBranch element is specified ) | REQUIRED |
let x be a remaining auditable event in AE |
| funreq_id_325 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If a UserFilter element is specified within the UserBranch AND let x be a remaining auditable event in AE and u be the user instance that invokes x, if u does not satisfy that filter) | REQUIRED |
remove a remaining auditable event in AE from AE |
| funreq_id_326 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If a PostalAddressFilter element is specified within the UserBranch AND let x be a remaining auditable event in AE and u be the user instance that invokes x, if the postal address of u does not satisfy that filter) | REQUIRED |
remove a remaining auditable event in AE from AE |
| funreq_id_327 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If TelephoneNumberFilter(s) are specified within the UserBranch AND if any of the TelephoneNumberFilters isn’t satisfied by all of the telephone numbers of u) | REQUIRED |
remove a remaining auditable event in AE from AE |
| funreq_id_328 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If EmailAddressFilter(s) are specified within the UserBranch AND let x be a remaining auditable event in AE and u be the user instance that invokes x, if any of the EmailAddressFilters isn’t satisfied by all of the email addresses of u) | REQUIRED |
remove a remaining auditable event in AE from AE |
| funreq_id_329 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If an OrganizationQuery element is specified within the UserBranch) | REQUIRED |
let x be a remaining auditable event in AE. Let u be the user instance that invokes x, let o be the Organization instance that is identified by the organization that u is affiliated with |
| funreq_id_330 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If o doesn’t satisfy OrganizationQuery ) | REQUIRED |
remove a remaining auditable event in AE from AE |
| funreq_id_331 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(IIf AE is empty after removing a remaining auditable event in AE from AE ) | REQUIRED |
raise the warning: auditable event query result is empty |
| funreq_id_332 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(If AE is not empty ) | REQUIRED |
set AE to be the result of the AuditableEventQuery |
| funreq_id_333 |
SemanticRulesForAuditableEventQuery |
ebRS-2.1#8.2.5 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse |
| req_id_19 |
ClassificationQuery |
ebRS-2.1#8.2.6 |
|
| funreq_id_334 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(If a ClassificationFilter element is directly contained in the ClassificationQuery element) | REQUIRED |
let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C |
| funreq_id_335 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(let C denote the set of all persistent Classification instances in the Registry, If an classification instance in C does not satisfy the ClassificationFilter) | REQUIRED |
let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C, remove x from C |
| funreq_id_336 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C, If C is empty after removing x from C) | REQUIRED |
raise the warning: classification query result is empty |
| funreq_id_337 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(If a ClassificationSchemeQuery is specified ) | REQUIRED |
let x be a remaining classification in C |
| funreq_id_338 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C, If the defining classification scheme of x does not satisfy the ClassificationSchemeQuery ) | REQUIRED |
let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C, remove x from C |
| funreq_id_339 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C, If C is empty after removing x from C) | REQUIRED |
raise the warning: classification query result is empty |
| funreq_id_340 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(If a ClassificationNodeQuery is specified) | REQUIRED |
let x be a remaining classification in C |
| funreq_id_341 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C, If the classification node of x does not satisfy the ClassificationNodeQuery) | REQUIRED |
let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C, remove x from C |
| funreq_id_342 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(let C denote the set of all persistent Classification instances in the Registry and let x be an classification instance in C, If C is empty) | REQUIRED |
raise the warning: classification query result is empty |
| funreq_id_349 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(let C denote the set of all persistent Classification instances in the Registry, If C is not empty) | REQUIRED |
set C to be the result of the ClassificationQuery |
| funreq_id_350 |
SemanticRulesForClassificationQuery |
ebRS-2.1#8.2.6 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse |
| req_id_20 |
ClassificationNodeQuery |
ebRS-2.1#8.2.7 |
|
| funreq_id_351 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If a ClassificationNodeFilter is specified) | REQUIRED |
let x be a classification node in CN |
| funreq_id_352 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and 1. Let CN denote the set of all persistent ClassificationNode instances in the Registry, If x does not satisfy the ClassificationNodeFilter) | REQUIRED |
let x be a classification node in CN and let CN denote the set of all persistent ClassificationNode instances in the Registry, remove x from CN |
| funreq_id_353 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry, If CN is empty after removing x from CN) | REQUIRED |
raise the warning: classification node query result is empty |
| funreq_id_354 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(if a ClassificationSchemeQuery is specified) | REQUIRED |
x be a remaining classification node in CN |
| funreq_id_355 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN, If the defining classification scheme of x does not satisfy the ClassificationSchemeQuery) | REQUIRED |
let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry,remove x from CN |
| funreq_id_356 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry, If CN is empty after removing x from CN) | REQUIRED |
raise the warning: classification node query result is empty |
| funreq_id_357 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let n be a classification node instance, if n does have a parent node ) | REQUIRED |
let n be a classification node instance, let p be the parent node of n |
| funreq_id_358 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If a ClassificationNodeFilter element is directly contained in the ClassificationNodeParentBranch AND if p does not satisfy the ClassificationNodeFilter) | REQUIRED |
Let CN denote the set of all persistent ClassificationNode instances in the Registry and x be a remaining classification node in CN, remove x from CN |
| funreq_id_359 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry, If CN is empty after removing x from CN) | REQUIRED |
raise the warning: classification node query result is empty |
| funreq_id_360 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If a ClassificationSchemeQuery element is directly contained in the ClassificationNodeParentBranch AND if defining classification scheme of p does not satisfy the ClassificationSchemeQuery) | REQUIRED |
Let CN denote the set of all persistent ClassificationNode instances in the Registry and x be a remaining classification node in CN, remove x from CN |
| funreq_id_361 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry, If CN is empty after removing x from CN) | REQUIRED |
raise the warning: classification node query result is empty |
| funreq_id_362 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If another ClassificationNodeParentBranch element is directly contained within this ClassificationNodeParentBranch element) | REQUIRED |
repeat the previous paragraph with n=p |
| funreq_id_363 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If a ClassificationNodeChildrenBranch element is specified) | REQUIRED |
let x be a remaining classification node in CN |
| funreq_id_364 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a remaining classification node in CN, If x is not the parent node of some ClassificationNode instance) | REQUIRED |
let x be a remaining classification node in CN and let CN denote the set of all persistent ClassificationNode instances in the Registry, remove x from CN |
| funreq_id_365 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry, If CN is empty after removing x from CN) | REQUIRED |
raise the warning: classification node query result is empty |
| funreq_id_366 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry, If CN is not empty after removing x from CN) | REQUIRED |
treat each ClassificationNodeChildrenBranch element separately and execute the following paragraph with n = x. |
| funreq_id_367 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If a ClassificationNodeFilter element is not specified within the ClassificationNodeChildrenBranch element ) | REQUIRED |
let n be a classification node instance, let CNC be the set of all classification nodes that have n as their parent node |
| funreq_id_368 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If a ClassificationNodeFilter element is specified within the ClassificationNodeChildrenBranch element ) | REQUIRED |
let n be a classification node instance, let CNC be the set of all classification nodes that satisfy the ClassificationNodeFilter and have n as their parent node |
| funreq_id_369 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If CNC is empty) | REQUIRED |
let x be a remaining classification node in CN and let CN denote the set of all persistent ClassificationNode instances in the Registry, remove x from CN |
| funreq_id_370 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry, If CN is empty after removing x from CN) | REQUIRED |
raise the warning: classification node query result is empty |
| funreq_id_371 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let x be a classification node in CN and Let CN denote the set of all persistent ClassificationNode instances in the Registry, If CN is not empty after removing x from CN) | REQUIRED |
let c be any member of CNC |
| funreq_id_372 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If a ClassificationSchemeQuery element is directly contained in the ClassificationNodeChildrenBranch AND if the defining classification scheme of c does not satisfy the ClassificationSchemeQuery) | REQUIRED |
let c be any member of CNC, remove c from CNC |
| funreq_id_373 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let c be any member of CNC, If CNC is empty after removing c from CNC) | REQUIRED |
let x be a classification node in CN, remove a remaining re from CN |
| funreq_id_374 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let c be any member of CNC, If CN is empty after removing x from CN) | REQUIRED |
raise the warning: classification node query result is empty |
| funreq_id_375 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(let c be any member of CNC, If CN is not empty after removing x from CN) | REQUIRED |
let y be an element of CNC |
| funreq_id_376 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If the ClassificationNodeChildrenBranch element is terminal) | REQUIRED |
continue to the next numbered rule |
| funreq_id_377 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If the ClassificationNodeChildrenBranch element is not terminal) | REQUIRED |
repeat the previous paragraph with the new ClassificationNodeChildrenBranch element and with n = y |
| funreq_id_378 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(Let CN be the set of remaining ClassificationNode instances) | REQUIRED |
Evaluate inherited RegistryObjectQuery over CN |
| funreq_id_379 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(If CN is not empty) | REQUIRED |
set CN to be the result of the ClassificationNodeQuery |
| funreq_id_380 |
SemanticRulesForClassificationNodeQuery |
ebRS-2.1#8.2.7 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse. |
| req_id_21 |
ClassificationSchemeQuery |
ebRS-2.1#8.2.8 |
|
| funreq_id_381 |
SemanticRulesForClassificationSchemeQuery |
ebRS-2.1#8.2.8 |
(If a ClassificationSchemeFilter is specified) | REQUIRED |
let x be a classification scheme in CS |
| funreq_id_382 |
SemanticRulesForClassificationSchemeQuery |
ebRS-2.1#8.2.8 |
(let CS denote the set of all persistent ClassificationScheme instances in the Registry and x be a classification scheme in CS. If x does not satisfy the ClassificationSchemeFilter) | REQUIRED |
let x be a classification scheme in CS, remove x from CS |
| funreq_id_383 |
SemanticRulesForClassificationSchemeQuery |
ebRS-2.1#8.2.8 |
(let CS denote the set of all persistent ClassificationScheme instances in the Registry and x be a classification scheme in CS, If x does not satisfy the ClassificationSchemeFilter) | REQUIRED |
let x be a classification scheme in CS, remove x from CS |
| funreq_id_384 |
SemanticRulesForClassificationSchemeQuery |
ebRS-2.1#8.2.8 |
(let CS denote the set of all persistent ClassificationScheme instances in the Registry, If CS is empty ) | REQUIRED |
raise the warning: classification scheme query result is empty |
| funreq_id_385 |
SemanticRulesForClassificationSchemeQuery |
ebRS-2.1#8.2.8 |
(let CS be the set of remaining ClassificationScheme instances) | REQUIRED |
Evaluate inherited RegistryEntryQuery over CS |
| funreq_id_386 |
SemanticRulesForClassificationSchemeQuery |
ebRS-2.1#8.2.8 |
(If CS is not empty ) | REQUIRED |
set CS to be the result of the ClassificationSchemeQuery |
| funreq_id_387 |
SemanticRulesForClassificationSchemeQuery |
ebRS-2.1#8.2.8 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse |
| req_id_22 |
RegistryPackageQuery |
ebRS-2.1#8.2.9 |
|
| funreq_id_388 |
SemanticRulesRegistryPackageQuery |
ebRS-2.1#8.2.9 |
(If a RegistryPackageFilter is specified) | REQUIRED |
let x be a registry package instance in RP |
| funreq_id_389 |
SemanticRulesRegistryPackageQuery |
ebRS-2.1#8.2.9 |
(let RP denote the set of all persistent RegistryPackage instances in the Registry and x be a registry package instance in RP, If x does not satisfy the RegistryPackageFilter) | REQUIRED |
let x be a registry package instance in RP, remove x from RP |
| funreq_id_390 |
SemanticRulesRegistryPackageQuery |
ebRS-2.1#8.2.9 |
(let RP denote the set of all persistent RegistryPackage instances in the Registry and x be a registry package instance in RP, if RP is empty after removing x from RP) | REQUIRED |
raise the warning: registry package query result is empty |
| funreq_id_391 |
SemanticRulesRegistryPackageQuery |
ebRS-2.1#8.2.9 |
(let RP denote the set of all persistent RegistryPackage instances in the Registry, If RP is empty) | REQUIRED |
let RP denote the set of all persistent RegistryPackage instances in the Registry,set RP to be the result of the RegistryPackageQuer |
| funreq_id_392 |
SemanticRulesRegistryPackageQuery |
ebRS-2.1#8.2.9 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse. |
| req_id_23 |
ExtrinsicObjectQuery |
ebRS-2.1#8.2.10 |
|
| funreq_id_393 |
SemanticRulesExtrinsicObjectQuery |
ebRS-2.1#8.2.10 |
(If a ExtrinsicObjectFilter is specified) | REQUIRED |
Let EO denote the set of all persistent ExtrinsicObject instances in the Registry, let x be an extrinsic object in EO |
| funreq_id_394 |
SemanticRulesExtrinsicObjectQuery |
ebRS-2.1#8.2.10 |
(let EO denote the set of all persistent ExtrinsicObject instances in the Registry and x be an extrinsic object in EO, If x does not satisfy the ExtrinsicObjectFilter) | REQUIRED |
let EO denote the set of all persistent ExtrinsicObject instances in the Registry and x be an extrinsic object in EO, remove x from EO |
| funreq_id_395 |
SemanticRulesExtrinsicObjectQuery |
ebRS-2.1#8.2.10 |
(let EO denote the set of all persistent ExtrinsicObject instances in the Registry and x be an extrinsic object in EO, If EO is empty after removing x from EO) | REQUIRED |
raise the warning: extrinsic object query result is empty |
| funreq_id_396 |
SemanticRulesExtrinsicObjectQuery |
ebRS-2.1#8.2.10 |
(let EO denote the set of all persistent ExtrinsicObject instances in the Registry and x be an extrinsic object in EO, If EO is not empty) | REQUIRED |
set EO to be the result of the ExtrinsicObjectQuery |
| funreq_id_397 |
SemanticRulesExtrinsicObjectQuery |
ebRS-2.1#8.2.10 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse |
| req_id_24 |
OrganizationQuery |
ebRS-2.1#8.2.11 |
|
| funreq_id_398 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If an OrganizationFilter element is directly contained in the OrganizationQuery element) | REQUIRED |
let x be an organization instance in ORG |
| funreq_id_399 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(let x be an organization instance in ORG, If x does not satisfy the OrganizationFilter) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be an organization instance in ORG, remove x from ORG |
| funreq_id_400 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry and x be an organization instance in ORG, If ORG is empty after removing x from ORG) | REQUIRED |
raise the warning: organization query result is empty |
| funreq_id_401 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If a PostalAddressFilter element is directly contained in the OrganizationQuery element) | REQUIRED |
let x be an extrinsic object in ORG |
| funreq_id_402 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG. If postal address of x does not satisfy the PostalAddressFilter then remove x from ORG) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, remove x from ORG |
| funreq_id_403 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry, If ORG is empty ) | REQUIRED |
raise the warning: organization query result is empty |
| funreq_id_404 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If TelephoneNumberFilter element is directly contained in the OrganizationQuery element) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry, let x be an extrinsic object in ORG |
| funreq_id_405 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, If any of the TelephoneNumberFilters isn’t satisfied by all of the telephone numbers of x ) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, remove x from ORG |
| funreq_id_406 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, If ORG is empty after removing x from ORG) | REQUIRED |
raise the warning: organization query result is empty |
| funreq_id_407 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If a PostalAddressFilter element is specified within the UserBranch AND Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG and u be the user instance that is affiliated with x, if the postal address of u does not satisfy that filter) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, remove x from ORG |
| funreq_id_408 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If TelephoneNumberFilter(s) are specified within the UserBranch AND Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, if any of the TelephoneNumberFilters isn’t satisfied by all of the telephone numbers of x) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, remove x from ORG |
| funreq_id_409 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If EmailAddressFilter(s) are specified within the UserBranch AND Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, if any of the EmailAddressFilters isn’t satisfied by all of the email addresses of x) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, remove x from ORG |
| funreq_id_410 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If an OrganizationQuery element is specified within the UserBranch) | REQUIRED |
let o be the Organization instance that is identified by the organization that u is affiliated with |
| funreq_id_411 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(let o be the Organization instance that is identified by the organization that u is affiliated with, If o doesn’t satisfy OrganizationQuery) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, remove x from ORG |
| funreq_id_412 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, If ORG is empty after removing x from ORG) | REQUIRED |
raise the warning: organization query result is empty |
| funreq_id_413 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If a OrganizationParentBranch element is specified within the OrganizationQuery) | REQUIRED |
let x be an extrinsic object in ORG. Execute the following paragraph with o = x |
| funreq_id_414 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If an OrganizationFilter is specified within the OrganizationParentBranch AND Let o be an organization instance, if o has parent ) | REQUIRED |
Let o be an organization instance, let p be the parent organization of o |
| funreq_id_415 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let o be an organization instance and p be the parent organization of o, If p does not satisfy the OrganizationFilter) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, remove x from ORG |
| funreq_id_416 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry and x be an extrinsic object in ORG, If ORG is empty after removing x from ORG) | REQUIRED |
raise the warning: organization query result is empty |
| funreq_id_417 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(If another OrganizationParentBranch element is directly contained within this OrganizationParentBranch element) | REQUIRED |
Let o be an organization instance and p be the parent organization of orepeat the previous paragraph with o = p |
| funreq_id_418 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry and x be a remaining organization in ORG, if ORG is not empty after removing x from ORG) | REQUIRED |
Let ORG denote the set of all persistent Organization instances in the Registry and x be a remaining organization in ORG, treat each OrganizationChildrenBranch element separately and execute the following paragraph with n = x |
| funreq_id_419 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(Let ORG denote the set of all persistent Organization instances in the Registry and x be a remaining organization in ORG, if ORG is empty after removing x from ORG) | REQUIRED |
set ORG to be the result of the OrganizationQuery |
| funreq_id_420 |
SemanticRulesOrgainzationQuery |
ebRS-2.1#8.2.11 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse |
| req_id_25 |
ServiceQuery |
ebRS-2.1#8.2.12 |
|
| funreq_id_421 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(If a ServicetFilter is specified ) | REQUIRED |
let x be a service in S |
| funreq_id_422 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(let x be a service in S, If x does not satisfy the ServiceFilter) | REQUIRED |
let S denote the set of all persistent Service instances in the Registry and x be a service in S, remove x from S |
| funreq_id_423 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(let S denote the set of all persistent Service instances in the Registry and x be a service in S, If S is empty after removing x from S) | REQUIRED |
raise the warning: service query result is empty |
| funreq_id_424 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(If a SpecificationLinkFilter element is specified within the SpecificationLinkBranch AND Let sb be a remaining service binding in SB. Let SL be the set of all specification link instances sl that describe specification links of sb, if sl does not satisfy that filter) | REQUIRED |
Let sb be a remaining service binding in SB. Let SL be the set of all specification link instances sl that describe specification links of sb, remove sl from SL |
| funreq_id_425 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(Let sb be a remaining service binding in SB. Let SL be the set of all specification link instances sl that describe specification links of sb, If SL is empty ) | REQUIRED |
Let SB be the set of all ServiceBinding instances that describe binding of x and sb be a remaining service binding in SB, remove sb from SB |
| funreq_id_426 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(Let SB be the set of all ServiceBinding instances that describe binding of x , If SB is empty ) | REQUIRED |
Let S denote the set of all persistent Service instances in the Registry and x be a service in S , remove x from S |
| funreq_id_427 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(Let S denote the set of all persistent Service instances in the Registry and x be a service in S, If S is empty after removing x from S ) | REQUIRED |
raise the warning: service query result is empty |
| funreq_id_428 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(Let S denote the set of all persistent Service instances in the Registry and x be a service in S, If S is not empty after removing x from S ) | REQUIRED |
set S to be the result of the ServiceQuery |
| funreq_id_429 |
SemanticRulesServiceQuery |
ebRS-2.1#8.2.12 |
(All steps are completed) | REQUIRED |
Return the result and any accumulated warnings or exceptions (in the RegistryErrorList) within the RegistryResponse |
| 2.1.1 |
ImplementsFilters |
|
|
REQUIRED |
The Filters are implemented |
| req_id_27 |
ImplementsRegistryFilters |
ebRS-2.1#8.2.14 |
|
| funreq_id_430 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryObjectFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the RegistryObject UML class defined in [ebRIM] |
| funreq_id_431 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryObjectFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the RegistryObject UML class defined in [ebRIM]) | REQUIRED |
raise exception: registry object attribute error |
| funreq_id_432 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryObjectFilter XML element) | REQUIRED |
The RegistryObjectFilter returns a set of identifiers for RegistryObject instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_433 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryEntryFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the RegistryEntry UML class defined in [ebRIM] |
| funreq_id_434 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryEntryFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the RegistryEntry UML class defined in [ebRIM]) | REQUIRED |
raise exception: registry entry attribute error |
| funreq_id_435 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryEntryFilter XML element) | REQUIRED |
The RegistryEntryFilter returns a set of identifiers for RegistryEntry instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_436 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExtrinsicObjectFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the ExtrinsicObject UML class defined in [ebRIM] |
| funreq_id_437 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExtrinsicObjectFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the ExtrinsicObject UML class defined in [ebRIM]) | REQUIRED |
raise exception: extrinsic object attribute error |
| funreq_id_438 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExtrinsicObjectFilter XML element) | REQUIRED |
The ExtrinsicObjectFilter returns a set of identifiers for ExtrinsicObject instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_439 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryPackageFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the RegistryPackage UML class defined in [ebRIM] |
| funreq_id_440 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryPackageFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the RegistryPackage UML class defined in [ebRIM]. ) | REQUIRED |
raise exception: package attribute error |
| funreq_id_441 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every RegistryPackageFilter XML element) | REQUIRED |
The RegistryPackageFilter returns a set of identifiers for RegistryPackage instances whose attribute values evaluate to True for the Clause predicate. |
| funreq_id_442 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every OrganizationFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the Organization or PostalAddress UML classes defined in [ebRIM] |
| funreq_id_443 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every OrganizationFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the Organization or PostalAddress UML classes defined in [ebRIM]) | REQUIRED |
raise exception: organization attribute error |
| funreq_id_444 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every OrganizationFilter XML element) | REQUIRED |
The OrganizationFilter returns a set of identifiers for Organization instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_445 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationNodeFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the ClassificationNode UML class defined in [ebRIM] |
| funreq_id_446 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationNodeFilter XML element, the leftArgument attribute of any containing impleClause shall not identify a public attribute of the ClassificationNode UML class defined in [ebRIM]) | REQUIRED |
raise exception: classification node attribute error |
| funreq_id_447 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationNodeFilter XML element, If the leftAttribute is the visible attribute “path” then if stringPredicate of the StringClause is not “Equal”) | REQUIRED |
raise exception: classification node path attribute error |
| funreq_id_448 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationNodeFilter XML element) | REQUIRED |
The ClassificationNodeFilter returns a set of identifiers for ClassificationNode instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_449 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every AssociationFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the Association UML class defined in [ebRIM] |
| funreq_id_450 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every AssociationFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the Association UML class defined in [ebRIM]. ) | REQUIRED |
raise exception: association attribute error |
| funreq_id_451 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every AssociationFilter XML element) | REQUIRED |
The AssociationFilter returns a set of identifiers for Association instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_452 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the Classification UML class defined in [ebRIM] |
| funreq_id_453 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the Classification UML class defined in [ebRIM]) | REQUIRED |
raise exception: classification attribute error |
| funreq_id_454 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationFilter XML element) | REQUIRED |
The ClassificationFilter returns a set of identifiers for Classification instances whose attribute values evaluate to True for the Clause predicate. |
| funreq_id_455 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationSchemeFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the ClassificationNode UML class defined in [ebRIM] |
| funreq_id_456 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationSchemeFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the ClassificationNode UML class defined in [ebRIM]) | REQUIRED |
raise exception: classification scheme attribute error |
| funreq_id_457 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ClassificationSchemeFilter XML element) | REQUIRED |
The ClassificationSchemeFilter returns a set of identifiers for ClassificationScheme instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_458 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExternalLinkFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the ExternalLink UML class defined in [ebRIM] |
| funreq_id_459 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExternalLinkFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the ExternalLink UML class defined in [ebRIM]. ) | REQUIRED |
raise exception: external link attribute error |
| funreq_id_460 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExternalLinkFilter XML element) | REQUIRED |
The ExternalLinkFilter returns a set of identifiers for ExternalLink instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_461 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExternalIdentiferFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the ExternalIdentifier UML class defined in [ebRIM] |
| funreq_id_462 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExternalIdentiferFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the ExternalIdentifier UML class defined in [ebRIM]. ) | REQUIRED |
raise exception: external identifier attribute error |
| funreq_id_463 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ExternalIdentiferFilter XML element) | REQUIRED |
The ExternalIdentifierFilter returns a set of identifiers for ExternalIdentifier instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_464 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SlotFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the Slot UML class defined in [ebRIM] |
| funreq_id_465 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SlotFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the Slot UML class defined in [ebRIM]) | REQUIRED |
raise exception: slot attribute error |
| funreq_id_466 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SlotFilter XML element) | REQUIRED |
The SlotFilter returns a set of identifiers for Slot instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_467 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every AuditableEventFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the AuditableEvent UML class defined in [ebRIM] |
| funreq_id_468 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every AuditableEventFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the AuditableEvent UML class defined in [ebRIM]) | REQUIRED |
raise exception: auditable event attribute error |
| funreq_id_469 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every AuditableEventFilter XML element) | REQUIRED |
The AuditableEventFilter returns a set of identifiers for AuditableEvent instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_470 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every UserFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the User UML class defined in [ebRIM] |
| funreq_id_471 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every UserFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the User UML class defined in [ebRIM]) | REQUIRED |
raise exception: user attribute error |
| funreq_id_472 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every UserFilter XML element) | REQUIRED |
The UserFilter returns a set of identifiers for User instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_473 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SlotValueFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify the “value” attribute of the SlotValue class just defined |
| funreq_id_474 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SlotValueFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify the “value” attribute of the SlotValue class just defined) | REQUIRED |
raise exception: slot element attribute error |
| funreq_id_475 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SlotValueFilter XML element) | REQUIRED |
The SlotValueFilter returns a set of Slot instances whose “value” attribute evaluates to True for the Clause predicate |
| funreq_id_476 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every PostalAddressFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the PostalAddress UML class defined in [ebRIM] |
| funreq_id_477 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every PostalAddressFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the PostalAddress UML class defined in [ebRIM]) | REQUIRED |
raise exception: postal address attribute error |
| funreq_id_478 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every PostalAddressFilter XML element) | REQUIRED |
The PostalAddressFilter returns a set of identifiers for PostalAddress instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_479 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every TelephoneNumberFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the TelephoneNumber UML class defined in [ebRIM] |
| funreq_id_480 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every TelephoneNumberFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the TelephoneNumber UML class defined in [ebRIM]. ) | REQUIRED |
raise exception: telephone number identity attribute error |
| funreq_id_481 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every TelephoneNumberFilter XML element) | REQUIRED |
The TelephoneNumberFilter returns a set of identifiers for TelephoneNumber instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_482 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every EmailAddressFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the EmailAddress UML class defined in [ebRIM] |
| funreq_id_483 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every EmailAddressFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the EmailAddress UML class defined in [ebRIM]) | REQUIRED |
raise exception: email address attribute error |
| funreq_id_484 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every EmailAddressFilter XML element) | REQUIRED |
The EmailAddressFilter returns a set of identifiers for EmailAddresss instances whose attribute values evaluate to True for the Clause predicate. |
| funreq_id_485 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ServiceFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the Service UML class defined in [ebRIM] |
| funreq_id_486 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ServiceFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the Service UML class defined in [ebRIM]) | REQUIRED |
raise exception: service attribute error |
| funreq_id_487 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ServiceFilter XML element) | REQUIRED |
The ServiceFilter returns a set of identifiers for Service instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_488 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ServiceBindingFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the ServiceBinding UML class defined in [ebRIM] |
| funreq_id_489 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ServiceBindingFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the ServiceBinding UML class defined in [ebRIM]) | REQUIRED |
raise exception: service binding attribute error |
| funreq_id_490 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every ServiceBindingFilter XML element) | REQUIRED |
The ServiceBindingFilter returns a set of identifiers for ServiceBinding instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_491 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SpecificationLinkFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the SpecificationLink UML class defined in [ebRIM] |
| funreq_id_492 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SpecificationLinkFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the SpecificationLink UML class defined in [ebRIM]) | REQUIRED |
raise exception: specification link attribute error |
| funreq_id_493 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every SpecificationLinkFilter XML element) | REQUIRED |
The SpecificationLinkFilter returns a set of identifiers for SpecificationLink instances whose attribute values evaluate to True for the Clause predicate |
| funreq_id_494 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every LocalizedStringFilter XML element) | REQUIRED |
the leftArgument attribute of any containing SimpleClause shall identify a public attribute of the LocalizedString UML class defined in [ebRIM] |
| funreq_id_495 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every LocalizedStringFilter XML element, the leftArgument attribute of any containing SimpleClause shall not identify a public attribute of the LocalizedString UML class defined in [ebRIM]) | REQUIRED |
raise exception: localized string attribute error |
| funreq_id_496 |
SemanticRulesRegistryFilters |
ebRS-2.1#8.2.13 |
(For every LocalizedStringFilter XML element) | REQUIRED |
The LocalizedStringFilter returns a set of identifiers for LocalizedString instances whose attribute values evaluate to True for the Clause predicate |
| 2.1.1. |
ImplementsClause |
|
|
REQUIRED |
The Clause is implemented |
| req_id_27 |
XMLClauseConstraintRepresentation |
ebRS-2.1#8.2.14 |
|
| funreq_id_497 |
SemanticRulesXMLConstraintRepresentationForBooleanClause |
ebRS-2.1#8.2.14 |
(For SimpleClauses) | REQUIRED |
BooleanClause implicitly defines the predicate as ‘equal to’, with the right argument as a boolean |
| funreq_id_498 |
SemanticRulesXMLConstraintRepresentationForStringClause |
ebRS-2.1#8.2.14 |
(For SimpleClauses) | REQUIRED |
StringClause defines the predicate as an enumerated attribute of appropriate string-compare operations and a right argument as the element’s text data |
| funreq_id_499 |
SemanticRulesXMLConstraintRepresentationForRationalClause |
ebRS-2.1#8.2.14 |
(For SimpleClauses) | REQUIRED |
Rational number support is provided through a common RationalClause providing an enumeration of appropriate rational number compare operations, which is further extended to IntClause and FloatClause, each with appropriate signatures for the right argument |
| funreq_id_500 |
SemanticRulesXMLConstraintRepresentationForCompoundClauses |
ebRS-2.1#8.2.14 |
(For CompoundClauses) | REQUIRED |
A CompoundClause contains two or more Clauses (Simple or Compound) and a connective predicate. This provides for arbitrarily complex Clauses to be formed |
| req_id_28 |
ContentRetrieval |
ebRS-2.1#8.4 |
|
| funreq_id_501 |
IdentificationOfContentPayloads |
ebRS-2.1#8.4.1 |
(For each payload in the message) | REQUIRED |
Use the ID of the ExtrinsicObject instance as the value of the Content-ID header parameter for the mime multipart that contains the corresponding repository item for the ExtrinsicObject |
| funreq_id_502 |
IdentificationOfContentPayloads |
ebRS-2.1#8.4.1 |
(In case of [ebMS] transport) | REQUIRED |
use the ID of the ExtrinsicObject instance in the Reference element for that object in the Manifest element of the ebXMLHeader |
| req_id_2.1.2 |
ImplementsSQLQuery |
ebRS-2.5#8.3 |
|
OPTIONAL |
SQLQuery is supported |
| req_id_2.2 |
ImplementsGetRegistryObject |
ebRS-2.5#6.2.2 |
(If QueryManager interface exists) | REQUIRED |
The getRegistryObject method is implemented |
| req_id_2.3 |
ImplementsGetRepositoryItem |
ebRS-2.5#6.2.2 |
(If QueryManager interface exists) | REQUIRED |
The getRepositoryItem method is implemented |
| req_id_2.4 |
ImplementsGetNotifications |
ebRS-2.5#6.2.2 |
(If QueryManager interface exists) | REQUIRED |
The getNotificationsmethod is implemented |
| req_id_3 |
ImplementsCatalogingService |
ebRS-2.5#2 |
(For any registry with an HTTP, SOAP or ebXML binding) | REQUIRED |
The Content Cataloging service is implemented |
| req_id_4 |
ImplementsEventNotificationService |
ebRS-2.5#9 |
(For any registry with an HTTP, SOAP or ebXML binding) | OPTIONAL |
The Event Notification feature is implemented |
| req_id_5 |
ImplementsFederatedRegistries |
ebRS-2.5#11 |
(For any registry with an HTTP, SOAP or ebXML binding) | OPTIONAL |
The Federated Registry Service is implemented |
| req_id_5.1 |
ImplementsAcceptObjects |
ebRS-2.5#6.6.2 |
(For any registry with an HTTP, SOAP or ebXML binding) | REQUIRED |
The acceptObjects method is implemented |
| req_id_5.2 |
ImplementsRelocateObjects |
ebRS-2.5#6.6.2 |
(For any registry with an HTTP, SOAP or ebXML binding) | REQUIRED |
The relocateObjects method is implemented |
| req_id_6 |
ImplementsSecurity |
ebRS-2.5#12 |
(For any registry with an HTTP, SOAP or ebXML binding) | REQUIRED |
Registry Security is implemented |
| req_id_29 |
IntegrityOfRegistryContent |
ebRS-2.1#9.2 |
|
| funreq_id_503 |
PayloadSignaturePackagingRequirementForPayloadAndItsSignature |
ebRS-2.1#9.2.2.1 |
(For payload and its signature) | REQUIRED |
The payload and its signature must be enclosed in a MIME multipart message with a Content-Type of multipart/related |
| funreq_id_504 |
PayloadSignaturePackagingRequirementForFirstbody |
ebRS-2.1#9.2.2.1 |
(For first body part) | REQUIRED |
The first body part must contain the XML signature as specified in Section 12.2.2.2, “Payload Signature Generation Requirements |
| funreq_id_505 |
PayloadSignaturePackagingRequirementForSecondbody |
ebRS-2.1#9.2.2.1 |
(For second body part) | REQUIRED |
The second body part must be the content |
| funreq_id_506 |
GeneratePayloadSignatureAsSpecifiedInSpecification |
ebRS-2.1#9.2.2.2 |
(For ds:Signature element [XMLDSIG] for a payload signature ) | REQUIRED |
The ds:Signature element [XMLDSIG] for a payload signature must be generated as specified in this section |
| funreq_id_507 |
UseAlgorithmAttribute |
ebRS-2.1#9.2.2.2 |
(For element [XMLDSIG] ) | REQUIRED |
[XMLDSIG] requires that the algorithm be identified using the Algorithm attribute |
| funreq_id_508 |
Containds:CanonicalizationMethod |
ebRS-2.1#9.2.2.2 |
(For the ds:SignedInfo element) | REQUIRED |
The ds:SignedInfo element must contain a ds:CanonicalizationMethod element |
| funreq_id_509 |
SupportCanonicalizationAlgorithm |
ebRS-2.1#9.2.2.2 |
(For Canonicalization algorithm) | REQUIRED |
Canonicalization algorithm (specified in [XMLDSIG]) must be supported http://www.w3.org/TR/2001/REC-xml-c14n-20010315 |
| funreq_id_510 |
IdentifyPayloadForReference |
ebRS-2.1#9.2.2.2 |
(For ds:Reference element) | REQUIRED |
Must identify the payload to be signed using the URI attribute of the ds:Reference element |
| funreq_id_511 |
ContainDigestMethodForReference |
ebRS-2.1#9.2.2.2 |
(For ds:Reference element) | REQUIRED |
Must contain the ds:DigestMethod as specified in [XMLDSIG]. A client must support the following digest algorithm : http://www.w3.org/2000/09/xmldsig#sha1 |
| funreq_id_512 |
ContainDigestValueForReference |
ebRS-2.1#9.2.2.2 |
(For ds:Reference element) | REQUIRED |
Must contain a ds:DigestValue which is computed as specified in [XMLDSIG] |
| funreq_id_513 |
GeneratedAsSpecifiedIn[XMLDSIG]ForSignatureValue |
ebRS-2.1#9.2.2.2 |
(For ds:SignatureValue element) | REQUIRED |
The ds:SignatureValue must be generated as specified in [XMLDSIG] |
| funreq_id_514 |
SubjectToRequirementsForKeyInfo |
ebRS-2.1#9.2.2.2 |
(For ds:KeyInfo element, ds:KeyInfo element is present ) | REQUIRED |
ds:KeyInfo field is subject to the requirements stated in Section 12.4, “KeyDistrbution and KeyInfo element” |
| funreq_id_515 |
MessagePayloadSignatureValidation |
ebRS-2.1#9.2.2.3 |
(For ds:Signature element) | REQUIRED |
The ds:Signature element must be validated by the Registry as specified in the [XMLDSIG] |
| req_id_30 |
Authentication |
ebRS-2.1#9.3 |
|
| funreq_id_516 |
Certification |
ebRS-2.1#9.3 |
() | REQUIRED |
The certificate may be in the message itself or provided to the registry through means unspecified in this specification |
| funreq_id_517 |
PerformAuthentication |
ebRS-2.1#9.3 |
() | REQUIRED |
The Registry must perform authentication on a per message basis |
| funreq_id_518 |
HeaderSignatureRequirement |
ebRS-2.1#9.3.1 |
() | REQUIRED |
Message headers may be signed and are referred to as a header signature |
| funreq_id_519 |
PackagingRequirements |
ebRS-2.1#9.3.1.1 |
() | REQUIRED |
The ds:Signature element generated must be packaged in a SOAP-ENV:Header element |
| funreq_id_520 |
Presentds:SignatureMethod |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
ds:SignatureMethod must be present |
| funreq_id_521 |
UseAlgorithmAttribute |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
[XMLDSIG] requires that the algorithm be identified using the Algorithm attribute |
| funreq_id_522 |
FollowAlgorithmAttritute |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
While [XMLDSIG] allows more than one Algorithm Attribute, a client must be capable of signing using only the following Algorithm attribute: http://www.w3.org/2000/09/xmldsig#dsa-sha1 |
| funreq_id_523 |
Conform[XMLDSIG]specification |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
All XMLDSIG implementations conforming to the [XMLDSIG] specification support this algorithm |
| funreq_id_524 |
Containds:CanonicalizationMethod |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
The ds:SignedInfo element must contain a ds:CanonicalizationMethod element |
| funreq_id_525 |
CanonicalizationAlgorithm |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
The following Canonicalization algorithm (specified in [XMLDSIG]) must be supported:
http://www.w3.org/TR/2001/REC-xml-c14n-20010315
|
| funreq_id_526 |
ds:ReferenceElement |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
A ds:Reference element to include the SOAP-ENV:Envelope in the signature calculation. This signs the entire ds:Reference element |
| funreq_id_527 |
Includeds:Transform |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
Must include the ds:Transform
http://www.w3.org/2000/09/xmldsig#enveloped-signature |
| funreq_id_528 |
IdentifiySOAP-ENV:Envelope |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
Must identify the SOAP-ENV:Envelope element using the URI attribute of the ds:Reference element (The URI attribute is optional in the [XMLDSIG] specification) |
| funreq_id_529 |
URIAttribute |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
The URI attribute must be an empty string (“”) |
| funreq_id_530 |
Containds:DigestMethod |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
Must contain the ds:DigestMethod as specified in [XMLDSIG] |
| funreq_id_531 |
SupportDigestAlgorithm |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
A client must support the digest algorithm: http://www.w3.org/2000/09/xmldsig#sha1 |
| funreq_id_532 |
Containds:DigestValue |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
Must contain a ds:DigestValue, which is computed as specified in [XMLDSIG] |
| funreq_id_533 |
ds:KeyInfo |
ebRS-2.1#9.3.1.2 |
() | OPTIONAL |
The ds:KeyInfo element may be present |
| funreq_id_534 |
SubjectToRequirementsForKeyInfo |
ebRS-2.1#9.3.1.2 |
() | REQUIRED |
ds:KeyInfo is subject to the requirements stated in Section 9.4, “KeyDistrbution and KeyInfo element” |
| req_id_31 |
Authorization |
ebRS-2.1#9.6 |
|
| funreq_id_535 |
ProvideAuthorizationMechanism |
ebRS-2.1#9.6 |
() | REQUIRED |
The Registry must provide an authorization mechanism based on the information model defined in [ebRIM] |
| req_id_32 |
AccessControl |
ebRS-2.1#9.7 |
|
| funreq_id_536 |
CreateDefaultAccessControlPolicy |
ebRS-2.1#9.7 |
() | REQUIRED |
The Registry must create a default AccessControlPolicy object that grants default permissions to Registry users to access Registry Objects based upon their assigned role |
| funreq_id_537 |
SecurityOfPublishContent |
ebRS-2.1#9.7 |
() | REQUIRED |
Only a Registered User can publish content |
| funreq_id_538 |
SecurityOfUnauthenticatedRegistryClient |
ebRS-2.1#9.7 |
() | REQUIRED |
Any unauthenticated Registry Client can only access some read-only methods permitted for GuestReader role. The Registry must assign the default GuestReader role to such Registry Clients |
| funreq_id_539 |
SecurityOfSubmittingOrganization |
ebRS-2.1#9.7 |
() | REQUIRED |
The SubmittingOrganization has access to all methods of Registry Objects submitted or updated by the Submitting Organization. This version of the specification does not distinguish between Submitting Organization and Responsible Organzaion, and assumes that the Submitting Organization is also the Responsible Organization |
| funreq_id_540 |
SecurityOfSubmittingOrganization |
ebRS-2.1#9.7 |
() | REQUIRED |
The RegistryAdministrator and Registry Authority have access to all methods on all Registry Objects |
| funreq_id_541 |
AssignDefaultContentOwner |
ebRS-2.1#9.7 |
() | REQUIRED |
At the time of content submission, the Registry must assign the default ContentOwner role to the registered User as authenticated by the credentials in the submission message |
| funreq_id_542 |
SecurityOfRegistryReader |
ebRS-2.1#9.7 |
() | REQUIRED |
A Registry Reader can access some read-only(getXXX) methods on some Registry Objects(read-only access to some content) as defined in the custom access control policy agreed upon in a contract between the registry and Registry Reader |