这幅图显示了包含展示顺序进程系统的结构部分的UML类图。
This figure shows a UML class diagram containing some structural elements that represent an order processing system.
提出了一种基于通信顺序进程(csp)理论的协议组合模型。
A protocol composition model based on the theory of communicating sequential processes (CSP) is proposed, which presents a protocol as a composition of protocol entities.
本文中未涉及的两个重要并发模型是通信顺序进程(CSP)和软件事务内存(STM)。
Two important concurrency models that are not covered in this article are communicating sequential processes (CSP) and software transactional memory (STM).
UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。
The semantics of UML diagrams are expressed in the notation of Communication Sequential Process (CSP). Different view models of software architectures are linked together based on the CSP semantics.
通信的顺序进程语言是对分布式系统进行程序设计的一种语言。本文介绍了迹、断言迹集合、断言迹集合的核以及进程迹集合等概念。
To define the semantics of Communicating Sequential Processes, the notions of trace, assertion trace set, kernel of assertion trace set and process trace aet are introduced in this paper.
通信的顺序进程语言是对分布式系统进行程序设计的一种语言。本文介绍了迹、断言迹集合、断言迹集合的核以及进程迹集合等概念。
To define the semantics of Communicating Sequential Processes, the notions of trace, assertion trace set, kernel of assertion trace set and process trace aet are introduced in this paper.
应用推荐