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

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

{"title":"将UML和OUN集成到开放分布式系统规范中","authors":"Wenhui Zhang, Olaf Owe, E. Johnsen, D. Aredo","doi":"10.1109/HCC.2001.995249","DOIUrl":null,"url":null,"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.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Integrating UML and OUN for specification of open distributed systems\",\"authors\":\"Wenhui Zhang, Olaf Owe, E. Johnsen, D. Aredo\",\"doi\":\"10.1109/HCC.2001.995249\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":438014,\"journal\":{\"name\":\"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)\",\"volume\":\"90 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HCC.2001.995249\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HCC.2001.995249","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

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

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

查看原文本刊更多论文

Integrating UML and OUN for specification of open distributed systems

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量