论文部分内容阅读
UML2（unified modeling language2．x）的规范为其交互定义了一种基于事件发生轨迹的语义，弥补了之前版本在语义上的欠缺。但是此语义是用自然语言（英语）描述的，不够精确、不一致，并且很多细节解释得不够清楚和完备。利用集合论以组合定义的方式形式化语义，并且证明了形式化后交互的语义为拟序集，此拟序集的线性化恰好就是规范所定义的轨迹集。此形式化语义可以作为UML2交互规范的很好的补充，不但有助于UML2交互的理解，还为UML2交互的应用和研究奠定了坚实的理论基础。