Препринты Института систем информатики СО РАН 2003 г.

В работе формулируются основные требования, которые должны учитываться при проектировании крупных информационных систем: развиваемость, масштабируемость и безопасность; рассматриваются проблемы, встающие перед разработчиками и администраторами при создании таких систем. Предлагаемое комплексное аппаратно-программное архитектурное решение, полученное на основе обобщения опыта разработки большого числа приложений, может использоваться в качестве рекомендаций разработчикам крупных систем.

Современный бизнес характеризуется постоянным ростом возможностей компаний-поставщиков, а также непрекращающимся расширением глобальной конкуренции и повышением уровня требований заказчиков. Происходит отказ от старой иерархической структуры, исчезают барьеры между отделениями компании. Упрощается взаимодействие между компанией, ее заказчиками и поставщиками. Электронная коммерция представляет собой средство осуществления и поддержки таких изменений в глобальном масштабе. Она позволяет компании эффективно и гибко осуществлять внутренние операции, плотнее взаимодействовать с поставщиками и быстрее реагировать на запросы и ожидания заказчиков. Компания получает возможность выбора лучших поставщиков независимо от географического расположения, а также возможность выхода на глобальный рынок со своими товарами и услугами.

Представлена формальная модель Паскалеподобного языка с хранимыми ячейками. Хранимая ячейка может как хранить значение, так и храниться сама как значение в другой ячейке. Такая ячейка является частью состояния императивной программы. С множеством однотипных ячеек связываетсяфункция выборки. Модификация этой функции вызывает обновление состояния соответствующей ячейки. Параметр процедуры, объявленный как параметр-ссылка, замещается ячейкой при ее вызове, так что содержимое этой ячейки может быть изменено данной процедурой. Таким путем моделируется механизм подстановки ссылкой, дополняющий механизм подстановки значением. В препринте определена также формальная семантика типичных операторов и описания процедуры Паскалеподобного языка программирования.