This paper presents an object-orien

This paper presents an object-oriented, Java-like core language with primitives for distributed programming and explicit code mobility. We apply our formulation to prove the correctness of several optimisations for distributed programs. Our language captures crucial but often hidden aspects of distributed object-oriented programming, including object serialisation, dynamic class downloading and remote method invocation. It is defined in terms of an operational semantics that concisely models the behaviour of distributed programs using machinery from calculi of mobile processes. Type safety is established using invariant properties for distributed runtime configurations. We argue that primitives for explicit code mobility offer a programmer fine-grained control of type-safe code distribution, which is crucial for improving the performance and safety of distributed object-oriented applications.

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

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

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

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

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

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