Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
Рассмотрена методология модификации языка описаний и спецификации благодаря введению регламентированных временных диаграмм и аппарата количественного анализа. Приведен пример предложенных средств. Розглянуто методологію модифікації мови опису та специфікації завдяки введенню регламентованих часових...
Saved in:
| Date: | 2006 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2315 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования / М.М. Ластовченко, Н.Н. Макаренко, В.И. Марущак // Проблеми програмування. — 2006. — N 1. — С. 62-69. — Бібліогр.: 14 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859932983234920448 |
|---|---|
| author | Ластовченко, М.М. Макаренко, Н.Н. Марущак, В.И. |
| author_facet | Ластовченко, М.М. Макаренко, Н.Н. Марущак, В.И. |
| citation_txt | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования / М.М. Ластовченко, Н.Н. Макаренко, В.И. Марущак // Проблеми програмування. — 2006. — N 1. — С. 62-69. — Бібліогр.: 14 назв. — рос. |
| collection | DSpace DC |
| description | Рассмотрена методология модификации языка описаний и спецификации благодаря введению регламентированных временных диаграмм и аппарата количественного анализа. Приведен пример предложенных средств.
Розглянуто методологію модифікації мови опису та специфікації завдяки введенню регламентованих часових діаграм та апарату кількісного аналізу. Наведено приклад запропонованих засобів.
The methodology of updating of language of descriptions and specifications is considered due to introduction of regulated time diagrams and the device of the quantitative analysis. The example of the offered means is resulted.
|
| first_indexed | 2025-12-07T16:09:10Z |
| format | Article |
| fulltext |
Інструментальні засоби та середовища програмування
© М.М. Ластовченко, Н.Н. Макаренко, В.И. Марущак, 2006
62 ISSN 1727-4907. Проблеми програмування. 2006. № 1
УДК 681.324
Ластовченко М.М., Макаренко Н.Н., Марущак В.И.
ИНТЕЛЛЕКТУАЛИЗАЦИЯ ПРОГРАММНЫХ СРЕДСТВ ОПИСА-
НИЯ И СПЕЦИФИКАЦИИ ТЕЛЕКОММУНИКАЦИОННЫХ СИС-
ТЕМ И ПРОЦЕССОВ ИХ ФУНКЦИОНИРОВАНИЯ
Рассмотрена методология модификации языка описаний и спецификации благодаря введению регла-
ментированных временных диаграмм и аппарата количественного анализа. Приведен пример предло-
женных средств.
Введение
В процессах интеллектуализации
информационно-коммуникационных техно-
логий в области построения и развития гло-
бальных сетей связи (ГСС) [1] на первое ме-
сто вышла проблема создания информаци-
онно-технологических систем (ИТС) проек-
тирования и консалтинга аппаратно-про-
граммных средств (АПС) [2, 3]. Сущест-
вующие программные средства проектиро-
вания (ПСП) используют языки описаний и
спецификаций (ЯОС) SDL-2000 [4] и MSC
[5], которые существенно поповышают уро-
вень автоматизации процессов проектиро-
вания алгоритмов АПС для систем теле-
коммуникаций. Однако они не обеспечи-
вают корректной спецификации требова-
ний, предъявляемых к алгоритмам АПС.
Отсутствует количественный анализ требо-
ваний к предполагаемой эффективности
АПС, что значительно увеличивает объем
экспериментальных исследований и испы-
таний [2].
Первые работы в области интеллек-
туализации инструментальных ПСП (в ча-
стности, описания и спецификации требо-
ваний) были связаны с проектированием и
разработкой алгоритмов вычислительных
систем [6]. Аналогичные работы проводи-
лись и для систем телекоммуникаций [7].
Однако и в настоящее время все еще отсут-
ствуют ПСП, интеллект которых обеспечи-
вал бы необходимый уровень автоматиза-
ции проектирования [8].
Недостатками даже наиболее пер-
спективных ПСП (например, Telelogic и
Cinderella [2]) для ИТС на сегодня явля-
ются:
1) при обосновании требований к ал-
горитмам АПС, как выше указывалось, от-
сутствует количественный анализ эффек-
тивности их реализации;
2) необходимость использования ря-
да плохо взаимодействующих (точнее плохо
инкапсулируемых) языков описаний и спе-
цификаций, графические и линейные формы
которых не позволяют инженеру воспроиз-
водить процессы, в основе которых лежат
проектируемые алгоритмы;
3) отсутствуют ПСП для интеграль-
ной системы описаний и спецификаций, ох-
ватывающей весь спектр алгоритмов АПС
телекоммуникаций в рамках как архитек-
туры эталонной модели (ЭМ) взаимодейст-
вия открытых систем (ВОС), так и архитек-
тур систем спецификации (SDL, MSC).
В статье предлагается вариант рас-
ширения последней версии языка специфи-
каций SDL-2000 [9], который предусматри-
вает более корректную спецификацию тре-
бований благодаря введению в него средств
компактной визуализации и количествен-
ного анализа (модулей моделирования про-
цессов функционирования) эффективности
алгоритмов. Совершенствование SDL-2000
иллюстрируется на примере систем каналь-
ного (базового) уровня ЭМ ВОС [10].
В архитектуре языка SDL в верхних
уровнях описания и спецификации (воспро-
изведение поведения системы в виде взаи-
модействующих блоков и подблоков) отсут-
ствует регламентация их взаимодействия,
что требует дополнительного описания
процесса поведения на языке MSC. Вместе с
тем в отличие от SDL и MSC в диаграммах
последовательности UML выделяются и
объекты классов и временные параметры их
взаимодействия, что позволяет более кор-
ректно формулировать требования [11].
Інструментальні засоби та середовища програмування
63
Таким образом, возникшую про-
блему интеллектуализации графических
форм двух языков (SDL GR и MSC) можно
решить, используя UML с определенной его
модификацией. Поскольку инженеру для
проектирования необходимо иметь не толь-
ко достаточно корректное (точное) гра-
фическое описание системы, где указыва-
ются блоки (подблоки) и направления свя-
зей их взаимодействия, но и временной
оцифрованный порядок (режим) их взаимо-
действия, постольку в UML необходимо
ввести оцифровку. После такой модифика-
ции UML вводится в состав существующих
систем спецификаций на верхние уровни ее
архитектуры (система, блоки, подблоки,
процессы) [2]. Таким образом на этой ос-
нове создается новый язык описаний, моде-
лирования и спецификаций (SMDL). В его
программную среду вводятся новые модули
визуализации систем и моделирования про-
цессов функционирования АПС телекомму-
никаций.
1. Формализация процесса по кадровой
передачи данных
На процесс передачи информации на
канальном уровне ЭМ ВОС телекоммуни-
каций влияют два взаимозависимых фак-
тора: случайные сбои и отказы каналов свя-
зи (КС), а также текущая коррекция главно-
го параметра протокола (длины кадра L),
обеспечивающего непрерывную и без-
ошибочную передачу в этих условиях. В ка-
честве характеристик, оценивающих эти
факторы, выбираются: средняя наработка на
сбой (отказ) и задаваемая длина передавае-
мых кадров [6, 8]. При проектировании ал-
горитмов протоколов в рамках технологии
Frame Relay [12] можно использовать ана-
литические модели (АМ) (первичные рас-
четы параметров) [8, 10] и имитационные
модели (статистические испытания), кото-
рые позволяют провести коррекцию АМ для
повышения точности анализа [13].
В настоящее время при изменении
интенсивности потока сбоев существующие
локальные интерфейсы управления (ЛИУ,
LMI) [12] не корректируют параметры про-
токола. Поэтому оператору приходится
вручную менять длину кадров L, уменьшая
количество повторов передаваемых кадров
nr . Однако для коррекции этих параметров
необходима достаточно высокая квалифи-
кация сетевого администратора, что не все-
гда обеспечивается. Для того чтобы отка-
заться от ручной коррекции параметров, в
стек протокола необходимо ввести средства
автоматической текущей коррекции L, ис-
пользуя данные мониторинга интенсивно-
сти сбоев (фактически повторов) реализо-
вать коррекцию L.
Для автоматической адаптивной кор-
рекции параметров можно предложить два
способа:
1) провести моделирование и хра-
нить относительно большой объем данных о
тех или иных ситуациях в поведении кана-
лов передачи и по совпадающим реальным
ситуациям корректировать параметры;
2) ввести в алгоритмы протоколов
средства автоматической адаптивной кор-
рекции параметров протоколов.
Первый способ позволяет при проек-
тировании и тестировании каналов получать
таблицы состояний работоспособности и
назначать по ним оптимальные параметры
протокола. Он прост, но требует анализа
всех возможных ситуаций и большой базы
данных (большой объем памяти для хране-
ния и соответственно большое время обра-
ботки).
Второй способ сложнее, так как не-
обходимо реализовать в алгоритме прото-
кола модель анализа ситуаций передачи в
реальном масштабе времени.
Рассматриваем второй, хотя и более
сложный, подход, использующий аналити-
ческую модель анализа для коррекции ос-
новного параметра протокола – длины ка-
дра L.
Для разработки аналитической мо-
дели необходима формализация процесса
передачи кадров с учетом следующих ха-
рактеристик протокола: скорости передачи
данных пV допустимого количества повто-
ров кадров )( доп
пп
доп
п rrr ≤ , зависящих от
среднего времени наработки на сбой (отказ)
сб
n
i
сб
сб n
T
сб
∑
== 1
τ
.
Інструментальні засоби та середовища програмування
64
На рис. 1 приведены временные диа-
граммы, которые отображают два режима
передачи кадров:
1) нормальная передача (рис. 1,а);
2) передача с повтором кадра, кото-
рый был принят с ошибкой (рис. 1,б).
Временными параметрами процесса
передачи здесь являются: время передачи:
передачискорость
кадрадлина
пк V
L
T
_
_= и среднее время нара-
ботки на сбой сбT .
2. Анализ особенностей использования
существующих программных средств
описания и спецификаций
Рассмотрим существующие ПСП, ба-
зирующиеся на известных языках описаний
SDL (SDL GR, SDL PR) и MSC [4, 5]. На
рис. 2 отображены диаграммы системы пе-
редачи (канала связи) (рис. 2,а) и блока по-
лучения кадров (приемника) (рис. 2,б). Опи-
сание систем в виде блоков передачи и
приема и связей их взаимодействия выпол-
нено в рамках стандарта SDL-2000 [4].
Как следует из рис. 2, временная по-
следовательность взаимодействия блоков
отсутствует (нет воспроизведения динамики
процесса во времени). В предыдущей вер-
сии языка SDL (SDL-92) были добавлены
объектно-ориентированные элементы, что
позволило воспроизводить параллельные
процессы. Однако и здесь для необходимой
точности описания требовалось дополни-
тельно использовать диаграммы на языке
MSC [5]. В версии SDL-2000 введено опи-
сание сценариев (исключительных ситуаций
процесса передачи), что позволило конкре-
тизировать взаимодействие, уменьшив за-
висимость от MSC.
Диаграммы MSC описывают дина-
мику процессов функционирования сис-
темы, что позволяет установить режимы
временных последовательностей взаимо-
действия блоков системы (рис. 3).
Язык позволяет использовать тай-
I(N)
I(N)
I(N+1)
I(N+1)
I(N
)
I(N
+1)
AC
K(
N
)
AC
K
(N
+1
)
ПС
ДС
а
0
кt
Нет ошибок
зT пкT окT паскT оаскTзT
I(N) I(N)
I(N)
I(N
)
I(N
)
AC
K
(N
)
AC
K(
N
)
ПС
ДС I(N)
б
1сбτ
Повторная передача
Ошибка в
переданном
кадре
Рис. 1. Временные диаграммы процесса передачи кадров: нормальный режим (рис. 1, а) и
режим с учетом нарушений в передаче (рис. 1, б), где
1) зT – время задержки передачи кадра;
2) пкT – время передачи кадра (ПС –> ДС);
3) окT – время обработки кадра на ДС;
4) паскT – время передачи кадра АСК (ДС –> ПС);
5) оаскT – время обработки АСК на ПС;
6) 1сбτ – время сбоя кадра;
7) – поврежденный кадр.
Інструментальні засоби та середовища програмування
65
меры в описательной части. Однако и язык
MSC не имеет средств количественного
оценивания режимов временного взаимо-
действия. Временная диаграмма описывает
процесс передачи кадра по каналу (передат-
чик-приемник) по протоколу Frame Relay в
соответствии с диаграммами, приведен-
ными на рис. 1. Здесь используются тай-
меры, которые воспроизводят режим кон-
троля времени получения кадров (АСК) в
пределах допустимого времени ожидания.
Однако задача корректного описания дина-
мики процесса (последовательности взаи-
модействия во времени) здесь не решена.
3. Анализ предлагаемых программных
средств визуализации системного уровня
описания и спецификации
Наиболее рациональным программ-
ным средством может быть язык UML, ко-
system transmission
C1 C2
C3 C4
[S1]
[S2]
[S1]
[S1]
receive
send
signal S1, S2;
block receive
recv correct
C2
[S1] [S1]
C5
C3
C4
[S2]
[S1]
signal S1, S2;
Рис. 2. Диаграммы описания системы и блока получения кадров с
использованием языка SDL GR
Frame
ACK Frame
Frame
Frame
ACK Frame
Frame
Frame
ACK Frame
ACK Frame
Передатчик Приемник
“а”
“б”
“в”
Рис. 3. Временная диаграмма описания процесса передачи кадров (язык MSC)
Інструментальні засоби та середовища програмування
66
торый является унифицированным и может
описывать как разные типы классов процес-
сов, тик и их динамику. Однако и он не по-
зволяет решать поставленные выше задачи.
Его основными недостатками являются:
• отсутствие линейной формы
для реализации кода;
• отсутствие оцифрованной раз-
метки временных диаграмм.
На рис. 4 переставлена диаграмма
временной последовательности режима пе-
редачи кадров. Описываются основные ва-
рианты (сценарии) поведения системы в со-
ответствии с исходными данными (рис. 1).
В отличие от известных MSC-диа-
грамм в модифицированной UML диа-
грамме вводится промежуточный блок (ка-
нал сети), который позволяет воспроизвести
реальный процесс передачи с учетом сбоев
в канале связи. Если бы моменты окончания
передачи и сбоев были оцифрованы, то это-
го хватило бы для задания исходных дан-
ных для моделирования, обеспечивающего
и количественный анализ для выбора опти-
мальной длины кадра как главного па-
раметра протокола управления передачей.
4. Аналитическая модель количест-
венного анализа
Инженеру, проектирующему алго-
ритмы АПС передачи (физический и ка-
нальный уровни ЭМ ВОС), необходимо при
анализе описываемых систем и процессов
их функционирования задавать исходные
данные для моделирования различных ва-
риантов функциональных структур систем
и, главное, алгоритмов протоколов управле-
ния процессами передачи. Поэтому пре-
имуществом языка UML является возмож-
ность его расширения с последующей де-
композицией процесса, что обеспечивает
переход от разработки системы к разработке
блоков (декомпозиция мета-алгоритма к ал-
горитмам, реализуемым процедурами SDL).
В предположении экспоненциальных
законов распределения случайных величин
– моментов появления сбоев сбt для устано-
вившегося стационарного процесса пере-
дачи – можно записать формулу, опреде-
ляющую составляющие времени, которые
связаны с поддержанием непрерывной без-
ошибочной передачи пакета кадров:
00
ксбкпп tntt λ+= , (1)
где ппt – полный интервал времени пере-
дачи пакета из n кадров; 0
knt – время пере-
дачи кадра; 0
ксбtλ – случайное время повто-
ров передачи кадра за период ппt ( сбλ – ин-
тенсивность сбоев, требующая повтора).
Кроме того,
V
L
t к
к =0 , где V – скорость пере-
дачи.
Передатчик Сеть Приемник
0
кτ
Передача кадра Передача кадра
Передача АСК Передача АСК
Передача кадра
Передача АСК-кадра с ошибкойПередача АСК-кадра с ошибкой
Повторная передача кадра Повторная передача кадра
Передача АСКПередача АСК
02
к
n
к
ττ =
а)
б)
Момент сбоя
Передача кадра
Рис. 4. Диаграмма временного режима процесса передачи кадров на системном уровне (язык
UML): нормальный режим (а), режим с повторной передачей (б)
Інструментальні засоби та середовища програмування
67
Исходя из требований поддержания
своевременной передачи пакета кадров
допкп T≤τ (с учетом интенсивности сбоев
сбλ ) пакет разбивается на одинаковые части
(кадры).
Тогда случайное время передачи на-
бора кадров (пакета) можно оценить, ис-
пользуя распределение Эрланга. Представ-
ляя процесс передачи кадров цепочкой экс-
поненциальных фаз (с параметром
k
k T
1=λ
для каждой фазы), а количество фаз равным
передаваемым кадрам – n с параметром рас-
пределения Эрланга k=n, получим плот-
ность распределения случайного времени
передачи пакета )( ппtf [14]:
)exp(
)!1(
)(
1
nnk
n
nn
n
k
nn t
n
t
tf λλ −
−
=
−
, где
к
к T
1=λ . (2)
И, соответственно, вероятность свое-
временной передачи пакета )( пnпп tP будет
оцениваться выражением
∑
−
=
−−=
1
0 !
)(
)][exp(1)(
n
i
i
nпk
nnkппnn i
t
ttP
λλ . (3)
На рис. 5 приведены графики зави-
симости )( пппп tP от интенсивности сбоев и
заданной своевременности безошибочной
передачи ( допT ).
Как следует из данных графика, при
большой интенсивности сбоев ( сбλ =0,04)
разбиение пакета на кадры (n=4) не позво-
ляет обеспечить безошибочную и своевре-
менную передачу (для 95.0),( ≥доппппп TtP
при допT =0.11 необходим ремонт канала,
обеспечивающий ≤сбλ 0,02).
5. Пример расширения языка описаний и
спецификаций
На рис. 6 приведена новая (относи-
тельно рис. 2,б) диаграмма блока прием-
ника, где введен подблок выдачи дополни-
тельных сигналов коррекции для передат-
чика (сигналов изменения длины кадров).
Раскрытие сущности подблока (мо-
дуль реализации аналитической модели
анализа с формированием нового значения
длины кадра) предполагается представить в
процедурах SMDL в последующих публи-
кациях.
Выводы
Рассмотрена методология введения
более полных и корректных диаграмм про-
цесса (рис. 4) с количественным анализом в
процесс спецификации (рис. 5, 6), что по-
зволяет сделать следующие выводы.
1. Существующий системный уро-
вень SDL-2000 даже с использованием язы-
ка MSC не позволяет описать анализи-
руемую систему (коммуникационный тракт)
Рис. 5. График зависимости вероятности своевременной передачи пакета при различных
вариантах его разбиения на кадры ( 4,1=n ) с учетом разной интенсивности сбоев
( сбλ =0,02 и сбλ =0,04)
Інструментальні засоби та середовища програмування
68
и процесс передачи с необходимой для про-
ектирования алгоритмов точностью.
2. Введение первичной (без оциф-
ровки) модификации языка UML позволя-
ет более корректно описывать систему и
процесс ее функционирования, раскрывая
все особенности описываемых процессов
(рис. 4).
3. Необходима дальнейшая модифи-
кация языка UML (оцифровка временных
режимов), которая обеспечит формирование
новых интеллектуальных (с учетом функ-
ционирования и моделирования) SMDL-
диаграмм.
Анализ результатов позволяет сде-
лать следующие выводы:
1) для полной автоматизации про-
цесса проектирования алгоритмов АПС с
необходимыми уровнями визуализации и
интеллекта в последующих модификации
UML, которые расширяют SDL, необхо-
димо одновременно с введением оцифровки
анализируемых параметров сбдопк Tt τ,,0 (мо-
делирование и анализ) ввести средства пе-
рехода к процедурам SDL;
2) для эффективного проектирования
алгоритмов на верхних уровнях описания и
спецификации (система – процессы) необ-
ходимы не только программные средства
визуализации, но и интеллектуализация
процесса разработки алгоритмов: визуали-
зация задаваемых режимов передачи (рис.
4) с моделированием и визуализацией ре-
зультатов анализа (рис. 5) выбираемых (оп-
тимальных) параметров протокола (рис. 2).
В предлагаемой статье выполнен
первый этап создания языка описаний, мо-
делирования и спецификаций – SMDL.
1. Research Networking in Europe. Striving for Global
Leadership. –
http://archive.dante.net/pubs/ECbrochure.html.
2. Ластовченко М.М., Биляк В.И. Проблемы создания
инструментально-технологических систем проекти-
block receive
recv correct
signal S1, S2, S3, S4;
C2
[S1] [S1]
C5
C3
C4
[S2,S3]
[S1]
process correct
S1
correction
error
S3
S1
S4
wait
wait
wait
ELSE
dcl
error Natural := 0;
0
...
input S1;
call correction();
decision error=0
(false): output S4;
(true): output S3;
output S1;
enddecision;
...
Рис. 6. Диаграммы описания блока приемника с процессом коррекции кадров
Інструментальні засоби та середовища програмування
69
рования АПС интеллектуальных сетей // Проблемы
программирования. – 2004. – №2/3. – С. 497-504.
3. Research Networking. The GEANT Network. –
www.cordis.org.
4. ITU-T, Rec. Z.100 Specification and Description Lan-
guage (SDL). – www.sdl-forum.org.
5. ITU-T. Rec. Z.120 Message Sequence Charts (MSC).
– www.sdl-forum.org.
6. Система визуализации и обработки знаний как
средство организации вычислений на ЭВМ /
В.И. Бычков, О.Г. Диваков, В.А. Кузьмин, А.В. Ор-
лов // Интеллектуализация программных средств –
Новосибирск: Наука, 1990. – С. 6-15.
7. Ионин Т.Л., Седол Я.Я. Статистическое моделиро-
вание систем телетрафика. – М.: Радио и связь, 1982.
– 182 с.
8. Ластовченко М.М., Губенко А.Е., Черноусов В.А.
Интегральная система проектирования программ-
ного обеспечения коммуникационных средств связи.
– Киев: Знание, 1990. – 32 с.
9. Reed R. SDL-2000 for New Millennium Systems. //
Telektronikk. – 2000. – №4. – Р. 20-35.
10. Ластовченко М.М., Ярошенко В.Н., Биляк В.И.
Математические аспекты проектирования интеллек-
туальных коммуникационных систем передачи ММТ
// Математические машины и системы. – 2001. – №6.
– С. 56-69.
11. Бьюкандер М. Графическое программирование с
использованием UML и SDL // Открытые системы. –
2001. – №1. – С. 48-51.
12. Smith P. Frame Relay. – New York: Addison
Wesley, 1996. – 268 p.
13. Ионин Т.Л., Седол М.Я., Супе В.В., Язык модели-
рования ПАЛМ. – Рига: ПГУ им. П. Стучки, 1982. –
107 с.
14. Кениг Д., Штоян Д. Методы теории массового
обслуживания. – М.: Радио и связь, 1981. – 128 с.
Получено 20.09.05
Об авторах
Ластовченко Михаил Михайлович
канд. техн. наук
старший научный сотрудник
Международный научно-учебный центр
информационных технологий и систем
НАН Украины,
просп. Академика Глушкова, 40
г. Киев, 03680, Украина
Тел.: (044) 440 4343 (вечером)
Макаренко Николай Николаевич
аспирант
Институт программных систем НАН Ук-
раины,
просп. Академика Глушкова, 40
г. Киев, 03680, Украина
Тел.: 8 067 501 7396
Марущак Владимир Иванович
аспирант
Национальный авиационный университет
МОН Украины
03058, Украина, просп. Комарова, 1,
Тел.: 8 050 381 4188
|
| id | nasplib_isofts_kiev_ua-123456789-2315 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T16:09:10Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Ластовченко, М.М. Макаренко, Н.Н. Марущак, В.И. 2008-09-17T13:53:52Z 2008-09-17T13:53:52Z 2006 Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования / М.М. Ластовченко, Н.Н. Макаренко, В.И. Марущак // Проблеми програмування. — 2006. — N 1. — С. 62-69. — Бібліогр.: 14 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2315 681.324 Рассмотрена методология модификации языка описаний и спецификации благодаря введению регламентированных временных диаграмм и аппарата количественного анализа. Приведен пример предложенных средств. Розглянуто методологію модифікації мови опису та специфікації завдяки введенню регламентованих часових діаграм та апарату кількісного аналізу. Наведено приклад запропонованих засобів. The methodology of updating of language of descriptions and specifications is considered due to introduction of regulated time diagrams and the device of the quantitative analysis. The example of the offered means is resulted. ru Інститут програмних систем НАН України Інструментальні засоби і середовища програмування Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования Інтелектуалізація програмних засобів опису та специфікації телекомунікаційних систем і процесів їх функціонування Intellectualization of software of the description and the specification of telecommunication systems and processes of their functioning Article published earlier |
| spellingShingle | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования Ластовченко, М.М. Макаренко, Н.Н. Марущак, В.И. Інструментальні засоби і середовища програмування |
| title | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования |
| title_alt | Інтелектуалізація програмних засобів опису та специфікації телекомунікаційних систем і процесів їх функціонування Intellectualization of software of the description and the specification of telecommunication systems and processes of their functioning |
| title_full | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования |
| title_fullStr | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования |
| title_full_unstemmed | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования |
| title_short | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования |
| title_sort | интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования |
| topic | Інструментальні засоби і середовища програмування |
| topic_facet | Інструментальні засоби і середовища програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2315 |
| work_keys_str_mv | AT lastovčenkomm intellektualizaciâprogrammnyhsredstvopisaniâispecifikaciitelekommunikacionnyhsistemiprocessovihfunkcionirovaniâ AT makarenkonn intellektualizaciâprogrammnyhsredstvopisaniâispecifikaciitelekommunikacionnyhsistemiprocessovihfunkcionirovaniâ AT maruŝakvi intellektualizaciâprogrammnyhsredstvopisaniâispecifikaciitelekommunikacionnyhsistemiprocessovihfunkcionirovaniâ AT lastovčenkomm íntelektualízacíâprogramnihzasobívopisutaspecifíkacíítelekomuníkacíinihsistemíprocesívíhfunkcíonuvannâ AT makarenkonn íntelektualízacíâprogramnihzasobívopisutaspecifíkacíítelekomuníkacíinihsistemíprocesívíhfunkcíonuvannâ AT maruŝakvi íntelektualízacíâprogramnihzasobívopisutaspecifíkacíítelekomuníkacíinihsistemíprocesívíhfunkcíonuvannâ AT lastovčenkomm intellectualizationofsoftwareofthedescriptionandthespecificationoftelecommunicationsystemsandprocessesoftheirfunctioning AT makarenkonn intellectualizationofsoftwareofthedescriptionandthespecificationoftelecommunicationsystemsandprocessesoftheirfunctioning AT maruŝakvi intellectualizationofsoftwareofthedescriptionandthespecificationoftelecommunicationsystemsandprocessesoftheirfunctioning |