请问一下什么叫语义？什么叫作语义互操作？
请问一下什么叫语义？什么叫作语义互操作？
对XX的语义互操作的研究，应该怎么理解，是研究什么？是不是可以理解成研究系统各部分之间的关系？谢
[解决办法]
一搬是指“形式语义”上世纪60年代出现的，可以说是纯理论的东西，在很多地方有很重要的指导意义：
一搬“形式语义”分为四个分支的，如下
(1) 操作语义学：着重模拟数据加工过程中计算机的操作；
(2) 指称语义学：主要刻画数据加工前后的状态（输入和输出），而不是加工过程的细节；
(3) 公理语义学：用于公理化的方法描述程序的性质；
(4) 代数语义学：把程序设计语言看作是刻画数据和加工数据的一种抽象数据类。
可能也有人说中三个分支，就是不含代数语义学，但现在公认还是四个分支。
