Пи-исчисление: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
РоманСузи (обсуждение | вклад) →Неформальное определение: добавил забытого автора |
РоманСузи (обсуждение | вклад) →Применение: Пример бизнес-процесса |
||
Строка 84:
Другим неожиданным направлением использования <math>\pi</math>-исчисления является моделирование [[Биомолекулы|биомолекулярных]] систем<ref name="Regev A., Shapiro E. (2004) The π-calculus as an Abstraction for Biomolecular Systems. In: Ciobanu G., Rozenberg G. (eds) Modelling in Molecular Biology. Natural Computing Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18734-6_11">{{публикация|книга|автор=Regev A., Shapiro E.|заглавие=Modelling in Molecular Biology. Natural Computing Series|часть=The π-calculus as an Abstraction for Biomolecular Systems|ссылка=https://doi.org/10.1007/978-3-642-18734-6_11|ответственный=Ciobanu G., Rozenberg G.|место=Berlin, Heidelberg|издательство=Springer|год=2004}}</ref>.
== Пример бизнес-процесса ==
Следующий пример может дать представление об описании бизнес-процесса при помощи пи-исчисления (перефразирован из {{sfn|Havey|2005}}):
: Клиент(заказ,клиент)=
:: {{overline|заказ}}<клиент>.клиент(блюдо)
: ОфициантПринимаетЗаказ(заказ,заказГотов,заказНеГотов,кухня)=
:: заказ(клиент).{{overline|кухня}}<заказГотов,заказНеГотов>
:: ОфициантПриноситЕду(заказГотов,заказНеГотов,клиент)
: ОфициантПриноситЕду(заказГотов,заказНеГотов,клиент)=
:: заказГотов(блюдо).{{overline|клиент}}<блюдо> +
:: заказНеГотов(извинения).{{overline|клиент}}<извинения>
: Кухня(кухня,заказГотов,заказНеГотов)=
:: кухня(заказГотов,заказНеГотов).{{overline|заказГотов}}<"борщ">
: Ресторан=
:: (new зкз,клнт,готов,неГотов,кух)
:: Клиент(зкз,клнт)|ОфициантПринимаетЗаказ(зкз,готов,неГотов,кух)|Кухня(кух,готов,неГотов)
== Примечания ==
| |||