Труды КНЦ (Технические науки вып. 3/2024(15))

Труды Кольского научного центра РАН. Серия: Технические науки. 2024. Т. 15, № 3. С. 41-49. Transactions of the Kola Science Centre of RAS. Series: Engineering Sciences. 2024. Vol. 15, No. 3. P. 41-49. иерархии объектов (B(*) — булеан множества с именем *); RP с B(R) х P — отношения «процесс — входные данные»; PR с P х B(R) — отношения «процесс — выходные данные»; RO с B(R) х O — отношения «объект — входные данные»; OR с O х B(R) — отношения «объект — выходные данные»; OA с O х B(P) — отношения «объект — приписанные к нему процессы». Отношения, определенные в модели, можно представить в форме следующих функций: — функция h определяется аналогично соответствующей функции в СКМ; — rp: P ^ B(R), {rj} rp(pi), где pi некоторый процесс; {rj} мно^кество входных данных процесса pi (rj е rp(pi)); — pr: P ^ B(R), {rj} pr(pi), где pi некоторый процесс; {rj} мно^жество выходных данных процесса pi (rj е pr(pO); — ro: O ^ B(R), {rj} = ro(oi), где oi — некоторый объект; {rj} — множество входных данных объекта oi (rj е pr(oO); — or: O ^ B(R), {rj} = or(oi), где oi — некоторый объект; {rj} — множество выходных данных объекта oi (rj е pr(oO); — oa: O ^ B(P), {pj} = op(oi), где oi — некоторый объект, {pj} — процессы, приписанные объекту oi. Множества значений функций, соответствующие сечениям областей значений отношений КМПО (ее фрагментов) по некоторому элементу областей их определения, обозначаются жирным цветом. Аналогично обозначаются сечения вводимых отношений по некоторым подмножествам их областей определения, которые определяются как объединения всех сечений по элементам этих подмножеств. Например, h(Oi), где Oi с O есть множество объектов, доминируемых данным подмножеством объектов oj е Oi. Отношения RP, PR, OR, RO служат для назначения входных, а также выходных ресурсов объектам и процессам. Функции rp, pr, op, po соответствуют функциям list_in и list_out в СКМ, которые можно применить как к объектам, так и к процессам, но не входят в схему КМПО. Атрибуты, характеризующие элементы КМПО, описываются моделью атрибутов, определяющей структуру таблиц БД КМ. Модель атрибутов РКМ образуется кортежем: где атрибуты N, T ,E, Te, Thи функции n, t, ne, te, tho определяются аналогично соответствующим атрибутам и функциям СКМ; V ::= <Vint, Vfbat, Vstr> — множество возможных значений ресурсных связей; Vint - - множество целочисленных значений; Vfloat - - множество вещественных значений; Vstr - - множество строковых значений; функции rv сопоставляют каждому ресурсу множество его возможных значений: rv ::= <rvint, rvfloat, rvstr>, rvint: R ^ B(Vint), rvfloat: R ^ B(Vfloat), rvstr: R ^ B(Vstr). Поскольку процесс построения модели включает не только ее формирование, но и выбор интересующего фрагмента, а также его доопределение, то БДМ обязана хранить не только данные, относящиеся ко всей модели, но и данные, специфичные для отдельных ее фрагментов. Далее рассмотрим схемы фрагментов РКМ. Использование фрагментов РКМ, а также их названия совпадают с соответствующими фрагментами СКМ [15]. Концептуальную модель полной ситуации можно представить кортежем: где O' — множество объектов полной ситуации (O' с O); P' — множество процессов полной ситуации (P' с P); R' — множество ресурсов полной ситуации (R' с R); BV с R' х rv(R') — отношение «ресурс — множество его начальных значений». Отношение BV представимо в виде набора функций bv ::= <bvmt, bvfloat, bvstr>, где bvint: R' ^ rvmt(R'), bvfloat: R' ^ rvfloat(R'), bvstr: R' ^ rvstr(R'). Концептуальная модель достаточной ситуации имеет вид: Apкм ::= <N, T, n, t, E, Te, ne, te,Th, tho, V, rv>, (2) Sпc ::= <O', P', R', BV>, (3) Sдc ::= <O'', P'', R'', TSet, RS>, (4) © Фридман А. Я., Маслобоев А. В., 2024 45