Cтраница 1
Методы формальных описаний должны в соответствии с рассмотренными архитектурными моделями обеспечивать полные описания любого из уровней. Такие описания должны включать сервис, предоставляемый нижним и описываемым уровнями, и протокол, обеспечивающий предоставляемый сервис. Так как уровень является распределенной системой, то предоставляемый сервис желательно описывать в двух формах - локальной и глобальной. Локальная форма описания сервиса определяет последовательность всех возможных взаимодействий каждого из пользователей с уровнем, а глобальная - общую последовательность взаимодействия с уровнем как с единым целым. [1]
Методы формальных описаний должны обладать достаточной описательной мощностью. К сожалению, критерий описательной мощности вступает в конфликт со следующим нашим критерием - анализируемостыо описания. [2]
Это методы формального описания различных процедур, используемых при решении задач и доказательстве теорем, о которых было рассказано раньше. Применяются и экспериментальные методы, используются эвристики, о которых тоже рассказывалось. Все это представляется естественным, и читателю должно было, вероятно, показаться неясным, почему сочетание логических выводов с экспериментальным исследованием было указано, как одна из проблем кибернетики. [3]
Данная книга посвящена методам формального описания взаимодействий в распределенных вычислительных системах и сетях ЭВМ. Приводятся примеры, иллюстрирующие методы обеих групп. [4]
Поэтому прежде всего приводятся основные понятия и методы формального описания объектов управления химико-технологических производств. [5]
В настоящее время еще не получили широкого распространения методы формального описания требований пользователей, и в результате проектные решения по СОЭИ в ряде случаев не адекватны реальным условиям управляемых процессов. [6]
Введенное в последнее время в области протокольной индустрии понятие методы формального описания означает средства, описывающие поведение протокольных систем. На основе таких методов формируются языки формальной спецификации. В данной книге рассмотрены три языка: ESTELLE, LOTOS и ОСА. [7]
Фактически неоднозначность ни в одном языке программирования не допускается, но пока это достигается не только методами формального описания языка, но и средствами трансляции. Это последнее обстоятельство может явиться причиной получения различных результатов при решении одной и той же программы, написанной, на алгебраическом языке, когда используются различные трансляторы. [8]
Методы, описываемые в книге, иллюстрируются спецификациями, приведенными в приложениях. Методы формальных описаний являются новыми, сравнительно недавно возникшими в области вычислительной техники. Они интенсивно развиваются и имеют до сих пор неустоявшиеся концепции, положения и терминологию. [9]
В первой главе формулируются основные определения и анализируется комплекс проблем, связанных с формализацией процессов функционирования рассматриваемого класса систем. Излагаются методы формального описания функционирования систем. Исследуются особенности структуры управления организационными системами и разрабатывается общая формальная схема процесса управления, которая служит основой всех дальнейших построений. [10]
Фактически неоднозначность в формальном языке, в том числе и в языке программирования, не допускается. Но пока это достигается не только методами формального описания языка, но средствами трансляции или генерации. [11]
Всевозрастающая потребность в распределенных вычислительных системах и сетях ЭВМ выдвигает требования к методам проектирования и реализации таких систем по сокращению сроков их разработки, а также повышению надежности и эффективности их функционирования. На первом месте среди таких методов стоят методы формальных описаний протоколов, позволяющие однозначно описывать взаимодействия компонентов распределенных систем и использовать формальный аппарат анализа этих взаимодействий. [12]
Каждое из таких описаний вводит свои терминологические понятия, которые и используются в дальнейшем. И хотя огромное число быстро возникающих способов, создаваемых для описания протоколов, задержало появление единых ( хотя бы на концептуальном уровне) средств, они, безусловно, сыграли положительную роль в исследовании и получении значительного опыта в данной области. В чем же кроются причины того внимания, которое уделяется методам формального описания. [13]
Руководящая деятельность представлена в виде совокупности работ, связанных между собой, имеющей определенную целостность. Содержание руководящей деятельности рассматривается в виде совокупности функций руководства. Причем каждая функция руководства обладает в известном смысле самостоятельностью и всякая предыдущая функция в перечне есть необходимая предпосылка для выполнени-я последующей. В данной главе приводятся результаты анализа и обобщения функций руководства, а также методы формального описания процессов получения информации для выполнения этих функций. [14]