Topological integrity constraint can be expressed and mapped into transition graph by using temporal formula or patterned-sentence (details is showed in [8]).
Tô pô toàn vẹn hạn chế có thể được bày tỏ và được ánh xạ vào quá trình chuyển đổi đồ thị bằng cách sử dụng thời gian thức hay câu khuôn mẫu (cho thấy chi tiết vào năm [8]).
Tôpô vẹn ràng buộc có thể được thể hiện và được ánh xạ vào đồ thị chuyển đổi bằng cách sử dụng công thức thời gian hoặc theo khuôn mẫu-câu (chi tiết được thể hiện trong [8]).