The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2002)
Oxford, England
Aug. 26, 2002 to Aug. 29, 2002
ISSN: 0730-3157
ISBN: 0-7695-1727-7
pp: 363
Robert John Walters , University of Southampton
<p>With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that developers need help to analyse and understand them. However, at design time, when this understanding is crucial, the system is unavailable because it has yet to be built. Formal, executable models can help with this problem by providing developers with a platform on which to establish the feasibility of a proposed design. However, commercial developers seem reluctant to employ this type of modelling in their design activity.</p> <p>This paper describes a modelling tool in which the traditional model generation technique of writing "programming language like" code is replaced with a model generation tool which uses a graphical representation of models whilst retaining sufficient formality to permit the models to be executed, or converted into code for analysis by a traditional model checking tool.</p>
Robert John Walters, "A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems", 2013 IEEE 37th Annual Computer Software and Applications Conference, vol. 00, no. , pp. 363, 2002, doi:10.1109/CMPSAC.2002.1045030
88 ms
(Ver 3.3 (11022016))