Đặc tả hình thức để sinh tự động prototype giao diện người dùng

Trình bày: Phạm Lê SumGVHD: TS.Bùi Hoài Thắng

Nội dung Giới thiệu vấn đề Giới thiệu đề tài Các nghiên cứu liên quan Giải pháp của luận văn để giải quyết vấn đề Kế hoạch làm việc Đặt câu hỏi

Giới thiệu vấn đề

Giới thiệu vấn đề (tt)

Giới thiệu vấn đề (tt)

Vấn đề gặp phải

Những sai lầm trong các giai đoạn đầu của qui trình phát triển phần mềm sẽ gây ra hậu quả

nghiêm trọng về chức năng và giao diện.

Giới thiệu vấn đề (tt)

Hướng giải quyết

Giới thiệu vấn đề (tt)

Giao diện người dùng Là một thành phần rất quan trọng của phần

mềm. Được xây dựng và hoàn thiện trong suốt quá

trình phát triển hệ thống Prototype giao diện

Là những minh họa cho giao diện thực sự Dễ dàng phát thảo trong giai đoạn phân tích

Giới thiệu vấn đề (tt)

Ví dụ một prototype giao diện

Nội dung Giới thiệu vấn đề Giới thiệu đề tài Các nghiên cứu liên quan Giải pháp của luận văn để giải quyết vấn đề Kế hoạch làm việc Đặt câu hỏi

Giới thiệu đề tài

Mục tiêu Đưa ra một hướng tiếp cận để phát sinh

prototype giao diện tự động.

Xây dựng một thư viện các thành phần mẫu

nhằm mục đích tái sử dụng

Nội dung Giới thiệu vấn đề Giới thiệu đề tài Các nghiên cứu liên quan Giải pháp của luận văn để giải quyết vấn đề Kế hoạch làm việc Đặt câu hỏi

Các nghiên cứu liên quan

Phương pháp dựa vào UML XIS ELKOUTBI UML Scenarios và High-level Petri Nets Phương pháp của Cruz

Phương pháp dựa vào mô tả hình thức của hệ thống (Michael Heymann)

Các nghiên cứu liên quan (tt)

Phương pháp dựa vào UML Mô hình hóa hệ thống bằng các lược đồ UML:

Use case, class diagram, state diagram, domain model

Thêm các mô tả về giao diện kèm theo các mô hình.

Trích xuất các thông tin về giao diện để phát sinh giao diện/prototype giao diện

Các nghiên cứu liên quan (tt)

Dựa vào mô tả hình thức của hệ thốngPhương pháp của Michael Heymann (2007) Mô tả hình thức hệ thống: The machine, user’s

task, user interface và user model. Từ thông tin tương tác của người dùng, phương

pháp lọc ra những thông tin cần thiết cho người dùng.

Xây dựng giao diện từ những thông tin tìm được

Các nghiên cứu liên quan (tt)

Ưu điểm Dùng các công cụ phổ biến Giao diện sinh ra khá thân thiện Phương pháp Cruz cho phép phát sinh mã nguồn

chương trình, data base Phương pháp Cruz dùng vòng lặp để cải tiến dần

kết quả

Các nghiên cứu liên quan (tt)

Nhược điểm Tốn rất nhiều công sức để xây dựng các mô hình,

đặc tả. Giao diện sinh ra không được tái sử dụng Mỗi phương pháp sử dụng một công cụ khác nhau

Nội dung Giới thiệu vấn đề Giới thiệu đề tài Các nghiên cứu liên quan Giải pháp của luận văn để giải quyết vấn đề Kế hoạch làm việc Đặt câu hỏi

Giải pháp

Đề xuất một bộ kí hiệu đặc tả prototype giao diện Gọn nhẹ dễ sử dụng Độc lập với các công cụ mô hình hóa hệ thống

nhưng dễ dàng tích hợp. Dễ dàng chuyển qua dạng đặc tả logic

Xây dựng một thư viện gồm các đối tượng UI đã được dựng sẵn để tái sử dụng

Giải pháp

Mô hình của phương pháp

Giải pháp

UI specification: Đặc tả prototype giao diện UI library: Thư viện chứa các thành phần giao

diện: Basic: thành phần cơ bản : Textfield, button,… Composite: thành phần tổng hợp: login form,…

AI Planner: Thực hiện AI planning để tạo kết quả giao diện: Composite hoặc suggestion

Giải pháp

UI prototype: Là kết quả khi AI Planner tìm ra được lời giải thỏa mãn đặc tả đầu vào. Kết quả sẽ được thêm vào thư viện (composite).

UI suggestion: Là kết quả khi AI Planner không thể tìm ra lời giải thỏa mãn hoàn toàn. Hệ thống sẽ đưa ra kết quả gần nhất và gợi ý về phần còn thiếu.

Giải pháp

Ví dụ đặc tả prototype giao diệncomponent login//…phần đặc tả thông thường…////…Đặc tả giao diện prototype…//UI_precondition: usecase#login.active == true ^ type == page ^ name == “login” ^ username.text != null ^ password.text != null ^ login.action.type == press ^cancel.action.type == pressUI_postcondition: (login.action.isActive == true ^ usecase#userdashboard.active == true) v (cancel.action.isActive ==true ^ usecase#mainpage.active == true)

Nội dung Giới thiệu vấn đề Giới thiệu đề tài Các nghiên cứu liên quan Giải pháp của luận văn để giải quyết vấn đề Kế hoạch làm việc Đặt câu hỏi

Kế hoạch làm việc

Để đảm bảo tính khả thi của hệ thống, luận văn kết hợp với nhóm nghiên cứu SAVE (System Analysis and Verification).

Luận văn sẽ đề xuất bộ cú pháp đặc tả Đề xuất phương án và phối hợp xây dựng AI

Planner. Xây dựng cấu trúc thư viện, tích hợp hệ

thống.

Kế hoạch làm việc

Công việc cụ thể cho giai đoạn tiếp theo Xây dựng bộ kí hiệu đặc tả giao diện Xây dựng công cụ để chuyển đặc tả sang dạng

logic, đề xuất giải pháp hiện thực AI Planner Xây dựng công cụ để chuyển đặc tả sang UI Tham gia xây dựng thư viện Tích hợp hệ thống Kiểm tra, đánh giá và ghi nhận kết quả đạt được

Tài liệu tham khảo [1] António Miguel Rosado da Cruz and João Pascoal Faria, (2011),

“Automatic Generation of User Interface Models and Prototypes from Domain and Use Case Models”

[2] Cruz, A.M.R., Faria, J.P. (2009). “Automatic generation of user interface models and prototypes from domain and use case models”. In Proceedings of the 4th International Conference on Software Engineering and Data Technologies (ICSoft 2009) , vol. 1, pp169-176, Sofia, Bulgaria, July 2009, INSTICC Press.

[3] Michael Heymann (2007), “Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm”, Human Factors: The Journal of the Human Factors and Ergonomics Society April 2007 vol. 49 no. 2 311-330.

Tài liệu tham khảo [4] Alberto Rodrigues da Silva, João Saraiva, Rui Silva, Carlos Martins

(2007), “XIS-UML Profile for eXtreme Modeling Interactive Systems”, Model-Based Methodologies for Pervasive and Embedded Software, 2007. MOMPES '07. Fourth International Workshop.

[5] Mohammed Elkoutbi (2006), “Generating User Interface Prototypes from Scenarios”, 2006 Springer Science + Business Media, Inc. Manufactured in The Netherlands.

[6] Mohammed Elkoutbi , Rudolf K. Keller (2000), “User Interface Prototyping based on UML Scenarios and High-level Petri Nets”, Application and Theory of Petri Nets 2000, pp 166-186.

[7] Cristian Bogdan, J ¨urgen Falb, Hermann Kaindl, Sevan Kavaldjian, Roman Popp, Helmut Horacek, Edin Arnautovic and Alexander Szep (2008), “Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication”, HICSS '08 Proceedings of the Proceedings of the 41st Annual Hawaii International Conference on System Sciences.

Tài liệu tham khảo [8] J ¨urgen Falb, Sevan Kavaldjian, Roman Popp, David Raneburger,

Edin Arnautovic, and Hermann Kaindl, Institute of Computer Technology (2009), “Fully Automatic User Interface Generation from Discourse Models”, Proceeding IUI '09 Proceedings of the 14th international conference on Intelligent user interfaces, Pages 475-476

[9] J ¨urgen Falb, Thomas R ¨ock, Edin Arnautovic (2007), “Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts”, Proceedings of the 40th Hawaii International Conference on System Sciences - 2007

[10] Egbert Schlungbaum , Thomas Elwert (1996), “Automatic user interface generation from declarative models”, University Rostock, Fachbereich Informatik.

Tài liệu tham khảo [11] Shaoying Liu (1998), “SOFL: a formal engineering methodology for

industrial applications”, Software Engineering, IEEE Transactions. [12]  Dennis M. Buede (2009), “The Engineering Design of Systems:

Models and Methods” 2nd edition. [13] Gary T. Leavens , Yoonsik Cheon (2006), “Design by contract with

JML, Dept. of Computer Science Dept. of Computer Science”; Iowa State University University of Texas at El Paso .

[14] Dragan Milicev (Jul 7, 2009), “Model-Driven Development with Executable UML”, Wrox publisher.

Phần đặc câu hỏi ?