Title :
Specification of distributed systems with a combination of graphical and formal languages
Author :
Johnsen, Einar B. ; Owe, Olaf ; Zhang, Wenhui ; Aredo, Demissie B.
Author_Institution :
Dept. of Inf., Oslo Univ., Norway
Abstract :
Convenience in specification and possibility for formal analysis are, to some extent, exclusive aspects of system specification. This paper describes an approach that emphasizes both aspects, by combining UML with a language for observable behavior of interfaces, OUN. These are complementary in the sense that one is graphical and semi-formal while the other is textual and formal. The approach is demonstrated by a case study.
Keywords :
application program interfaces; distributed programming; formal specification; object-oriented languages; specification languages; visual languages; OUN language; UML; distributed systems; formal analysis; formal languages; graphical languages; observable interface behaviour; specification; Application software; Computer architecture; Councils; Formal languages; Informatics; Object oriented modeling; Programming; Prototypes; Specification languages; Unified modeling language;
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
Print_ISBN :
0-7695-1408-1
DOI :
10.1109/APSEC.2001.991465
