标准摘要 当前记录暂无摘要。 展开完整摘要 英文名称Information technology - Open Distributed Processing - Reference Model: Architectural semantics - Part 4: - Amendment 1: Computational formalization