【摘要】 由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。更多还原

【Abstract】 Because of lack of accurate formal semantics for UML, it’s difficult to come into being a protocol implementation from the standard UML notation. In order to meet protocol engineering requirements, interactive abstract state machines description language is defined through the UML profile mechanism, which is a protocol modeling language based on model driven architecture. Some examples are cited to explain how to describe a communication protocol using IASMsDL.更多还原