可执行文件 计算机科学 工作流程 水准点（测量） 编码（集合论） 分布式计算 程序设计语言 Web服务 源代码 Petri网 用户界面 接口（物质） 软件工程 领域（数学分析） 组分（热力学） 语义学（计算机科学） 业务流程执行语言 动作（物理） 封面（代数） 理论计算机科学 有界函数 Web应用程序 空格（标点符号） 数据库 模型检查