Như là một ví dụ về sản lượng của Joyce, xem xét văn bản trong hình 2. Nó là một chú thích của các thành phần "Máy chủ". Sự phân hủy cấp cao nhất của thành phần này được thể hiện trong hình 1. Các văn bản annotates phần mềm thiết kế bởi mô tả cấu trúc của nó và giải thích nó trong điều khoản của đặc tính bảo mật của nó. Văn bản trong hình 4 được tạo ra bởi Joyce để báo cáo kết quả phân tích lưu lượng; đại diện đồ họa của hệ thống cơ bản có thể được nhìn thấy trong hình 3. Lưu ý rằng các cấu trúc của các văn bản hai là khá khác nhau: trong khi các văn bản máy chủđược xây dựng theo trừu tượng hơn thể loại như vậy như thiết kế cấu trúc và chức năng, hộp đen văn bản sau đường của dòng chảy không an toàn thông qua các thành phần.
đang được dịch, vui lòng đợi..
