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
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;
Conference_Titel :
Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on
Conference_Location :
Stresa
Print_ISBN :
0-7803-7198-4
DOI :
10.1109/HCC.2001.995249
