3. Моделирование объектов реального мира

Предметная область – поликлиника. Объект – пациент.

Данные об объекте:

– ФИО;

F = {f: f – фамилия пациента}

I = {i: i – имя пациента}

О = {о: о – отчество пациента}

S= F×I×О, где S={s: s – набор всевозможных имен, фамилий и отчеств пациентов, заведших медицинскую карту в поликлинике}

S₀F×I×О, где S₀={s: s – имя фамилия и отчество определенного пациента, заведшего медицинскую карту в поликлинике}

– возраст;

V = {v: v – возраст пациента, заведшего медицинскую карту в поликлиннике}

VN, где N – множество натуральных чисел

– пол;

P = {p: p – пол пациента, заведшего медицинскую карту в поликлиннике}

P = {мужской, женский}

– адрес;

Str = {str: str – страна, в которой проживает пациент}

Obl = {obl: obl – область, в которой проживает пациент}

G = {g: g – город, в котором проживает пациент}

R = {r: r – район, в котором проживает пациент}

Ul = {ul: ul – улица, на которой проживает пациент}

D = {d: d – дом, в котором проживает пациент}

Kv = {kv: kv – квартира, в которой проживает пациент}

Adres=Str×Obl×G×R×Ul×D×Kv

Adres = {a: a – всевозможные вариации полного адреса, по которому проживает пациент, заведший медицинскую карту в поликлинике}

Adres₀Str×Obl×G×R×Ul×D×Kv

Adres₀ = {a: a – определенный полный адрес, по которому проживает пациент, заведший медицинскую карту в поликлинике}

– диагноз;

Diagnоz = {diag: diag – диагноз, который был поставлен пациенту и отвечает международному медицинскому стандарту}

– наличие оперативного вмешательства (дата проведения операции, ход операции).

Day {day: day – день проведения операции, натуральное число в диапазоне от 1 до 31}

Month {month: month – месяц проведения операции, натуральное число в диапазоне от 1 до 12} || Month = {январь, февраль, март, апрель, май, июнь, июль, август}

Year {year: year – год проведения операции, четырехзначное натуральное число}

DateОperation = Day×Month×Year

DateОperation = {do: do – всевозможные даты проведения операции пациенту, которому потребовалось оперативное вмешательство}

DateОperation₀Day×Month×Year

DateОperation₀ = {do: do – определенная дата проведения операции пациенту, которому потребовалось оперативное вмешательство}

Operation = {opn: opn – действия, которые проводились в ходе операции, необходимые для оперативной помощи пациенту}

S₁F×I×О, где S₁ = {s₁: s₁ – имя фамилия и отчество определенного пациента, которому необходимо оперативное вмешательство в виде операции}

ZDateОperation₀×Оperation×S₁

Z = {z: z - определенная операция, которая проводилась в определенную дату определенному пациенту, нуждавшемуся в ней}

4. Формальное описание моделируемого объекта

S= F×I×О, где S={s: s – набор всевозможных имен, фамилий и отчеств пациентов, заведших медицинскую карту в поликлинике}

S₀F×I×О, где S₀={s: s – имя фамилия и отчество определенного пациента, заведшего медицинскую карту в поликлинике}

ɣ₁: F → I

ɣ₂: F → О

ɣ₃: I → O

Adres=Str×Obl×G×R×Ul×D×Kv

Adres = {a: a – всевозможные вариации полного адреса, по которому проживает пациент, заведший медицинскую карту в поликлинике}

Adres₀Str×Obl×G×R×Ul×D×Kv

Adres₀ = {a: a – определенный полный адрес, по которому проживает пациент, заведший медицинскую карту в поликлинике}

ɣ₄: Str → Obl

ɣ₅: Str → G

ɣ₆: Str → R

ɣ₇: Str → Ul

ɣ₈: Str → D

ɣ₉: Str → Kv

ɣ₁₀: Obl → G

ɣ₁₁: Obl → R

ɣ₁₂: Obl → Ul

ɣ₁₃: Obl → D

ɣ₁₄: Obl → Kv

ɣ₁₅: G → R

ɣ₁₆: G → Ul

ɣ₁₇: G → D

ɣ₁₈: G → Kv

ɣ₁₉: R → Ul

ɣ₂₀: R → D

ɣ₂₁: R → Kv

ɣ₂₂: Ul → D

ɣ₂₃: Ul → Kv

ɣ₂₄: D → Kv

DateОperation = Day×Month×Year

DateОperation = {do: do – всевозможные даты проведения операции пациенту, которому потребовалось оперативное вмешательство}

DateОperation₀Day×Month×Year

ɣ₂₅: Day → Month

ɣ₂₆: Day → Year

ɣ₂₇: Month → Year

DateОperation₀ = {do: do – определенная дата проведения операции пациенту, которому потребовалось оперативное вмешательство}

ZDateОperation₀×Оperation×S₁

Z = {z: z - определенная операция, которая проводилась в определенную дату определенному пациенту, нуждавшемуся в ней}

ɣ₂₈: DateOperation → Operation

ɣ₂₉: DateOperation → S₁

ɣ₃₀: Operation → S₁