comp6752 Modelling Concurrent Systems

并发系统建模课程目标:
本课程旨在让学生熟悉建模并发系统的前沿技术。通过比较文献中一些更成功的并发语义模型，达到这个目标。重点将放在从哲学、数学和计算的角度来看，这些模型背后的设计决策的理论基础上。该课程包含对于那些科学事业中关于设计数学模型系统行为的重要背景知识的学生来说很重要。
通过本课程的学习，学生应能够准确地对简单并发系统进行建模，特别是能够根据任务的需要，从众多可用的模型中选择（最）适合的模型。此外，他们应能够证明这样建模的系统的基本特性。
讲授；分发科学手稿，促使学生自学；富有挑战性的家庭作业任务，鼓励学生将掌握的技术与自己的创造力相结合；以及研讨会演讲，学生在其中学习如何消化和呈现相关材料。

并发系统是指由多个并行运行的组件或进程组成的系统。对于这样的系统，正确地建模和分析是至关重要的。

建模并发系统的目的是描述系统的行为和结构，以便深入理解系统的工作原理，并发现潜在的问题和风险。

建模并发系统通常使用形式化的建模语言和工具，例如时序逻辑、Petri网、π演算等。这些工具可以帮助我们准确地描述系统的状态、过渡和约束条件。

在建模并发系统时，需要考虑以下几个方面：

1. 状态：描述系统可能处于的不同状态，以及状态之间的转换条件。

2. 过渡：描述系统在不同状态之间的转换过程。这可以是同步的、异步的或并行的过渡。

3. 并发性：考虑系统中存在的多个并发运行的组件，以及它们之间的交互和通信。

4. 约束条件：描述系统行为的限制条件，例如性能要求、资源限制、死锁避免等。

通过正确建模并发系统，可以更好地理解系统的行为和性能，并提前识别和解决潜在的问题，从而提高系统的可靠性和效率。