Logische modellen

Lijsten

Logisch model

Aangepast model invoegen.

Logische invarianten

Betreft instanties van logische klasse ...	Invariant	Component	Toelichting	Aard	Herkomst
AuthorizationEndpoint	Voor elke AuthorizationEndpoint a geldt: a . AuthorizationEndpoint uri ← combinatie van a . MedMijNode . DeelnemerNode . Node . Hostname en a.AuthorizationEndpointpath, conform de adresseringsverantwoordelijkheden op de Interfaces-pagina.	Zorgaanbiederslijst	Zie de Interfaces-pagina.	vererving	logisch model
Gegevensdienst_ZAL	Voor elke Gegevensdienst_ZAL g met haar corresponderende ZorgaanbiederGegevensdienst z geldt: g.GegevensdienstId ← z.Gegevensdienst.GegevensdienstId	Zorgaanbiederslijst	Zo erft de Zorgaanbiederslijst de GegevensdienstId's van de Catalogus.	vererving	logisch model
Gegevensdienstnamenlijst	Er is precies één instantie hiervan.	Gegevensdienstnamenlijst	Dit is een eenling in het model.	getalsverhouding	logisch model
MedMijNode	Voor elke MedMijNode m geldt: m.Hostname = m.DeelnemerNode.Node.Hostname	Whitelist	Zo erft de MedMijNode de Hostname van de Node die het is.	vererving	logisch model
MedMijNode	De hostname van een MedMijNode bevat een domeinnaam die een fully-qualified domain name is, conform RFC3696, sectie 2.	Whitelist	Dit is een maatregel tegen risico 4.4.1.4 uit RFC 6819.	lokale afhankelijkheid	metamodel (bij Node)
SubscriptionNotificationEndpoint	Voor elk SubscriptionNotificationEndpoint sn geldt: sn.SubscriptionNotificationEndpointuri ← combinatie van sn.MedMijNode.DeelnemerNode.Node.Hostname, sn.SubscriptionNotificationEndpointport en sn.SubscriptionNotificationEndpointpath, conform de adresseringsverantwoordelijkheden op de Interfaces-pagina.	OAuthclientlist	Zie de Interfaces-pagina.	vererving	logisch model
ResourceNotificationEndpoint	Voor elk ResourceNotificationEndpoint rn geldt: rn.ResourceNotificationEndpointuri ← combinatie van rn.MedMijNode.DeelnemerNode.Node.Hostname, rn.ResourceNotificationEndpointport en rn.ResourceNotificationEndpointpath, conform de adresseringsverantwoordelijkheden op de Interfaces-pagina.	OAuthclientlist	Zie de Interfaces-pagina.	vererving	logisch model
OAuthclient	Voor elke OAuthclient o: o.OAuthclientOrganisatienaam voldoet aan het OAuthclient-namenbeleid.	Applicatie	Zie het OAuthclient-namenbeleid.	lokale afhankelijkheid	metamodel (bij OAuthclient)
OAuthclient	Voor elke OAuthclient o geldt: o.Hostname ← o.MedMijNode .Hostname.	OAuthclientlist	Zo erft de OAuthclientlist de Hostnames van de Nodes.	vererving	logisch model
OAuthclientlist	Er is precies één instantie hiervan.	OAuthclientlist	Dit is een eenling in het model.	getalsverhouding	logisch model
ResourceEndpoint	Voor elk ResourceEndpoint r geldt: r.ResourceEndpointuri ← combinatie van r.MedMijNode.DeelnemerNode.Node.Hostname, r.ResourceEndpointport en r.ResourceEndpointpath, conform de adresseringsverantwoordelijkheden op de Interfaces-pagina.	Zorgaanbiederslijst	Zie de Interfaces-pagina.	vererving	logisch model
SubscriptionEndpoint	Voor elk SubscriptionEndpoint s geldt: s.SubscriptionEndpointuri ← combinatie van s.MedMijNode.DeelnemerNode.Node.Hostname, s.SubscriptionEndpointport en s.SubscriptionEndpointpath, conform de adresseringsverantwoordelijkheden op de Interfaces-pagina.	Zorgaanbiederslijst	Zie de Interfaces-pagina.	vererving	logisch model
Systeemrol	Voor elke Systeemrol s met haar corresponderende ZorgaanbiederGegevensdienstSysteemrol z geldt: s.Systeemrolcode ← z.Systeemrol.Systeemrolcode.	Zorgaanbiederslijst	Zo erft de Zorgaanbiederslijst de Systeemrolcodes van het Register van Informatiestandaarden.	vererving	logisch model
TokenEndpoint	Voor elk TokenEndpoint t geldt: t.TokenEndpointuri ← combinatie van t.MedMijNode.DeelnemerNode.Node.Hostname, t.TokenEndpointport en t.TokenEndpointpath, conform de adresseringsverantwoordelijkheden op de Interfaces-pagina.	Zorgaanbiederslijst	Zie de Interfaces-pagina.	lokale afhankelijkheid	logisch model
Whitelist	Er is precies één instantie hiervan.	Whitelist	Dit is een eenling in het model.	getalsverhouding	logisch model
Zorgaanbiederslijst	Er is precies één instantie hiervan.	Zorgaanbiederslijst	Dit is een eenling in het model.	getalsverhouding	logisch model

Verband met metamodel

Klasse in logisch model	Herkomstklasse in metamodel
AuthorizationEndpoint	AuthorizationEndpoint
Gegevensdienst_GNL	Gegevensdienst
Gegevensdienst_OCL	Gegevensdienst
Gegevensdienst_ZAL	ZorgaanbiederGegevensdienst
MedMijNode	MedMijNode
SubscriptionNotificationEndpoint	SubscriptionNotificationEndpoint
ResourceNotificationEndpoint	ResourceNotificationEndpoint
OAuthclient	OAuthclient
ResourceEndpoint	ResourceEndpoint
SubscriptionEndpoint	SubscriptionEndpoint
Systeemrol	ZorgaanbiederGegevensdienstSysteemrol
TokenEndpoint	TokenEndpoint
Zorgaanbieder	Zorgaanbieder