它提供与SCSI的逻辑兼容性，同时提供优于SCSI的可靠性、性能和可管理性。
On the one hand, it offers logical compatibility with SCSI. On the other, it provides the reliability, performance, and manageability that practitioners have come to expect of SCSI.
服务规范版本在逻辑上具有 <主要版本.次要版本> 号码的形式，并基于从 OSGI 改编而来的向后兼容性。
The service specification version logically has the form of a number <major.minor> and is based on backward compatibility adapted from OSGI.
由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。
Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components.
应用推荐