Рассматриваются и анализируются некоторые из известных способов и методик разработки программного обеспечения (ПО), в частности этапа проектирования, как одного из важнейших. Описывается методика, в которой используются UML диаграммы для моделирования свойств и динамики работы системы, а также сети Петри для анализа динамических свойств спроектированных поведенческих диаграмм. Приводится усовершенствованная методика взаимного использования UML диаграмм и сетей Петри. Предлагаемая методика демонстрируется на примере системы АСУ ТП насосной станции, а именно, проектирования диаграммы прецедентов, диаграмма классов и диаграмма объектов, а также диаграмма деятельности, преобразование которой реализуется по формальным правилам. При анализе сети Петри, транслированной из диаграммы деятельности, были выявлены некорректные состояния, в которых оказывалась система при включении и выключении насосов оператором. После устранения данной ситуации, ошибок в динамике работы системы не осталось. В результате анализа получено представление о размере дерева достижимости системы, составляющее величину порядка 10 6 .
Рассмотрена задача построения методологии оценки эффективности информационных систем и технологий, позволяющая количественно оценить результативность их применения. Особенностью информационных систем является их сервисный характер, что приводит к необходимости косвенного оценивания их эффективности через терминальный положительный эффект метасистемы, в интересах которой данная система была создана или адаптирована.
Приведен краткий обзор существующих подходов и методик к оцениванию эффективности информационных систем и технологий. Установлена неоднозначность используемых определений эффективности, и как следствие, сложности построения формализованной количественной методики ее оценивания.
Предложены количественные оценки эффективности информационной системы, учитывающие вероятностную природу исходных данных, используемых для построения этих оценок. Представлены варианты необходимых и достаточных критериев эффективности информационных систем, выраженные через эффективность метасистем, в интересах которых они функционируют.
1 - 2 из 2 результатов