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
Hamann, Lars1, Hofrichter, Oliver1, Gogolla, Martin1
1University of Bremen

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...

Từ khóa