DocumentCode
2358294
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
fYear
2001
fDate
4-7 Dec. 2001
Firstpage
105
Lastpage
108
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-1408-1
Type
conf
DOI
10.1109/APSEC.2001.991465
Filename
991465
Link To Document