Cтраница 2
Представлена архитектура прототипа, в котором объединены средства поддержки традиционных методов ОАП со средствами поддержки нового метода композиционного проектирования. Прототип ориентирован на поддержку работы экспертов в процессе композиционного проектирования информационных систем. [16]
![]() |
GUI для подтверждения релевантности путей применения и компонентов. [17] |
Задача поиска фрагментов компонентов для использования в разрабатываемой системе является важной для композиционного проектирования. [18]
Композиционное проектирование состоит, по существу, из двух компонент: системы явных проектных оценок, позволяющих решить все три перечисленные выше проблемы и еще целый ряд дополнительных проблем, и ряда мыслительных процессов, обеспечивающих разбиение программы на множество модулей, их сопряжений и отношений. В результате композиционного проектирования достигается минимальная сложность структуры программы. [19]
![]() |
Сеть Петри нестандартного вида. Позиция pi является и начальной, и заключительной.| Сеть Петри стандартного вида, эквивалентная сети Петри, приведенной на (. [20] |
Изучение этих свойств интересно по двум причинам. Во-первых, оно увеличивает наши знания о свойствах и ограничениях языков сетей Петри как языков. Во-вторых, многие из перечисленных типов композиции отражают процесс композиционного проектирования и конструирования больших систем из малых, поэтому данное исследование может оказаться полезным для разработки методов синтеза. [21]
![]() |
Архитектура прототипа. [22] |
Композиционный метод является расширением стандартных методов О АН. Расширение заключается в использовании на этапах планирования требований и анализа онтологических спецификаций компонент и полных спецификаций типов, включая спецификации функций и инвариантов. Этапы конструирования и реализации являются новыми и служат для композиционного проектирования. [23]