In this paper this gap by showing h

In this paper this gap by showing how to map an architectural style express 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es some predicates over its architectural structure, and whether two styles are compatible for composition.

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

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

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

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