Enhanced use case map analysis and transformation tooling

Abstract

The Use Case Map (UCM) notation enables the use of graphical scenarios to model greybox views of a system's operational requirements and behaviour. The scenario traversal mechanism is the most popular UCM analysis technique as it allows modellers to test, explain, and transform UCM models. However, its implementation in the existing UCM-Nav tool is limited and hard to use, and its high feature coupling makes it difficult to maintain and evolve. This thesis introduces major analysis and transformation enhancements to the recent jUCMNav Eclipse plug-in by providing an extensible scenario traversal semantics accompanied by improved model transformations to Message Sequence Charts. Furthermore, this thesis identifies a set of semantic variation points for which the behaviour is unclear in UCMs, laying the groundwork for notational clarifications and user-defined semantic profiles. Finally, the transformation from textual use cases to UCMs is presented as a demonstration of the extensibility of jUCMNav's transformation framework.