Инструментарий для концептуального моделирования

Toolkit for Conceptual Modeling (TCM) — это набор программных инструментов для представления спецификаций программных систем в виде диаграмм , таблиц , деревьев и тому подобного. TCM предлагает редакторы методов, используемых в структурном анализе, а также редакторы объектно-ориентированных методов (UML). Для некоторых методов спецификации поведения предлагается интерфейс для средств проверки модели. В частности, TCM содержит следующие редакторы.

Универсальные редакторы для универсальных диаграмм, универсальных таблиц и универсальных деревьев. Можно использовать все доступные значки, при этом никакие ограничения синтаксической диаграммы не проверяются.
Редакторы унифицированного языка моделирования (UML) для диаграмм статической структуры (т. е. классов и объектов), диаграмм вариантов использования, диаграмм действий, диаграмм состояний, диаграмм сотрудничества, диаграмм компонентов и диаграмм развертывания.
Редакторы структурированного анализа (SA) для диаграмм связей между объектами, диаграмм потоков данных и событий, диаграмм переходов состояний, деревьев уточнения функций, таблиц использования транзакций и таблиц типов функций и объектов.
Различные редакторы, такие как JSD (структура процессов и сетевые диаграммы), рекурсивные графы процессов и таблицы декомпозиции транзакций. Эти редакторы больше не обновляются, но останутся доступными в TCM.

Инструментарий для концептуального моделирования был написан примерно в 1996 году Роэлом Вирингой Виринги по концептуальному моделированию и Фрэнком Дене для курсов и книг «Разработка требований: рамки для понимания». ^[1]^[2] и методы проектирования реактивных систем: Yourdon, Statemate и UML . ^[3]

PDF-версии руководства пользователя ^[4] и отчет « Системный метод Юрдона и инструментарий для концептуального моделирования». ^[5] доступны для скачивания.

TCM был примером поддержки компьютерной разработки программного обеспечения метода концептуального моделирования (MCM) в модельно-ориентированной архитектуре на практике . ^[6] На него ссылаются в «Технологии Petri Net для систем связи». ^[7] Формальная онтология в информационных системах , ^[8] и материалы: Девятый международный семинар по спецификации и проектированию программного обеспечения . ^[9]

TCM упоминается в патентах на автоматическое производство программного обеспечения. ^[10]^[11]

В 1997 году НАСА преобразовало исходный код TCM C++ в Java для проекта веб-гипертекстовой среды для разработки требований (WHERE). ^[12]

См. также

Модельно-ориентированное проектирование (MDE)

Ссылки

^ «Инструментарий для концептуального моделирования (TCM)» . 11 мая 2012 г. Архивировано из оригинала 11 мая 2012 г. Проверено 06 марта 2020 г.
^ Виринга, Роэл (3 мая 1996 г.). Разработка требований: основы для понимания . Уайли. ISBN 978-0-471-95884-0 .
^ Виринга, Р.Дж. (9 января 2003 г.). Методы проектирования реактивных систем: Yourdon, Statemate и UML . Эльзевир. ISBN 978-0-08-050395-0 .
^ «Руководство пользователя и справочник по набору инструментов для концептуального моделирования (TCM)» (PDF) . Проверено 28 марта 2020 г.
^ Системный метод Юрдона и набор инструментов для концептуального моделирования (PDF) . Свободный университет, Амстердам. 2003.
^ Пастор, Оскар; Молина, Хуан Карлос (14 июня 2007 г.). Модельно-ориентированная архитектура на практике: среда производства программного обеспечения, основанная на концептуальном моделировании . Springer Science & Business Media. п. 29. ISBN 978-3-540-71868-0 .
^ Эриг, Хартмут ; Райзиг, Вольфганг; Розенберг, Гжегож; Вебер, Герберт (17 ноября 2003 г.). Технология сетей Петри для систем связи: достижения в области сетей Петри . Спрингер. ISBN 978-3-540-40022-6 .
^ Гуарино, Никола (1998). Формальная онтология в информационных системах: материалы Первой международной конференции (FOIS'98), 6–8 июня, Тренто, Италия . ИОС Пресс. ISBN 978-90-5199-399-8 .
^ Материалы: Девятый международный семинар по спецификации и проектированию программного обеспечения: 16-18 апреля 1998 г., Исэ-Сима, Япония . Издательство Компьютерного общества IEEE. 1998. ISBN 978-0-8186-8439-5 .
^ [1] , «Автоматическая система производства программного обеспечения», выпущено 4 октября 2006 г.
^ [2] , «Автоматическая система производства программного обеспечения», выпущено 26 сентября 2008 г.
^ Даливал, Сварн С. (5 декабря 1997 г.). Обеспечение постоянного хранения данных в среде разработки программного обеспечения с использованием Java/COBRA и СУБД (Диссертация).

Внешние ссылки

Toolkit for Conceptual modeling : домашняя страница набора инструментов.

Эта об унифицированном языке моделирования статья незавершена . Вы можете помочь Википедии, расширив ее .

[1] «Инструментарий для концептуального моделирования (TCM)» . 11 мая 2012 г. Архивировано из оригинала 11 мая 2012 г. Проверено 06 марта 2020 г.

[2] Виринга, Роэл (3 мая 1996 г.). Разработка требований: основы для понимания . Уайли. ISBN 978-0-471-95884-0 .

[3] Виринга, Р.Дж. (9 января 2003 г.). Методы проектирования реактивных систем: Yourdon, Statemate и UML . Эльзевир. ISBN 978-0-08-050395-0 .

[4] «Руководство пользователя и справочник по набору инструментов для концептуального моделирования (TCM)» (PDF) . Проверено 28 марта 2020 г.

[5] Системный метод Юрдона и набор инструментов для концептуального моделирования (PDF) . Свободный университет, Амстердам. 2003.

[6] Пастор, Оскар; Молина, Хуан Карлос (14 июня 2007 г.). Модельно-ориентированная архитектура на практике: среда производства программного обеспечения, основанная на концептуальном моделировании . Springer Science & Business Media. п. 29. ISBN 978-3-540-71868-0 .

[7] Эриг, Хартмут ; Райзиг, Вольфганг; Розенберг, Гжегож; Вебер, Герберт (17 ноября 2003 г.). Технология сетей Петри для систем связи: достижения в области сетей Петри . Спрингер. ISBN 978-3-540-40022-6 .

[8] Гуарино, Никола (1998). Формальная онтология в информационных системах: материалы Первой международной конференции (FOIS'98), 6–8 июня, Тренто, Италия . ИОС Пресс. ISBN 978-90-5199-399-8 .

[9] Материалы: Девятый международный семинар по спецификации и проектированию программного обеспечения: 16-18 апреля 1998 г., Исэ-Сима, Япония . Издательство Компьютерного общества IEEE. 1998. ISBN 978-0-8186-8439-5 .

[10] [1] , «Автоматическая система производства программного обеспечения», выпущено 4 октября 2006 г.

[11] [2] , «Автоматическая система производства программного обеспечения», выпущено 26 сентября 2008 г.

[12] Даливал, Сварн С. (5 декабря 1997 г.). Обеспечение постоянного хранения данных в среде разработки программного обеспечения с использованием Java/COBRA и СУБД (Диссертация).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]