DocumentCode
2410207
Title
Integrating UML and OUN for specification of open distributed systems
Author
Zhang, Wenhui ; Johnsen, Einar B. ; Owe, Olaf ; Aredo, Demissie B.
Author_Institution
Inst. for Energy Technol., Halden, Norway
fYear
2001
fDate
2001
Firstpage
122
Lastpage
123
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
Keywords
formal specification; object-oriented programming; open systems; specification languages; OUN; Oslo University Notation; UML; Unified Modelling Language; case study; formal analysis; open distributed system specification; software system specification; specification language; Councils; Data processing; Electrical equipment industry; Handicapped aids; Inductors; Informatics; Object oriented modeling; Prototypes; Specification languages; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on
Conference_Location
Stresa
Print_ISBN
0-7803-7198-4
Type
conf
DOI
10.1109/HCC.2001.995249
Filename
995249
Link To Document