Модель программной системы

Программная система — совокупность отдельных компонентов, которые реализованы из объектов ПрО, с установленными интерфейсами, взаимоувязанными с функциями некоторой ПрО в заданной среде. Программный компонент, исходя из общей точки зрения — эго самостоятельный продукг (код) метода или функция, которая поддерживает объектную модель, реализует часть или всю отдельную предметную область и умеет взаимодействовать с другими компонентами системы через интерфейсы [89, 109].

Модель ПС определим так:

где L = (LI, L₂ L_k) — язык описания функций ПрО и каждый язык включает в себя набор операций алгебры действий (actions) по реализации и выполнению соответствующих компонентов; M_f- множество функций модели ПрО, которая является по сущности моделью объектов ПрО M_f = (Ои 0₂., О_п), каждый объект которой трансформируется к компонентному коду; M_s = (M_sin, M_soul, M_sinout) — множество сервисов, которое базируется на модели связи и включает в себя модели передачи входных данных M_sm, выходных данных М_жи1 и серверных данных M_smout ПС на сервере Application, базированных на множестве системных сервисах (Common Facility Services) операционной среды, которая реализуется специальным брокером или монитором сервисов и др.; А/, — множество интерфейсов в языке IDL с описанием входных in и выходных параметров out и inout КПВ объединенного типа для пары связанных компонентов в структуре ПС. С практической точки зрения все общие ТД специфицируются как внешние данные в паспорте модели ПС из объектов ПрО; M_d — множество данных и метаданных предметной области ПС, которые специфицированы в КПИ, как примитивные или сложные фундаментальные ТД языков программирования, а также в модулях-посредниках (stub, skeleton) в языке IDL.

Множества M_inC) M_s и М, связаны с интерфейсными и общим данными и имеют пересечение по данным, которые отнесены к in, out, inout и входят в состав внешних типов данных, которыми обмениваются по сети один компонен с другим на сервере Application. По переданным данным выполняются компоненты и отправляют результаты компонента, который обратился с запросом или протоколом к серверному компоненту.