การศึกษาความหมายของ proceed

ตอนนี้ผมพยายามที่จะศึกษา formal definition ของภาษา AOP โดยใช้ภาษา MiniMAO ของ Clifton และ Leavens เป็นเครื่องมือช่วย MiniMAO0 เป็น base language (ภาษาฐาน) มีข้อดีคือเป็น calculus ขนาดเล็กสุดที่ใช้อธิบายภาษาเชิงวัตถุได้ โดยลดรูปลงมาจาก Java ในแง่มุมเดียวกับ FGJ แต่ MiniMAO0 มีจุดพิเศษเพราะแยกความหมาย (semantics) ของ call และ execution ออกจากกัน เพื่อให้สะท้อนความหมายของ join point ให้ได้ดีขึ้นกว่าภาษาอื่น ๆ เช่น FGJ เป็นต้น

เป้าหมายก็คือทำความเข้าใจความหมายของ proceed ผ่านทาง MiniMAO1 ซึ่งเป็นส่วนขยายภาษาเชิงลักษณะของ MiniMAO0 แล้วนิยามความหมายของ parproceed เพื่อการทำงานเชิงขนาน

สำหรับผู้สนใจผมอธิบายแนวคิดของ parproceed เบื้องต้นไว้ใน paper ของ VMIL workshop ปี 2007 ชื่อ A Distributed Dynamic Aspect Machine for Scientific Software Development