diff --git a/cid_domain_specification_alloy.als b/cid_domain_specification_alloy.als index e13d87c..1ec9a90 100644 --- a/cid_domain_specification_alloy.als +++ b/cid_domain_specification_alloy.als @@ -80,7 +80,7 @@ all u : DOMAIN.externalUsers | u not in DOMAIN.internalUsers fact { // external users with CID access rights have to have internal user in their teams: -// an internal employee has to responsible for the compliance of outsourced CID activities (FINMA 50*) +// an internal employee has to be responsible for the compliance of outsourced CID activities (FINMA 50*) no u : DOMAIN.externalUsers | (some r : DOMAIN.userAccessRights[u] | isCIDRole[r]) and (DOMAIN.teams[(DOMAIN.teams).u] & DOMAIN.internalUsers = none) }