Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Giám sát Thời gian Thực của Ứng Dụng Dựa trên OCL với Máy Trạng Thái Giao Thức
Lecture Notes in Computer Science - Trang 384-399 - 2012
Tóm tắt
Bài báo này trình bày một phương pháp cho phép người dùng theo dõi và xác minh hành vi của một ứng dụng chạy trên máy ảo (như máy ảo Java) ở cấp độ mô hình trừu tượng. Các mô hình cho các cài đặt hướng đối tượng thường được sử dụng như một nền tảng...