基于UML的扩展分布式协议综合方法
Extended distributed UML-based protocol synthesis method
摘要：
综合规范的实时的应用程序，涉及分布式通信协议实体从服务规范，这是在UML状态机与复合状态建模，是一个耗时和劳动密集型的任务。现有的基于UML的服务规范的合成技术不考虑时序约束，因此，不能用于实时的应用程序的时序约束是至关重要的，必须考虑。在本文中，我们解决的问题，时间分配到UML状态机建模的服务规范中定义的事件。此外，我们将展示如何扩展一种技术，自动合成基于UML的协议规范的服务规范，考虑在服务规范的时间约束。所得到的合成协议保证符合服务规范中给出的时间约束。
英文摘要：
Synthesizing specifications for real time applications that involve distributed communication protocol entities from a service specification, which is modeled in the UML state machine with composite states, is a time-consuming and labor-intensive task. Existing synthesis techniques for UML-based service specifications do not account for timing constrains and, therefore, cannot be used in real time applications for which the timing constraints are crucial and must be considered. In this paper, we address the problem of time assignment to the events defined in the service specification modeled in UML state machine. In addition, we show how to extend a technique that automatically synthesizes UML-based protocol specifications from a service specification to consider the timing constraints given in the service specification. The resulting synthesized protocol is guaranteed to conform to the timing constraints given in the service specification.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
