Мне нужен инструмент (желательно онлайн, но на данном этапе мне все равно), который позволит мне моделировать отношения (аналогично BPMN), которые могут быть представлены в виде составных графов (хотя в большинстве случаев это будет более простой вложенный график). график). Кажется, я не могу достичь своей цели, используя формализм BPMN (самые близкие дорожки, но они не допускают произвольного вложения). Я думаю повторно использовать инструменты моделирования UML, но я недостаточно знаю UML, чтобы знать, подходит ли UML для моего варианта использования.
Представьте себе интегральную схему, состоящую из микросхем, соединенных проводами. Итак, три фишки: A,B,C и Chip A -> Chip B, Chip C. Каждый чип имеет входные и выходные порты, и некоторые из выходных портов A подключены к входным портам B, некоторые подключены к портам C. Теперь сам Chip A можно рассматривать как интегральную схему, и как таковую можно разложить на другой график: Chip A :: Chip A.1, Chip A.3 -> Chip A.2. Каждый Chip A.1 также может быть разложен и т. д. Это то, что называется составным графом. Каждый узел составного графа может иметь потомков, которые сами являются графами.
Я знаю о формализме диаграмм состояний Harel и UML, который позволяет иерархическим графам описывать иерархические вложенные конечные автоматы (следовательно, любой вложенный граф потенциально может быть выражен формализмом диаграммы состояний), хотя я не знаю ни одного онлайн-инструмента, позволяющего рисовать диаграммы состояний. Вопрос в том, есть ли в UML механизм или инструменты, позволяющие задавать составной граф, и если да, то каков механизм вложенности?
1-й уровень
-------
---|ChipA|---ChipB---
| |---ChipC---
|-----|
Увеличить чип A
-----ChipA.1---ChipA.2---- (...linked to ChipB input port
|--ChipA.3-| |-- (...linked to ChipC input port
Пример составного графа из литературы:
