วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2559

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