Integrating UML and OUN for specification of open distributed systems

Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI:10.1109/HCC.2001.995249

Wenhui Zhang, Olaf Owe, E. Johnsen, D. Aredo

引用次数: 1

Abstract

Convenience in specification and possibility for formal analysis are important aspects in the specification of software systems. An approach that combines UML and OUN (specification languages), is proposed for such a purpose. The approach is demonstrated by a case study of an open distributed system.

查看原文本刊更多论文

将UML和OUN集成到开放分布式系统规范中

说明的便捷性和形式化分析的可能性是软件系统说明的重要方面。为此，提出了一种结合UML和OUN(规范语言)的方法。该方法通过一个开放分布式系统的案例研究进行了验证。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)

自引率

0.00%

发文量