Using Abstract State Machine in Architecture Design of Distributed Software Component Repository推荐.pdf

Using Abstract State Machine in Architecture Design of Distributed Software Component Repository* Yunjiao Xue, Leqiu Qian, Xin Peng, Yijian Wu, and Ruzhi Xu Department of Computer Science and Engineering, Fudan University, Shanghai Key Laboratory of Intelligent Information Processing, Fudan University, PO Box 200433, 220 Handan Road, Shanghai, China {yjxue, lqqian, pengxin, wuyijian, rzxu}@ Abstract. Recently many enterprises have established their own software component repositories. Because of the physical isolation to each other and independent decision on the classifying and specification mechanisms, the repositories form a distributed and heterogeneous system, hindering the reusability of component resource. Due to the infeasibility of integrating all the repositories physically, it is necessary to use a collaborative way to integrate such repositories and form a logically uniform architecture with consistent user interface and retrieval mechanism, to improve the reuse of software components. In this paper we propose an architecture of integrated system based on intelligent agent, and make use of ASM in its architecture design, which can be validated formally. This architecture implements the required fundamental functionality. 1 Introduction The increase of software components has led to a remarkable amount of enterprise repositories [1-3][5]. For sharing software components among enterprises, a high level, regional repository beyond enterprises is needed, such as a city- or country- level