LKom спасибо, диссертацию Галочкина скачал. Диссертацию я послал Денису Беликову.
Вот цитата:
Цитата:
Существует большое количество графических нотаций, которые могут быть использованы в процессе решения задач. Их можно разделить на 2 большие группы: специализированные языки, и языки общего назначения. Специализированные ориентированы на описание задачи в определенной предметной области. К ним, можно отнести Business Process Modeling Language (BPML), Business Process Execution Language (BPEL), IDEF0, IDEF3. Языки общего назначения не имеют узкой направленности и могут быть использованы для описания решения в различных областях. К ним можно отнести UML [9], язык ДРАКОН и др.
В ряде работ авторов [33, 54, 89] выделяется 2 больших класса, на которые можно разделить языки. Это языки, опирающиеся на математический аппарат сетей Петри, и языки, опирающиеся на концепцию “Pi calculus”, предложенную Робином Милнером в 1991г [33, 32].
Основными преимуществами 1 класса языков (на этой концепции построены, например, диаграммы активностей UML 2.x [105]) является то, что проверенный временем и хорошо проработанный аппарат сетей Петри дает мощный математический фундамент. Но с другой стороны жесткий формализм и невыразительная графическая нотация делают практически невозможным применения этого подхода в чистом виде.
Например, диаграммы активностей хоть и основываются на сетях Петри, позволяют отходить от ее принципов с целью увеличения наглядности и простоты восприятия. Также современные подходы к программированию вводят все новые и новые понятий, которые
нельзя выразить на основе сетей Петри (например, понятие «исключения» невозможно выразить на языке сетей Петри).
Второй класс языков базируется на концепции “Pi-calculus” с которой детально можно ознакомиться в работах [33, 77, 88]. Например, модели в нотации BPMN [59] могут быть выражены с помощью математического аппарата данной концепции [54, 47].