При определении и описании сложной задачи распределенной обработки информации лучше начать с определения задачи в абстрактных, а не в конкретных терминах. Такой подход гарантирует, что функциональные требования задачи формируются независимо от ее конкретной реализации. Наряду с другими причинами, такое разделение требований важно и потому, что каждый аспект задачи может допускать различные конкретные реализации. В системе передачи сообщений, которая охватывает трех агентов передачи сообщений, первый и второй, например, могут взаимодействовать, используя связь ВОС, а второй и третий - с помощью собственных средств.
В данной главе определены соглашения об абстрактном описании задачи распределенной обработки информации с использованием как макроподхода, так и микроподхода. Описание по первому способу называется абстрактной моделью, по второму - абстрактными услугами.
В данной главе определены различные формальные средства спецификации абстрактных моделей и услуг. В приложении А приведен исчерпывающий пример их использования. При чтении данной главы пользователь может обращаться к этому приложению, например к его иллюстрациям.
Данная глава охватывает следующие вопросы:
а) абстрактные модели;
б) абстрактные услуги.
Примечание - Упомянутые выше формальные средства не являются ни языком формального описания, ни его заменой. Они являются просто нотацией АСН.1, обеспечивающей неформальные описательные соглашения, определенные в данной главе.