|
การทวนสอบการปฏิสัมพันธ์ของบีเพลสำหรับทอสกา |
|---|---|
| รหัสดีโอไอ | |
| Title | การทวนสอบการปฏิสัมพันธ์ของบีเพลสำหรับทอสกา |
| Creator | วรัญช์ เจริญสุข |
| Contributor | วิวัฒน์ วัฒนาวุฒิ |
| Publisher | จุฬาลงกรณ์มหาวิทยาลัย |
| Publication Year | 2559 |
| Keyword | คลาวด์คอมพิวติง, Cloud computing |
| Abstract | คลาวด์ออเคสเทรชันช่วยการจัดเรียงและประสานการทำงานร่วมกันของกระบวนการธุรกิจ เพื่อให้สามารถบริหารจัดการทรัพยากรและการประมวลผล ได้คล่องตัวและมีประสิทธิภาพ มาตรฐานของคลาวด์ออเคสเทรชัน จะถูกนำมาเป็นแนวทางในการพัฒนาเครื่องมือสนับสนุน และทอสกาเป็นมาตรฐานแบบเปิดสำหรับคลาวด์ที่สำคัญ ซึ่งได้ถูกแนะนำและอนุมัติโดยองค์กรโอเอซิส ทำให้จากการที่นำทอสกามาใช้จะทำให้ผู้ให้บริการคลาวด์สามารถกำหนดโครงสร้างและอธิบายการทำงานร่วมกันของบริการที่สัมพันธ์เหล่านั้นด้วยมาตรฐานกลางที่สามารถนำการออกแบบดังกล่าวไปใช้งานข้ามแพลตฟอร์มหรือโครงสร้างพื้นฐานที่ต่างกันได้ อย่างไรก็ตาม การทวนสอบการออกแบบของคลาวด์ออเคสเทรชันด้วยมาตรฐานทอสกาจึงเป็นสิ่งสำคัญ เพื่อให้แน่ใจและเตือนนักออกแบบเมื่อพบข้อผิดพลาดที่ไม่เป็นไปตามคุณสมบัติความปลอดภัย วิทยานิพนธ์นี้จึงนำเสนอทางเลือกในการทำการทวนสอบแบบจำลองเชิงรูปนัยของการออกแบบคลาวด์ออเคสเทรชัน ด้วยการทาบกระบวนการทางธุรกิจที่อธิบายด้วยบีเพล ซึ่งสื่อสารผ่านเว็บเซอร์วิส ลงบนมาตรฐานทอสกาที่อธิบายคลาวด์ออเคสเทรชัน และสร้างเป็นแบบจำลองเชิงรูปนัย นอกจากนั้นการทาบกันยังรวมถึงจุดเชื่อมต่อและความสอดคล้องกันของพฤติกรรมในระดับระบบบริการที่ประกอบด้วยส่วนงานธุรกิจที่ประสานงานกัน ในวิทยานิพนธ์เล่มนี้จะมุ่งเน้นไปที่การปฏิสัมพันธ์ของบีเพลของคลาวด์ออเคสเทรชันด้วยเครื่องมือสนับสนุนการทวนสอบ และกำหนดเงื่อนไขการทวนสอบตามรูปแบบแอลทีแอลลงในแบบจำลองเชิงรูปนัยด้วยภาษาโพเมลา เพื่อนำไปทวนสอบด้วยเครื่องมือสปิน |
| URL Website | cuir.car.chula.ac.th |
