Методология разработки программных систем - учение о структуре, логической организации, методах, средствах моделирования, поиска и принятия решений о принципе действия и составе еще не существующего программного средства, наилучшим образом удовлетворяющего определенные потребности, а также составление описания, необходимого для создания программного обеспечения в заданных условиях.
Технология – совокупность производственных методов и процессов в определенной отрасли производства, а также их научное описание и обоснование.
Системная методология – стройная совокупность методов изучения свойств различных классов систем и решения системных задач, т. е. задач, касающихся отношений в системах. Ядро системной методологии - хорошая классификация систем с точки зрения отношений. Главная задача системной методологии – предоставление в распоряжение потенциальных пользователей, представляющих разные дисциплины и предметные области, методов решения всех определенных типов системных задач.
Данное определение предполагает выдвижение гипотезы о существовании концептуальной схемы, в которой типы системных задач определены совместно с методами решения задач этих типов. Для реализации такой схемы должен быть разработан интерфейс между вовлеченными в исследование дисциплинами, который состоит из двух альтернативных процессов – абстрагирование и интерпретация. Отметим, термины абстрагирование и интерпретация являются первоосновой определения понятий абстракции и спецификации.
Система - целенаправленное множество взаимосвязанных элементов любой природы.
Структура системы отражает строение и внутреннюю форму организации, прочные и относительно устойчивые взаимоотношения и взаимосвязи элементов системы.
Внешняя среда— то, что окружает систему и оказывает на нее воздействие. Разграничение системы и среды практически всегда условно, оно определяется условиями решаемой задачи. Формы связи данной системы с окружающей ее средой различны: как минимум, система имеет один вход и один выход, но их число может быть любым.
Общая система – это стандартная и не интерпретированная (абстрактная) система, выбранная в качестве представителя класса систем, эквивалентных (изоморфных) относительно некоторых практически существенных характеристик отношений.
Система S, заданная на объекте (система объектов) - представляет собой множество свойств, с каждым из которых связано множество его проявлений, и множество баз, с каждой из которых связано множество ее элементов.
S=({(аi, Ai)| iÎNn}, {bj, Bj ½jÎNm}), (1.5)
где Nn={1,2,…,n}, а Nm={1,2,…,m}; Ai, аi – свойство и множество его проявлений; Bj, bj – база и множество ее элементов.
Система S, заданная на объекте (система объектов) - представляет собой множество свойств, с каждым из которых связано множество его проявлений, и множество баз, с каждой из которых связано множество ее элементов.