Software intelligent development has become one of the most important research trends in software engineering. In this paper, we put forward two key concepts -- intelligent development environment （IntelliDE） and so...Software intelligent development has become one of the most important research trends in software engineering. In this paper, we put forward two key concepts -- intelligent development environment （IntelliDE） and software knowledge graph -- for the first time. IntelliDE is an ecosystem in which software big data are aggregated, mined and analyzed to provide intelligent assistance in the life cycle of software development. We present its architecture and discuss its key research issues and challenges. Software knowledge graph is a software knowledge representation and management framework, which plays an important role in IntelliDE. We study its concept and introduce some concrete details and examples to show how it could be constructed and leveraged.展开更多
Complex Monge-Ampère equation is a nonlinear equation with high degree, so its solution is very difficult to get. How to get the plurisubharmonic solution of Dirichlet problem of complex Monge-Ampère equatio...Complex Monge-Ampère equation is a nonlinear equation with high degree, so its solution is very difficult to get. How to get the plurisubharmonic solution of Dirichlet problem of complex Monge-Ampère equation on the Cartan-Hartogs domain of the second type is discussed by using the analytic method in this paper. Firstly, the complex Monge-Ampère equation is reduced to a nonlinear second-order ordinary differential equation (ODE) by using quite different method. Secondly, the solution of the Dirichlet problem is given in semi-explicit formula, and under a special case the exact solution is obtained. These results may be helpful for the numerical method of Dirichlet problem of complex Monge-Ampère equation on the Cartan-Hartogs domain.展开更多
Presentation level integration now becomes an important and fast growing trend in enterprise computing Portal-based composite applications use portlet and interactive web service, which usually offers several portlets...Presentation level integration now becomes an important and fast growing trend in enterprise computing Portal-based composite applications use portlet and interactive web service, which usually offers several portlets, as their basic constituents. Hence, portlet description and discovery are the key issues that have to be considered for the development of portal-based composite applications. This paper proposes a novel concept POI （Presentation Oriented Interface） to describe the presentation features of a portlet, so that interactive web services may be extended to facilitate the selection and interoperation of portlets. Portlet discovery can be effectively achieved based on the calculation of POI similarity that considers both type and structure similarity. Experiments show that the proposed approach can improve the satisfaction of portlet discovery, and also facilitate the portlet interoperation, thereby achieving better application integration at presentation level.展开更多
An internetware application is composed by existing individual services, while transaction processing is a key mechanism to make the composition reliable. The existing research of transactional composite service （TCS...An internetware application is composed by existing individual services, while transaction processing is a key mechanism to make the composition reliable. The existing research of transactional composite service （TCS） depends on the analysis to composition structure and exception handling mechanism in order to guarantee the relaxed atomicity. However, this approach cannot handle some application-specific requirements and causes lots of unnecessary failure recoveries or even aborts. In this paper, we propose a relaxed transaction model, including system mode, relaxed atomicity criterion, static checking algorithm and dynamic enforcement algorithm. Users are able to define different relaxed atomicity constraint for different TCS according to application-specific requirements, including acceptable configurations and the preference order. The checking algorithm determines whether the constraint can be guaranteed to be satisfied. The enforcement algorithm monitors the execution and performs transaction management work according to the constraint. Compared to the existing work, our approach can handle complex application requirements, avoid unnecessary failure recoveries and perform the transaction management work automatically.展开更多
Android applications(APPS)are in widespread use and have enriched our life.To ensure the quality and security of the apps,many approaches have been proposed in recent years for detecting bugs and defects in the apps,o...Android applications(APPS)are in widespread use and have enriched our life.To ensure the quality and security of the apps,many approaches have been proposed in recent years for detecting bugs and defects in the apps,of which program analysis is a major one.This paper mainly makes an investigation of existing works on the analysis of Android apps.We summarize the purposes and proposed techniques of existing approaches,and make a taxonomy of these works,based on which we point out the trends and challenges of research in this field.From our survey,we sum up four main findings:(1)program analysis in Android security field has gained particular attention in the past years,the fields of functionality and performance should also gain proper attention;the infrastructure that supports detection of various defects should be enriched to meet the industry’s need;(2)many kinds of defects result from developers’misunderstanding or misuse of the characteristics and mechanisms in Android system,thus the works that can systematically collect and formalize Android recommendations are in demand;(3)various program analysis approaches with techniques in other fields are applied in analyzing Android apps;however,they can be improved with more precise techniques to be more applicable;(4)The fragmentation and evolution of Android system blocks the usability of existing tools,which should be taken into consideration when developing new approaches.展开更多
文摘Software intelligent development has become one of the most important research trends in software engineering. In this paper, we put forward two key concepts -- intelligent development environment （IntelliDE） and software knowledge graph -- for the first time. IntelliDE is an ecosystem in which software big data are aggregated, mined and analyzed to provide intelligent assistance in the life cycle of software development. We present its architecture and discuss its key research issues and challenges. Software knowledge graph is a software knowledge representation and management framework, which plays an important role in IntelliDE. We study its concept and introduce some concrete details and examples to show how it could be constructed and leveraged.
基金supported by the Research Foundation of Beijing Government(Grant No.YB20081002802)National Natural Science Foundation of China(Grant No.10771144)
文摘Complex Monge-Ampère equation is a nonlinear equation with high degree, so its solution is very difficult to get. How to get the plurisubharmonic solution of Dirichlet problem of complex Monge-Ampère equation on the Cartan-Hartogs domain of the second type is discussed by using the analytic method in this paper. Firstly, the complex Monge-Ampère equation is reduced to a nonlinear second-order ordinary differential equation (ODE) by using quite different method. Secondly, the solution of the Dirichlet problem is given in semi-explicit formula, and under a special case the exact solution is obtained. These results may be helpful for the numerical method of Dirichlet problem of complex Monge-Ampère equation on the Cartan-Hartogs domain.
文摘Presentation level integration now becomes an important and fast growing trend in enterprise computing Portal-based composite applications use portlet and interactive web service, which usually offers several portlets, as their basic constituents. Hence, portlet description and discovery are the key issues that have to be considered for the development of portal-based composite applications. This paper proposes a novel concept POI （Presentation Oriented Interface） to describe the presentation features of a portlet, so that interactive web services may be extended to facilitate the selection and interoperation of portlets. Portlet discovery can be effectively achieved based on the calculation of POI similarity that considers both type and structure similarity. Experiments show that the proposed approach can improve the satisfaction of portlet discovery, and also facilitate the portlet interoperation, thereby achieving better application integration at presentation level.
基金This work was supported by the Major State Basic Research Development Program of China （973 Program） （Grant No. 2002CB312005）the National Natural Science Foundation of China （Grant No. 60573126）.
文摘An internetware application is composed by existing individual services, while transaction processing is a key mechanism to make the composition reliable. The existing research of transactional composite service （TCS） depends on the analysis to composition structure and exception handling mechanism in order to guarantee the relaxed atomicity. However, this approach cannot handle some application-specific requirements and causes lots of unnecessary failure recoveries or even aborts. In this paper, we propose a relaxed transaction model, including system mode, relaxed atomicity criterion, static checking algorithm and dynamic enforcement algorithm. Users are able to define different relaxed atomicity constraint for different TCS according to application-specific requirements, including acceptable configurations and the preference order. The checking algorithm determines whether the constraint can be guaranteed to be satisfied. The enforcement algorithm monitors the execution and performs transaction management work according to the constraint. Compared to the existing work, our approach can handle complex application requirements, avoid unnecessary failure recoveries and perform the transaction management work automatically.
基金supported by the National Natural Science Foundation of China(Grant No.61672505)the National Key Basic Research(973)Program of China(2014CB340701)Key Research Program of Frontier Sciences,Chinese of Academy Sciences(QYZDJ-SSW-JSC036).
文摘Android applications(APPS)are in widespread use and have enriched our life.To ensure the quality and security of the apps,many approaches have been proposed in recent years for detecting bugs and defects in the apps,of which program analysis is a major one.This paper mainly makes an investigation of existing works on the analysis of Android apps.We summarize the purposes and proposed techniques of existing approaches,and make a taxonomy of these works,based on which we point out the trends and challenges of research in this field.From our survey,we sum up four main findings:(1)program analysis in Android security field has gained particular attention in the past years,the fields of functionality and performance should also gain proper attention;the infrastructure that supports detection of various defects should be enriched to meet the industry’s need;(2)many kinds of defects result from developers’misunderstanding or misuse of the characteristics and mechanisms in Android system,thus the works that can systematically collect and formalize Android recommendations are in demand;(3)various program analysis approaches with techniques in other fields are applied in analyzing Android apps;however,they can be improved with more precise techniques to be more applicable;(4)The fragmentation and evolution of Android system blocks the usability of existing tools,which should be taken into consideration when developing new approaches.
