In this paper we addressthis gap by

In this paper we address
this gap by showing how to map an architectural style, expressed formally in an
architectural description language, into a relational model that can then be checked
for properties, such as whether a style is consistent, whether a style satise some
predicates over its architectural structure, and whether two styles are compatible
for composition.

ผลลัพธ์ (ไทย) 1:

ในเอกสารนี้ เราอยู่ช่องว่างนี้ โดยแสดงวิธีการแมปสถาปัตยกรรมแบบ แสดงอย่างเป็นกิจจะลักษณะในการอธิบายสถาปัตยกรรมภาษา เป็นแบบจำลองเชิงสัมพันธ์ที่ได้รับการตรวจแล้วสำหรับคุณสมบัติ เช่นว่าแบบมีความสอดคล้อง ว่าอี satis มีลักษณะบางเพรดิเคตผ่านโครงสร้างของสถาปัตยกรรม และว่าลักษณะทั้งสองเข้ากันได้สำหรับบทประพันธ์

ผลลัพธ์ (ไทย) 2:

ในบทความนี้เราอยู่ช่องว่างนี้โดยการแสดงวิธีการแมรูปแบบสถาปัตยกรรมที่แสดงออกอย่างเป็นทางการในภาษาคำอธิบายสถาปัตยกรรมในรูปแบบความสัมพันธ์ที่นั้นจะสามารถตรวจสอบคุณสมบัติเช่นไม่ว่าจะเป็นรูปแบบที่สอดคล้องกันไม่ว่าจะเป็นรูปแบบsatis อีบางpredicates โครงสร้างสถาปัตยกรรมและไม่ว่าสองรูปแบบที่เข้ากันได้สำหรับองค์ประกอบ

ผลลัพธ์ (ไทย) 3:

ในกระดาษนี้เราที่อยู่
ช่องว่างนี้ โดยการแสดงวิธีการแผนที่เป็นรูปแบบสถาปัตยกรรมที่แสดงออกอย่างเป็นทางการใน
อธิบายภาษาสถาปัตยกรรม เป็นโมเดลเชิงสัมพันธ์ซึ่งจากนั้นสามารถตรวจสอบ
คุณสมบัติเช่นว่าลักษณะสอดคล้องกัน ไม่ว่าจะเป็นลักษณะพอ  E บาง
ภาคแสดงของสถาปัตยกรรม โครงสร้าง และว่า สอง รูปแบบที่เข้ากันได้

สำหรับองค์ประกอบ