Rządowy projekt ustawy o zmianie ustawy - Prawo geodezyjne i kartograficzne

Ograniczenie:

Nazwa:
RodzajSieci

Język naturalny: Jeżeli atrybut rodzajBudowli przyjmuje wartość ‘k’ lub
‘o’, to atrybut rodzajSieci przyjmuje wartość 1.

OCL:
inv: if (self.rodzajBudowli=’k’ and
self.rodzajBudSport=’o’) then (self.rodzajSieci.size=1).


Klasa: GES_UrzadzenieTechniczneZwiazaneZSiecia

Nazwa:
GES_SUUS

Definicja:
Urządzenie techniczne związane z siecią uzbrojenia terenu.

Klasa bazowa:
GES_OgolnyObiekt

Stereotypy:
«FeatureType»

Atrybut:

Nazwa:
geometria

Nazwa (pełna): geometria

Dziedzina:
GM_Primitive

Liczność:
1

Definicja:
Geometria obiektu.
Atrybut:

Nazwa:
rodzajSieci

Nazwa (pełna): rodzaj sieci

Dziedzina:
GES_RodzSieci

Liczność:
1

Definicja:
Rodzaj sieci uzbrojenia terenu.
Atrybut:

Nazwa:
rodzajUrzadz

Nazwa (pełna): rodzaj urządzenia

Dziedzina:
GES_Urzadz

Liczność:
1

Definicja:
Rodzaj urządzenia technicznego związanego z siecią
uzbrojenia terenu.
Atrybut:

Nazwa:
przebieg

Nazwa (pełna): przebieg

Dziedzina:
GES_Przebieg

Liczność:
1

Definicja:
Przebieg obiektów bazy danych GESUT.

Stereotypy:
«Voidable»
Relacja:

Typ:
Generalization

Dziedzina:
GES_ObiektGESUT
Ograniczenie:

Nazwa:
GeometriaPunktLiniaPowierzchnia

Język naturalny: Geometria obiektu jest punktem lub linią lub
powierzchnią.

OCL:
inv: self.geometria.oclIsTypeOf(GM_Point)=true or
self.geometria.oclIsTypeOf(GM_Curve)=true or
self.geometria.oclIsTypeOf(GM_Surface)=true
Ograniczenie:
21


Nazwa:
GeometriaPunkt

Język naturalny: Geometria obiektów hydrant, kratka ściekowa, słupek
telekomunikacyjny, sygnalizator świetlny, trójnik, wylot
kanału, zasuwa, zawór, zdrój uliczny jest punktem.

OCL:
inv: if self.rodzajUrzadz='h' or self.rodzajUrzadz='ks' or
self.rodzajUrzadz='sl' or self.rodzajUrzadz='ss' or
self.rodzajUrzadz='t' or self.rodzajUrzadz='wk' or
self.rodzajUrzadz='zs' or self.rodzajUrzadz='zw' or
self.rodzajUrzadz='zu' then
self.geometria.oclIsTypeOf(GM_Point)=true
Ograniczenie:

Nazwa:
GeometriaPowierzchnia

Język naturalny: Geometria obiektów hydrofornia, kontener
telekomunikacyjny, osadnik kanalizacji lokalnej,
przepompownia, stacja gazowa, stacja transformatorowa
jest powierzchnią.

OCL:
inv: if self.rodzajUrzadz='hd' or self.rodzajUrzadz='kt' or
self.rodzajUrzadz='sz' or self.rodzajUrzadz='p' or
self.rodzajUrzadz='gk' or self.rodzajUrzadz='tk' then
self.geometria.oclIsTypeOf(GM_Surface)=true
Ograniczenie:

Nazwa:
GeometriaLinia

Język naturalny: Geometria obiektu odwodnienie liniowe jest linią.

OCL:
inv: if self.rodzajUrzadz='ol' then
self.geometria.oclIsTypeOf(GM_Curve)=true
Ograniczenie:

Nazwa:
GeometriaPunktPowierzchnia

Język naturalny: Geometria obiektów dystrybutor paliw, słupowa stacja
transformatorowa, studnia, studnia głębinowa, studzienka,
szafa kablowa, szafa oświetleniowa, szafa sterownicza,
szafka gazowa, właz, zbiornik, złącze kablowe jest
punktem lub powierzchnią.

OCL:
inv: if self.rodzajUrzadz='d' or self.rodzajUrzadz='ts' or
self.rodzajUrzadz='st' or self.rodzajUrzadz='sg' or
self.rodzajUrzadz='s' or self.rodzajUrzadz='sk' or
self.rodzajUrzadz='so' or self.rodzajUrzadz='sr' or
self.rodzajUrzadz='sg' or self.rodzajUrzadz='w' or
self.rodzajUrzadz='zb' or self.rodzajUrzadz='zk' then
self.geometria.oclIsTypeOf(GM_Point)=true or
self.geometria.oclIsTypeOf(GM_Surface)=true

Klasa: GES_PunktOOkreslonejWysokosci

Nazwa:
GES_SUPS

Definicja:
Punkt o określonej wysokości.

Stereotypy:
«FeatureType»

Atrybut:

Nazwa:
rzednaGory

Nazwa (pełna): rzędna góry

Dziedzina:
Double

Liczność:
0..1
22


Definicja:
Rzędna góry.
Atrybut:

Nazwa:
rzednaDolu

Nazwa (pełna): rzędna dołu

Dziedzina:
Double

Liczność:
0..1

Definicja:
Rzędna dołu.
Atrybut:

Nazwa:
rodzajSieci

Nazwa (pełna): rodzaj sieci

Dziedzina:
GES_RodzSieci

Liczność:
0..1

Definicja:
Rodzaj sieci uzbrojenia terenu.
Atrybut:

Nazwa:
rodzajUrzadz

Nazwa (pełna): rodzaj urządzenia

Dziedzina:
GES_Urzadz

Liczność:
0..1

Definicja:
Rodzaj urządzenia technicznego związanego z siecią
uzbrojenia terenu.
Atrybut:

Nazwa:
rodzajBudowli

Nazwa (pełna): rodzaj budowli podziemnej

Dziedzina:
GES_RodzBud

Liczność:
0..1

Definicja:
Rodzaj budowli podziemnej.
Atrybut:

Nazwa:
rodzajObudowy

Nazwa (pełna): rodzaj obudowy przewodu

Dziedzina:
GES_Obudowa

Liczność:
0..1

Definicja:
Rodzaj obudowy przewodu.
Atrybut:

Nazwa:
geometria

Nazwa (pełna): geometria

Dziedzina:
GM_Point

Liczność:
1

Definicja:
Geometria obiektu.
Relacja:

Typ:
Association

Rola:
obiekt2

Dziedzina:
GES_ObiektGESUT

Liczność:
1

Definicja:
Określa punkty o określonej wysokości przewodów,
urządzeń technicznych związanych z siecią lub budowli
podziemnych.
Ograniczenie:

Nazwa:
OgraniczenieRodzajSieci

Język naturalny: Atrybut rodzajSieci jest wypełniany tylko dla obiektów
klasy GES_Przewod.
23


OCL:

Ograniczenie:

Nazwa:
OgraniczenieRodzajUrzadz

Język naturalny: Atrybut rodzajUrzadz jest wypełniany tylko dla obiektów
klasy GES_UrzadzenieTechniczneZwiazaneZSiecia.

OCL:

Ograniczenie:

Nazwa:
OgraniczenieRodzajBudowli

Język naturalny: Atrybut rodzajBudowli jest wypełniany tylko dla obiektów
klasy GES_BudowlaPodziemna.

OCL:

Ograniczenie:

Nazwa:
OgraniczenieRodzajObudowy

Język naturalny: Atrybut rodzajObudowy jest wypełniany tylko dla
obiektów klasy GES_ObudowaPrzewodu.

OCL:

Ograniczenie:

Nazwa:
LicznoscAtrybutuRodzajSieci

Język naturalny: Jeżeli liczność atrybutu rodzajSieci przyjmuje wartość 0,
to liczność atrybutów rodzajUrzadz, rodzajBudowli,
rodzajObudowy przyjmuje wartość 1.

OCL:
inv: if (self.rodzajSieci.size=0) then
(self.rodzajUrzadz.size=1 and self.rodzajBudowli.size=1
and self.rodzajObudowy.size=1)
Ograniczenie:

Nazwa:
LicznoscAtrybutuRodzajUrzadz

Język naturalny: Jeżeli liczność atrybutu rodzajUrzadz przyjmuje wartość 0,
to liczność atrybutów rodzajSieci, rodzajBudowli,
rodzajObudowy przyjmuje wartość 1.

OCL:
inv: if (self.rodzajUrzadz.size=0) then
(self.rodzajSieci.size=1 and self.rodzajBudowli.size=1 and
self.rodzajObudowy.size=1)
Ograniczenie:

Nazwa:
LicznoscAtrybutuRodzajBudowli

Język naturalny: Jeżeli liczność atrybutu rodzajBudowli przyjmuje wartość
0, to liczność atrybutów rodzajUrzadz, rodzajSieci,
rodzajObudowy przyjmuje wartość 1.

OCL:
inv: if (self.rodzajBudowli.size=0) then
(self.rodzajUrzadz.size=1 and self.rodzajSieci.size=1 and
self.rodzajObudowy.size=1)
Ograniczenie:

Nazwa:
LicznoscAtrybutuRodzajObudowy

Język naturalny: Jeżeli liczność atrybutu rodzajObudowy przyjmuje wartość
0, to liczność atrybutów rodzajUrzadz, rodzaj sieci,
rodzajBudowli przyjmuje wartość 1.

OCL:
inv: if (self.rodzajObudowy.size=0) then
(self.rodzajUrzadz.size=1 and self.rodzajSieci.size=1 and
self.rodzajBudowli.size=1)


24

Klasa: GES_SlupIMaszt

Nazwa:
GES_SUSM

Definicja:
Słup i maszt.

Klasa bazowa:
GES_ObiektGESUT

Stereotypy:
«FeatureType»

Atrybut:

Nazwa:
geometria

Nazwa (pełna): geometria

Dziedzina:
GM_Primitive

Liczność:
1

Definicja:
Geometria obiektu.
Atrybut:

Nazwa:
rodzajSieci

Nazwa (pełna): rodzaj sieci

Dziedzina:
GES_RodzSieci

Liczność:
1..*

Definicja:
Rodzaj sieci uzbrojenia terenu.
Atrybut:

Nazwa:
rodzajSlup

Nazwa (pełna): rodzaj słupa i masztu

Dziedzina:
GES_RodzSlup

Liczność:
1

Definicja:
Rodzaj słupa i masztu.
Relacja:

Typ:
Generalization

Dziedzina:
GES_ObiektGESUT
Ograniczenie:

Nazwa:
GeometriaPunktLiniaPowierzchnia

Język naturalny: Geometria obiektu jest punktem lub linią lub
powierzchnią.

OCL:
inv: self.geometria.oclIsTypeOf(GM_Point)=true or
self.geometria.oclIsTypeOf(GM_Curve)=true or
self.geometria.oclIsTypeOf(GM_Surface)=true
Ograniczenie:

Nazwa:
OgraniczenieWyboruRodzajuSieci

Język naturalny: Atrybut rodzajSieci może przyjmować tylko wartości e, t,
z, i.

OCL:
inv: self.rodzajSieci='e' or self.rodzajSieci='t' or
self.rodzajSieci='z' or self.rodzajSieci='i'
Ograniczenie:

Nazwa:
GeometriaLiniaPowierzchnia

Język naturalny: Geometria słupa łączonego jest linią lub powierzchnią.

OCL:
inv: if self.rodzajSlup='sp' then
self.geometria.oclIsTypeOf(GM_Curve)=true or
self.geometria.oclIsTypeOf(GM_Surface)=true


Klasa: GES_KorytarzPrzesylowy

Nazwa:
GES_SUKP

Definicja:
Korytarz przesyłowy.
25