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

Программные средства для спецификации программных систем

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

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

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

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

TCM был примером поддержки автоматизированной разработки программного обеспечения для метода концептуального моделирования (MCM) в архитектуре, управляемой моделями, на практике . ^[6] Он был упомянут в Petri Net Technology for Communication-Based Systems, ^[7] Formal Ontology in Information Systems , ^[8] и Proceedings: Ninth International Workshop on Software Specification and Design . ^[9]

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

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

Смотрите также

Проектирование на основе моделей (MDE)

Ссылки

^ "Toolkit for Conceptual Modeling (TCM)". 2012-05-11. Архивировано из оригинала 2012-05-11 . Получено 2020-03-06 .
^ Wieringa, Roel (1996-05-03). Требования к проектированию: основы для понимания. Wiley. ISBN 978-0-471-95884-0.
^ Wieringa, RJ (2003-01-09). Методы проектирования реактивных систем: Yourdon, Statemate и UML. Elsevier. ISBN 978-0-08-050395-0.
^ "Toolkit for Conceptual Modeling (TCM) User's Guide and Reference" (PDF) . Получено 28 марта 2020 г. .
^ Метод систем Йордона и набор инструментов для концептуального моделирования (PDF) . Свободный университет, Амстердам. 2003.
^ Пастор, Оскар; Молина, Хуан Карлос (2007-06-14). Архитектура, управляемая моделями, на практике: среда производства программного обеспечения, основанная на концептуальном моделировании. Springer Science & Business Media. стр. 29. ISBN 978-3-540-71868-0.
^ Эриг, Хартмут ; Райзиг, Вольфганг; Розенберг, Гжегож; Вебер, Герберт (17 ноября 2003 г.). Технология сетей Петри для систем связи: достижения в области сетей Петри. Спрингер. ISBN 978-3-540-40022-6.
^ Guarino, Nicola (1998). Формальная онтология в информационных системах: Труды первой международной конференции (FOIS'98), 6–8 июня, Тренто, Италия. IOS Press. ISBN 978-90-5199-399-8.
^ Труды: Девятый международный семинар по спецификации и проектированию программного обеспечения: 16-18 апреля 1998 г., Исэ-Шима, Япония. IEEE Computer Society Press. 1998. ISBN 978-0-8186-8439-5.
^ [1], "Автоматизированная система производства программного обеспечения", выпущено 2006-10-04
^ [2], "Автоматизированная система производства программного обеспечения", выпущено 2008-09-26
^ Дхаливал, Сварн С. (1997-12-05). Обеспечение постоянного хранения данных в среде разработки программного обеспечения с использованием Java/COBRA и СУБД (диссертация).

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

Toolkit для концептуального моделирования: домашняя страница инструментария.

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

[1] "Toolkit for Conceptual Modeling (TCM)". 2012-05-11. Архивировано из оригинала 2012-05-11 . Получено 2020-03-06 .

[2] Wieringa, Roel (1996-05-03). Требования к проектированию: основы для понимания. Wiley. ISBN 978-0-471-95884-0.

[3] Wieringa, RJ (2003-01-09). Методы проектирования реактивных систем: Yourdon, Statemate и UML. Elsevier. ISBN 978-0-08-050395-0.

[4] "Toolkit for Conceptual Modeling (TCM) User's Guide and Reference" (PDF) . Получено 28 марта 2020 г. .

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

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

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

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

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

[10] [1], "Автоматизированная система производства программного обеспечения", выпущено 2006-10-04

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

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