loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
28th Annual International Computer Software and Applications Conference (COMPSAC'04)
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Hong Kong
September 28-September 30
ISBN: 0-7695-2209-2
Peter Henderson, University of Southampton
Robert John Walters, University of Southampton
Stephen Crouch, University of Southampton

Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal modelling languages which they find difficult to read and understand. This barrier to the adoption of formal modelling techniques can be significantly reduced if the process algebra is replaced with a graphical notation supported by a model generation tool.

However, whilst having a diagrammatic base for the language appeals to the novice modeller, the diagrams can become cluttered for larger models. In this paper we address the issues of how to add hierarchical features to a graphical language without losing the fundamental benefits and appeal of a having the graphical interface to the language. We illustrate these ideas using an existing formal modelling language.

Citation:
Peter Henderson, Robert John Walters, Stephen Crouch, "Implementing Hierarchical Features in a Graphically Based Formal Modelling Language," compsac, vol. 1, pp.92-98, 28th Annual International Computer Software and Applications Conference (COMPSAC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.