Е. Н. Филинов Труды шестого международного семинара "Распределенная обработка информации", 23-25 июня 1998 г., Новосибирск, Россия, под ред. В.Г.Хорошевского. , 06.1998 , язык: русский  Аннотация Доклад касается вопросов построения профилей современных информационных систем. Эти профили, основанные на эталонной модели среды открытых систем, используются в качестве стандартизованной платформы распределенных систем обработки данных. Обсуждаются методы и средства формального описания интерфейсов и протоколов, такие, как языки спецификаций  Ключевые слова Информационные системы, открытые системы, профилиинформационных систем, формальные спецификации,стандарты