Introduction to Choreographies
Introduction to Choreographies
复制标题
编舞简介
DOI：
10.1017/9781108981491
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
F. Montesi
中科院分区：
文献类型：
--
作者：
F. Montesi
在并发和分布式系统中，进程可以通过在联合计划中发挥各自的作用来共同完成任务。该计划或协议可以编写为编排：流程应协作实现的总体行为的正式描述，例如验证用户身份或在线购买商品。形式化带来清晰，但不仅如此。编排可以有助于重要的安全性和活性特性。本书是计算机科学和应用数学领域的学生、研究人员和专业人士对编排理论的理想介绍。它涵盖了编写编排的语言及其语义，以及正确实现编排的原则。本书将编舞研究本身视为一门学科，遵循系统方法，从简单的基础开始，逐步逐步发展到更高级的功能。每章都包含示例和练习，旨在帮助理解理论及其与实践的关系。
In concurrent and distributed systems, processes can complete tasks together by playing their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal description of overall behaviour that processes should collaborate to implement, like authenticating a user or purchasing an item online. Formality brings clarity, but not only that. Choreographies can contribute to important safety and liveness properties. This book is an ideal introduction to theory of choreographies for students, researchers, and professionals in computer science and applied mathematics. It covers languages for writing choreographies and their semantics, and principles for implementing choreographies correctly. The text treats the study of choreographies as a discipline in its own right, following a systematic approach that starts from simple foundations and proceeds to more advanced features in incremental steps. Each chapter includes examples and exercises aimed at helping with understanding the theory and its relation to practice.