Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion
To evaluate the usability of Event-B and Rodin compared to B-Method and Atelier B Demonstrate how easy it is to learn Event-B with Rodin Focus on novice users – context of education
B-Method - method of software development based on B - programming language code is developed from specifications. - relates to the B language, refinement, proof and its related tools. - Supporting tool : Atelier B Event-B - Evolution of B - Supporting tool : Rodin
Case Study Demonstration Case Study 1 : Event-B and Rodin Case Study 2 : B-Method and Atelier B Usability Evaluation Cognitive Dimensions Framework ISO Usability criteria Generic case study evaluation criteria suggested by Rodin
Case Study Demonstration Case Study 1 : Event-B and Rodin - Simple Railway System Case Study 2 : B-Method and Atelier B - Simple Jukebox System
Usability Evaluation Cognitive Dimensions Framework - CD questionnaire ; 14 CDs ISO Usability criteria - Learnability and Understandability Generic case study evaluation criteria suggested by Rodin - 6 criteria
types and availability of abstraction mechanisms. -high level of abstraction for both notations Relates to learnability and understandability
how closely related is the notation to the end result
Are similar semantics expressed in similar syntactic forms. - High level of consistency for both notations Relates to learnability and understandability
Verbosity of a language High level for novice users of both notations Mathematical symbols - short and have 1 interpretation Expressions long-winded and complicated- difficult for novice users compared to experts Relates to learnability and understandability
Does the notation invite mistakes High level for novice users of both notations Relates to learnability and understandability
Did tasks require a high demand of mental effort. High level for novice users of both notations Need to understand set theory and 1 st order logic Need to get familiar with mathematical symbols Need to get familiar with ASCII symbols Relates to learnability and understandability
Does the notation invite mistakes
whether the work-to-date can be checked at any time Dependent on the tool Both tools have option to save work till-date Shows error for dependencies Related to learnability and understandability
the ability to provide any extra information in means other than a formal syntax. Use English for comments Use ‘Pretty Print’ for indentation ASCII symbols to represent mathematical symbols
resistance to change High level of repetition viscosity Have to manually change name of variable No auto-update available in both tools Related to learnability and understandability
ability to view components easily/ ability to place components side by side
The Rodin tool is much more user-friendly, attractive and easy to use. Easier to learn the Event-B notation with Rodin Rodin provides good user manual Existing B tools are tedious
Thank You Q&A