Title :
Functional modelling of complex systems
Author_Institution :
Praxis High Integrity Syst., Bath, UK
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;
Conference_Titel :
Railway System Modelling - Not Just for Fun, 2004. The IEE Seminar on
Print_ISBN :
0-86341-457-5
DOI :
10.1049/ic:20040513
