The backbone of most software archi

The backbone of most software architectures and component integration frameworks
is one or more architectural styles that provide a domain-specic design
vocabulary and a set of constraints on how that vocabulary is used. Today's architectural
styles are increasingly complex, involving rich vocabularies and numerous
constraints. Hence, designing a sound and appropriate style becomes an intellectually
challenging activity. Unfortunately, although there are numerous tools to help
in the analysis of architectures for individual systems, relatively less work has been
done on tools to help in the design of architectural styles. 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es some
predicates over its architectural structure, and whether two styles are compatible
for composition.

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

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

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

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

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

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

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