Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Формализм для всепроникающих вычислений.
the formalism for ubiquitous computing
Биграф может быть смоделирован как суперпозиция графа (граф связей) и множества деревьев (граф мест). Каждый узел биграфа является частью графа и одновременно частью некоторого дерева, описывающего вложенность узлов. Биграфы могут быть удобно и формально представлены в виде диаграмм.
A bigraph can be modelled as the superposition of a graph (the link graph) and a set of trees (the place graph). Each node of the bigraph is part of a graph and also part of some tree that describes how the nodes are nested. Bigraphs can be conveniently and formally displayed as diagrams.
Анатомия биграфа
Помимо узлов и (гипер)рёбер, биграф может иметь связанные с ним одну или несколько областей, являющихся корнями в дереве местоположений, и ноль или более отверстий в графе местоположений, в которые могут быть вставлены другие области биграфа. Аналогично, узлам можно назначить управляющие элементы, определяющие их идентичность и арность (количество портов для данного узла, к которым могут подключаться рёбра графа связей). Эти управляющие элементы берутся из сигнатуры биграфа. В графе связей мы определяем внутренние и внешние имена, которые задают точки соединения, в которых совпадающие имена могут быть объединены для формирования единой связи.
Aside from nodes and (hyper )edges, a bigraph may have associated with it one or more regions which are roots in the place forest, and zero or more holes in the place graph, into which other bigraph regions may be inserted. Similarly, to nodes we may assign controls that define identities and an arity (the number of ports for a given node to which link graph edges may connect). These controls are drawn from a bigraph signature. In the link graph we define inner and outer names, which define the connection points at which coincident names may be fused to form a single link.
Направленные биграфы
Направленные биграфы — это обобщение биграфов, в котором гиперрёбра графа связей направлены. Порты и имена интерфейсов расширены полярностью (положительной или отрицательной) с требованием, чтобы направление гиперрёбер шло от отрицательной к положительной. Направленные биграфы были введены как метамодель для описания вычислительных парадигм, имеющих дело с местоположениями и обменом ресурсами, где направленный граф связей обеспечивает естественное описание зависимостей ресурсов или потока информации. Примеры областей применения включают протоколы безопасности, управление доступом к ресурсам и облачные вычисления. Они являются обобщением формализации Милнера, позволяющим прямое представление перекрывающихся или пересекающихся пространственных областей. В биграфах с разделяемыми ресурсами граф мест определяется как направленный ациклический граф (DAG), то есть представляет собой двоичное отношение вместо отображения. Определение графа связей не изменяется при введении разделяемых ресурсов. Следует отметить, что стандартные биграфы являются подклассом биграфов с разделяемыми ресурсами. Области применения биграфов с разделяемыми ресурсами включают протоколы беспроводных сетей, управление в реальном времени домашними беспроводными сетями и системы смешанной реальности.
Directed Bigraphs are a generalisation of bigraphs where hyper edges of the link graph are directed. Ports and names of the interfaces are extended with a polarity (positive or negative) with the requirement that the direction of hyper edges goes from negative to positive. Directed bigraphs were introduced as a meta model for describing computation paradigms dealing with locations and resource communication where a directed link graph provides a natural description of resource dependencies or information flow. Examples of areas of applications are security protocols, resource access management, and cloud computing. are a generalisation of Milner's formalisation that allows for a straightforward representation of overlapping or intersecting spatial locations. In bigraphs with sharing, the place graph is defined as a directed acyclic graph (DAG), i. e. is a binary relation instead of a map. The definition of link graph is unaffected by the introduction of sharing. Note that standard bigraphs are a sub class of bigraphs with sharing. Areas of application of bigraphs with sharing include wireless networking protocols, real time management of domestic wireless networks and mixed reality systems.