Жалпы есептеу үшін формализм: биграфтар – байланыс графигі мен орналасқан ағаштардың үйлесімі. Түйіндер, жиектер, аймақтар, тесіктер мен бақылаулар туралы ақпарат.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
ұбiquитті есептеулер үшін формализм Биграфты графтың (байланыс графигі) және ағаштар жиынтығының (орналасу графигі) үстіне қою ретінде модельдеуге болады. Биграфтың әрбір түйіні графтың бір бөлігі және сонымен қатар түйіндердің қалай ұяластырылғанын сипаттайтын ағаштың бір бөлігі болып табылады. Биграфтарды диаграммалар түрінде ыңғайлы және формалды түрде көрсетуге болады.
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.