IVY workbench evaluation
-
Upload
diogorui -
Category
Technology
-
view
477 -
download
0
description
Transcript of IVY workbench evaluation
![Page 1: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/1.jpg)
IVY workbench evaluation
Diogo Martins
Nuno Pinto
Rui Freitas
10910
12797
10908
![Page 2: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/2.jpg)
Outline
• HCI and IVY workbench
• Objectives
• Interface evaluation
• The case study
• The experience results
• The statistical results
• Conclusions
![Page 3: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/3.jpg)
HCI
![Page 4: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/4.jpg)
![Page 5: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/5.jpg)
IVY workbench
![Page 6: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/6.jpg)
Objectives
![Page 7: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/7.jpg)
Objectives
![Page 8: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/8.jpg)
Objectives
![Page 9: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/9.jpg)
?
Objectives
![Page 10: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/10.jpg)
Interface evaluation
• Methods
![Page 11: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/11.jpg)
Interface evaluation
• Methods
• Groups
![Page 12: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/12.jpg)
Interface evaluation
• Methods
• Groups
• Local
![Page 13: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/13.jpg)
Interface evaluation
• Methods
• Groups
• Local
• The experience
![Page 14: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/14.jpg)
The case study
• Problem description
• Given examples
![Page 15: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/15.jpg)
The case study
• Problem description
![Page 16: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/16.jpg)
The case study
• Given examples
![Page 17: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/17.jpg)
The experience results
• User’s behavior
• previous knowledge in Model Checking
• no previous knowledge in Model Checking
• User’s opinions
• physical states
• tabular
![Page 18: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/18.jpg)
![Page 19: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/19.jpg)
User’s behavior
• Users with previous knowledge in Model Checking:
• Comfortable
• Easy learning
• Problem identified
![Page 20: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/20.jpg)
![Page 21: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/21.jpg)
User’s behavior
• Users without previous knowledge in Model Checking:
• Difficulties in understanding the Tabular representation
• Easy understanding in the Physical States representation
• Problem identified in both cases
![Page 22: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/22.jpg)
User’s opinions
• Physical states
![Page 23: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/23.jpg)
User’s opinions
- Action Highlight
![Page 24: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/24.jpg)
User’s opinions
- Components Highlight
![Page 25: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/25.jpg)
User’s opinions
- State variables insidethe state boxes
![Page 26: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/26.jpg)
User’s opinions
- Zoom
![Page 27: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/27.jpg)
User’s opinions
- Horizontal diagram (reduce scroll, easier to compare states)
![Page 28: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/28.jpg)
User’s opinions
- Loop Arrow connectedand should have the action
![Page 29: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/29.jpg)
User’s opinions
- Highlight changed variables
![Page 30: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/30.jpg)
User’s opinions
- Highlight condition violation
![Page 31: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/31.jpg)
User’s opinions
• Tabular
![Page 32: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/32.jpg)
User’s opinions
- Explain the yellow color
![Page 33: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/33.jpg)
User’s opinions
- Loop
![Page 34: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/34.jpg)
User’s opinions
- Highlight the action
![Page 35: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/35.jpg)
User’s opinions
- System component
![Page 36: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/36.jpg)
User’s opinions
- Highlight condition violation
![Page 37: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/37.jpg)
The statistical results
![Page 38: IVY workbench evaluation](https://reader038.fdocuments.in/reader038/viewer/2022103117/5598ec981a28ab6f118b465f/html5/thumbnails/38.jpg)
Conclusions