P. Green and K. Tasie-Amadi (UK)
UML, model-checking.
The development of software with UML necessitates the construction of several models representing the system from different perspectives. It is important to ensure that the behaviour of the different models is consistent, but for complex systems this is difficult to accomplish manually. Hence, in this paper, an automated approach to verifying consistency between different UML behavioural models is presented. The behaviour of use cases and classes is represented by state machines, and these models, along with sequence diagrams representing use case scenarios, are automatically translated into machine-readable CSP by the UML2CSP tool developed as part of this work. The CSP representations of these three models are then checked for consistency via the CSP model-checker FDR.
Important Links:
Go Back
