吕建
主要研究方向为软件形式化与自动化、面向对象方法与技术、软件agent技术及其应用和Internetware方法学与平台。
个性化签名
- 姓名:吕建
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机软件
- 研究兴趣:主要研究方向为软件形式化与自动化、面向对象方法与技术、软件agent技术及其应用和Internetware方法学与平台。
暂无
-
主页访问
2071
-
关注数
0
-
成果阅读
421
-
成果数
10
【期刊论文】A STATE-SPACE BASED APPROACH TO DESIGN OF HYBRID SYSTEM AND ITS LOGIC BASIS*
吕建, LU Jian, , YANG Da-jun, and YANG Zhen-yu
Chinese Journal of Advanced Software Research, Vol. 5, No.4, 1998, pp. 296-303.,-0001,():
-1年11月30日
This paper applies the principle of stepwise refinement to the design and analysis of hybrid control systems and proposes a state-space based method for design of control laws and synthesis of corresponding decision-maker. Hoare logic is extended as logical basis of this method As a result, the correctness of design procedure can be verified in some sense.
Hybrid System State-Space,, Partition,, Control Refinement.,
-
51浏览
-
0点赞
-
0收藏
-
0分享
-
70下载
-
0评论
-
引用
【期刊论文】A mobile-agent-based approach to software coordination in the HOOPE system
吕建, MA Xiaoxing, LU Jian, TAO Xianping, LI Yingjun & HU Hao
SCIENCE IN CHINA (Series F) Vol. 45 No.3 June 2002,-0001,():
-1年11月30日
Software coordination is central to the construction of large-scale high-performance distributed applications with software services scattered over the decentralized Internet. In this paper, a new mobile-agent-based architecture is proposed for the utilization and coordination of geographically distributed computing resources. Under this architecture, a user application is built with a set of software agents that can travel across the network autonomously. These agents utilize the distributed resources and coordinate with each other to complete their task. This approach' s advantages include the natural expression and flexible deployment of the coordination logic, the dynamic adaptation to the network environment and the potential of better application performance. This coordination architecture, together with an object-oriented hierarchical parallel application framework and a graphical applicationconstruction tool, is implemented in the HOOPE environment, which provides a systematic support for the development and execution of Internet-based distributed and parallel applications in the petroleum exploration industry.
mobile agent,, software coordination,, Internet computing.,
-
33浏览
-
0点赞
-
0收藏
-
0分享
-
112下载
-
0评论
-
引用
【期刊论文】Sound and complete rules for data reification*
吕建, LU Jian
SCIENCE IN CHINA (Series E) Vol. 40 No.4 August 1997,-0001,():
-1年11月30日
The sound and complete rules for data reification in the algebraic framework are discussed. Based on these rules, the retrieve function approach in VDM is extended and the biased model and non-determinacy can be treat-ed in some sense.
data reification,, VDM,, simulation.,
-
28浏览
-
0点赞
-
0收藏
-
0分享
-
72下载
-
0评论
-
引用
【期刊论文】Introducing Data Decomposition into VDM for Tractable Development of Programs
吕建, Jian Lu
ACM SIGPLAN Notices. Volume 30, No.9 September 1995,-0001,():
-1年11月30日
Formal program development by V'DM comprises not only data rcifications from abstract model to concrete model but also suitable operation decompositions. Usually, these two kinds of development steps are done independently with the order of"operation decompositions after data reifications". Furthermore, data reifications and operation decompositions are based on the whole model because no model, split is allowed. If, however, larger specifications are aimed at, it is very important to provide support for model split and suitably interweave it with data reification and operation decomposition. In this paper, we introduce a new concept-data decomposition which is based on the ideas of model split, modularisation and operation decomposition, and combine it with VDM to form a more general formal development method DD-VDM. As a result, a more flexible development strategy can be adopted and the development complexity can be cffectively controlled.
-
43浏览
-
0点赞
-
0收藏
-
0分享
-
87下载
-
0评论
-
引用
【期刊论文】Mailbox-Based Scheme for Mobile Agent Communications
吕建, Jiannong Cao, Xinyu Feng and Jian Lu, Sajal K. Das
,-0001,():
-1年11月30日
The authors present a flexible and adaptive scheme that associates each mobile agent with a mailbox but lets them decouple. Their 3D model provides a basis for evaluating existing communication protocols and allows for the design of new ones to meet various application requirements.
-
23浏览
-
0点赞
-
0收藏
-
0分享
-
116下载
-
0评论
-
引用
【期刊论文】An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems*
吕建, Xinyu Feng, Jiannong Cao, Jian L
G.P.Picco (Ed.): MA 2001, LNCS 2240, pp. 135-151, 2001.,-0001,():
-1年11月30日
Agent mobility presents challenges to the design of efficient message transport protocols for mobile agent communications. A practical mobile agent communication protocol should provide location transparency to the programmer and thus need to keep track of the movement of an agent. In addition, because of the asynchronous nature of message passing and agent migration, how to guarantee the delivery of messages to highly mobile agents is still an active research topic in mobile agent systems. In this paper we propose an efficient mailbox-based algorithm for inter-mobile agent communications. The algorithm decentralizes the role of the origin (home) host in locating an agent. Furthermore, by separating the mailbox from its owner agent, the algorithm can be made adaptive and is efficient in terms of location updating and message delivery. In the cases that mobile agents migrate frequently but seldom communicate, our algorithm turns out to be preferable.
-
44浏览
-
0点赞
-
0收藏
-
0分享
-
60下载
-
0评论
-
引用
【期刊论文】Developing parallel object-oriented programs in the framework of VDM*
吕建, Lu Jian
Annals of Software Engineering 2(1996)199-211,-0001,():
-1年11月30日
After surveying the rely-guarantee and some related approaches to extending VDM to develop parallel programs, two main problems are found. One problem is that all explorations of parallelism are done in the stage of operation decomposition or afterwards so that the degree of parallelism is restricted. Another problem is that the atomicity is fixed at one level and the development complexity can not be controlled effectively because there is no natural means to let the level of granularity be under flexible control of the designer. In order to solve these two problems, we introduce a new concept-data decomposition which is based on the ideas of model split, modularisation and operation decomposition, and combine it with VDM to form a more general formal development method DD-VDM, in which some kind of operation decompositions, i.e., operation split can be done before some data reifications. Then a nested parallel object-oriented structure is proposed. Combining these ideas into the unified framework, this paper presents a hierarchical object-oriented design methodology in which two kinds of parallelism, that is, internal parallelism and service parallelism, can be exploited gradually and a kind of virtual atomicity is provided.
-
59浏览
-
0点赞
-
0收藏
-
0分享
-
46下载
-
0评论
-
引用
【期刊论文】Verification of HOS Software Specification by a Hierarchical Software Understanding Approach
吕建, Jian Lu and Zongming Fei
J. SYSTEMS SOFTWARE 1996; 32: 135-142,-0001,():
-1年11月30日
HOS (higher order software) methodology is very useful in the development of reliable software. However, for lack of an explicit and formal functional specification facility, HOS methodology, by its very nature, can only make the interface of HOS specification consistent and does not support any form of semantic verification. In this article, the formal functional specification mechanism based on the first-order prediate calculus is introduced, and semantic synthesis rules concerning HOS's primitive control structures OR, IN-CLUDE, and JOIN and cocontrol structures COOR, CO JOIN, and COINCLUDE are given. Based on these semanic rules, a bottom-up hierarchical understanding method for HOS specification is presented, and its application to the verification of HOS specification is also discussed.
-
42浏览
-
0点赞
-
0收藏
-
0分享
-
41下载
-
0评论
-
引用
【期刊论文】A two-layered-class approach for the reuse of synchronization code
吕建, Jian Lu, Ming Zhang*, Mengqiao Xu, Dajun Yang
Information and Software Technology 43(2001)287-294,-0001,():
-1年11月30日
In concurrent object-oriented languages, the inheritance anomaly is an important and difficult problem which makes synchronization code difficult to reuse. Based on the two-layered-class model, this paper proposes a new approach to provide-exible and sufficient support for the reuse of synchronization code.
Concurrent object-oriented language, Inheritance anomaly, Synchronization code
-
33浏览
-
0点赞
-
0收藏
-
0分享
-
55下载
-
0评论
-
引用
【期刊论文】A Hierarchical Framework for Parallel Seismic Applications
吕建, Lu Jian, Li Yingjun, Ma Xiaoxing, Cai Min, Tao Xianping, Zhang Guanqun, and Liu Jianzhong
COMMUNICATIONS OF THE ACM October 2000/Vol. 43, No.10,-0001,():
-1年11月30日
-
65浏览
-
0点赞
-
0收藏
-
0分享
-
70下载
-
0评论
-
引用