6 . ValidationIn order to assess th

6 . Validation
In order to assess the effective viability of the proposed approach, we have implemented METIS. This is a proof of
concept implementation developed as open source project at http://www.aeolus-project.org/software/. The implementation
is about 3.5K lines of code written in OCaml and it is distributed under GPL license.
METIS takes as input an encoding of the universe in the JSON format following the Aeolus Universe JSON Schema.6 For
example, Listing 2 shows the specification of the Application component type depicted in Fig. 2. Each component type is
specified by means of a name (field name) and by the automaton describing its behavior. Each state is defined by a name,
a list of successors, and a list of the provided and required ports.7 METIS outputs the sequence of actions needed to
deploy the target in textual format and the abstract plan as a directed graph in dot format [33,34].

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

6 การตรวจสอบเพื่อประเมินความมีชีวิตที่มีประสิทธิภาพของวิธีการที่นำเสนอเราได้ดำเนินการ METIS
นี้เป็นหลักฐานของแนวคิดการดำเนินงานการพัฒนาเป็นโครงการที่มาเปิดที่ http://www.aeolus-project.org/software/
การดำเนินการเป็นเรื่องเกี่ยวกับ 3.5K บรรทัดของรหัสที่เขียนใน OCaml และเป็นที่จำหน่ายภายใต้ใบอนุญาต GPL. METIS ใช้เป็น input เข้ารหัสของจักรวาลในรูปแบบ JSON ต่อไปนี้จักรวาล Aeolus JSON Schema.6 สำหรับตัวอย่างเช่นรายการที่2 แสดงคุณสมบัติของ องค์ประกอบประเภทแอพลิเคชันที่ปรากฎในรูป 2. แต่ละประเภทส่วนประกอบที่กำหนดโดยวิธีการของชื่อ(ชื่อเขต) และหุ่นยนต์ที่อธิบายถึงพฤติกรรมของมัน แต่ละรัฐจะถูกกำหนดโดยชื่อรายการสืบทอดและรายการที่มีให้และต้อง ports.7 METIS ผลลำดับของการกระทำที่จำเป็นในการปรับเป้าหมายในรูปแบบต้นฉบับและแผนนามธรรมเป็นกราฟในรูปแบบจุด[ 33,34]

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

6 . การตรวจสอบ
เพื่อประเมินความเป็นไปได้ที่มีประสิทธิภาพของวิธีการที่เสนอ เราได้ใช้มี . นี่คือหลักฐานการแนวคิดการพัฒนาโครงการ
http : / / เปิดแหล่งที่มา www.aeolus-project . org / ซอฟต์แวร์ / การใช้
เกี่ยวกับ 3.5k บรรทัดของรหัสที่เขียนใน ocaml และเป็นที่เผยแพร่ภายใต้ GPL ใบอนุญาต .
มีใช้ข้อมูลการเข้ารหัสของจักรวาลใน JSON รูปแบบต่อไปนี้พายุจักรวาล JSON schema . 6
ตัวอย่าง รายการที่ 2 แสดงรายละเอียดขององค์ประกอบการพิมพ์ภาพในรูปที่ 2 ส่วนประกอบแต่ละชนิดที่กำหนดโดย
ชื่อ ( ชื่อฟิลด์ ) และโดยหุ่นยนต์ที่อธิบายพฤติกรรมของ แต่ละรัฐจะกำหนดโดยชื่อของผู้สืบทอด
รายการ ,และรายชื่อให้ และต้องมีเอาท์พุทพอร์ต 7 ลำดับของการกระทำที่จำเป็นเพื่อใช้ในรูปแบบต้นฉบับเดิม
เป้าหมายและแผนการที่เป็นนามธรรมเป็นกราฟทิศทางในรูป 33,34 [ dot ]