Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B ...
-
Upload
tyler-hoover -
Category
Documents
-
view
226 -
download
0
description
Transcript of Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B ...
![Page 1: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/1.jpg)
![Page 2: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/2.jpg)
Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion
![Page 3: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/3.jpg)
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
![Page 4: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/4.jpg)
B-Method - method of software development based on B- programming language code is developed fromspecifications. - relates to the B language, refinement, proof and itsrelated tools.- Supporting tool : Atelier B
Event-B- Evolution of B- Supporting tool : Rodin
![Page 5: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/5.jpg)
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
![Page 6: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/6.jpg)
Case Study Demonstration Case Study 1 : Event-B and Rodin
- Simple Railway System
Case Study 2 : B-Method and Atelier B
- Simple Jukebox System
![Page 7: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/7.jpg)
![Page 8: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/8.jpg)
![Page 9: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/9.jpg)
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
![Page 10: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/10.jpg)
types and availability of abstraction mechanisms.-high level of abstraction for both notations
Relates to learnability and understandability
![Page 11: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/11.jpg)
Relates to learnability and understandability
how closely related is the notation to the end result
![Page 12: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/12.jpg)
Are similar semantics expressed in similar syntactic forms.- High level of consistency for both notations
Relates to learnability and understandability
![Page 13: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/13.jpg)
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
![Page 14: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/14.jpg)
Does the notation invite mistakes•High level for novice users of both notations
Relates to learnability and understandability
![Page 15: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/15.jpg)
Did tasks require a high demand of mental effort.
•High level for novice users of both notations
•Need to understand set theory and 1st order logic
•Need to get familiar with mathematical symbols
•Need to get familiar with ASCII symbols
•Relates to learnability and understandability
![Page 16: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/16.jpg)
Does the notation invite mistakes
![Page 17: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/17.jpg)
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
![Page 18: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/18.jpg)
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
![Page 19: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/19.jpg)
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
![Page 20: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/20.jpg)
ability to view components easily/ ability to place components side by side
![Page 21: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/21.jpg)
•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
![Page 22: Introduction Methodology Case Study 1 : Event-B and RODN Case Study 2 : B-Method and Atelier B Observations and Analysis Conclusion.](https://reader036.fdocuments.us/reader036/viewer/2022062413/5a4d1b517f8b9ab0599a7d46/html5/thumbnails/22.jpg)
Thank YouQ&A