XMI được xây dựng dựa trên XML, vì vậy chúng ta hoàn toàn có thể sử dụng các API chuẩn thao tác với XML như DOM, SAX để thao tác với tài liệu XMI. Trong nghiên cứu của tôi, tôi sử dụng DOM XML cho ngôn ngữ Java để thao tác với tài liệu XMI.
2.5 Kết luận
Chương này giới thiệu những kiến thức cơ bản về UML, XML, XMI. Đó là nền tảng tôi sử dụng trong khóa luận để xây dựng công cụ tự động sinh mô-đun aspect kiểm chứng mà tôi sẽ trình bày ở chương tiếp theo.
Chương 3. Kiểm tra sự tuân thủ giữa thực thi và đặc tả ràng buộc thời gian tả ràng buộc thời gian
3.1 Phương pháp đặc tả
Xét một tiến trình kiểm chứng chung được mô tả trong hình 3.1. Nó bao gồm hai thành phần: Phần bên trái, và một phần khác bên phải.
Trong phần bên trái, block đầu tiên được định rõ từ hệ thống phần mềm, vẽ trong Timing Diagram với ràng buộc thời gian được chỉ rõ trong này. Điểm thời gian t1, t2,…,tn
được miêu tả trong block này.
Block hai (Generator) trích ra ràng buộc thời gian từ UML Timing Diagram và mẫu khác của ràng buộc. Ràng buộc trên t1,t2,….,tn được đổi mẫu một trong XML hoặc ngôn ngữ XMI. Thông tin đạt được từ block này được qua thông qua block tiếp.
Block thứ ba ( mã AspectJ) gồm có mã sinh ra trong AspectJ, một sự mở rộng của AOP trong ngôn ngữ Java. Mã Aspect này gặp tất cả ràng buộc thời gian được biểu diền trong block đầu tiên.
Thành phần bên phải giúp chúng tôi hiểu tiến trình chuẩn Java application.
Thông thường Java Application ( miêu tả trong block đầu tiên) được dịch trong block 2 (Java compiler). Kết quả là Java bytecode. Thực thi cho chúng ta nhận được kết quả.
Trong áp dụng thú vị Java applycation ( trong block đầu tiên) chúng ta xác định rõ chắc chắn bất biến mối quan tâm ràng buộc thời gian. thời gian tương ứng bất biến được biểu thị (tv1,tv2,….,tvm).