DocumentCode
2098575
Title
Functional modelling of complex systems
Author
Kestell, Andrew
Author_Institution
Praxis High Integrity Syst., Bath, UK
fYear
2004
fDate
30 Sept. 2004
Firstpage
19
Lastpage
30
Abstract
Today´s systems are required to provide more diverse business functions and interact with more systems and users than ever before. The resulting increase in the size of both system descriptions and their audiences requires a model that is both structured and focussed to the system and target audiences. This paper proposes such a structure and provides practical guidance on how it can be focussed to its audience and verified.
Keywords
formal specification; functional languages; large-scale systems; specification languages; UML; complex systems; diverse business function; functional modelling; system audience; system description; target audience;
fLanguage
English
Publisher
iet
Conference_Titel
Railway System Modelling - Not Just for Fun, 2004. The IEE Seminar on
ISSN
0537-9989
Print_ISBN
0-86341-457-5
Type
conf
DOI
10.1049/ic:20040513
Filename
1513687
Link To Document