基於抽象語法樹的深度複製及彈性別名之所有權系統解決 Java 表示暴露問題;AST-Based Deep Copy and Flexible Alias Ownership System Resolves Java Representation Exposure Problem

NCUIR > College of Electrical Engineering & Computer Science > Graduate Institute of Computer Science and Information Engineering > Electronic Thesis & Dissertation > Item 987654321/93160

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/93160

Title:	基於抽象語法樹的深度複製及彈性別名之所有權系統解決 Java 表示暴露問題;AST-Based Deep Copy and Flexible Alias Ownership System Resolves Java Representation Exposure Problem
Authors:	郭威;Kuo, Wei
Contributors:	資訊工程學系
Keywords:	Java;表示暴露;不變性;所有權;封裝性;設計模式;Java;Representation Exposure;Immutability;Ownership;Encapsulation;Design Pattern
Date:	2023-07-20
Issue Date:	2024-09-19 16:44:54 (UTC+8)
Publisher:	國立中央大學
Abstract:	在物件導向語言的設計模式中，封裝性佔了不少重要的部分，但於 Java 語言中使用封裝性時，卻可能會發生表示暴露 (Representation Exposure) 問題，而該問題歸咎於 Java 語言本身沒有足夠提供所有權 (Ownership) 及不變性 (Immutability) 的特性，使得外部的參考可以非預期地修改物件內部資料，進而導致封裝性遭破壞。因此本研究將提供一個擴充於 Java 上的所有權系統— SlimeJava，基於抽象語法樹建立的所有權系統，來實現深度複製及彈性別名，並透過標註 (Annotation) 來進行源對源 (Source-to-source) 轉換，協助程式設計者避免表示暴露問題發生。在提案與實作中，我們討論了該如何透過使用標註，實現所有權系統並為何能夠避免表示暴露問題發生，並在最後透過評估證明其可行性。 ;In the design patterns of object-oriented languages, encapsulation plays a significant role. However, when using encapsulation in the Java language, a problem known as "Representation Exposure" may arise. This problem can be attributed to Java′s lack of sufficient features for ownership and immutability, which allows external references to unexpectedly modify internal object data and thereby compromising encapsulation. To address this issue, this research proposes an extension for Java called "SlimeJava", which introduces an ownership system based on abstract syntax trees. SlimeJava implements deep copy and flexible alias, which utilizing annotations for source-to-source transformations to assist programmers in avoiding representation exposure. In the proposal and implementation, we discuss how to realize the ownership system through annotations and why it helps prevent representation exposure. Finally, the feasibility of the approach is demonstrated through evaluation.
Appears in Collections:	[Graduate Institute of Computer Science and Information Engineering] Electronic Thesis & Dissertation

Files in This Item:

File	Description	Size	Format
index.html		0Kb	HTML	5	View/Open

社群 sharing

Loading...