Communicating sequential processes
Communicating sequential processes
Elements of interaction: Turing award lecture
Communications of the ACM
Design and use of a system-level specification and verification methodology
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Communication and Concurrency
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
POSD-a notation for presenting complex systems of processes
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
v-Promela: A Visual, Object-Oriented Language for SPIN
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Visual security protocol modeling
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
A formalism for visual security protocol modeling
Journal of Visual Languages and Computing
Hi-index | 0.00 |
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.