检索结果-内蒙古大学图书馆

Petri nets-based method to model and analyse the self-healing web service composition

International Journal of High Performance Computing and Networking 2016年第1-2期9卷 8-18页

作者： Chen, Liqiong Xiao, Lizhong Fan, Guisheng Zhang, Huanhuan Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Department of Computer Science and Engineering East China University of Science and Technology Shanghai China

Service composition is an important means for integrating the individual web services to create new value added systems that can satisfy complex requirements. Such applications are subject to unexpected failure owing to the distributive and heterogeneous environment of web service. In this paper, we propose a Petri nets-based method to model and analyse the self-healing service composition. Aspect oriented programming is used to extract composition processes and self-healing strategy as the core and crosscutting concerns. A self-healing strategy of component and service composition is proposed, and the related operations of self-healing are abstracted as meta-objects by using reflection mechanism. Petri nets are used to construct the base layer model, meta layer model, meta-object protocol and other components, thus forming the self-healing model. The operational semantics and related theories of Petri nets help prove its effectiveness and correctness. A simulation example shows that our approach correctly describes the self-healing process of service composition, and contributes to improving the quality. Copyright © 2016 Inderscience Enterprises Ltd.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An approach to formally modeling and verifying distributed real-time embedded software

Journal of Software

引用

Journal of software 2010年第9期5卷 990-997页

作者： Chen, Liqiong Fan, Guisheng Liu, Yunxiang Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

As computer systems become increasingly internetworked, Distributed Real-time Embedded (DRE) systems has became increasingly common and important, a challenging problem faced by researchers and developers of DRE software is devising and implementing an method that can effectively analyze requirements in varying operational conditions. In this paper, a Hierarchical Distributed Realtime Embedded net (HDRE-net) is proposed as software analysis tool. The basic task, function module and communication process are modeled by using HDRE-net, thus forming the whole application through the synthesis operation of Petri net. Time Reachability Graph is adopted to analyze the correctness of HDRE-net, the basic properties of DRE software are also considered. Finally, a specific example is given to simulate the analysis process, and the results show that the method can be a good solution to analyze DRE software. © 2010 Academy Publisher.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An Influence Maximization Algorithm Based on Real-Time and De-superimposed Diffusibility 15th

An Influence Maximization Algorithm Based on Real-Time and D...

引用

15th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2019

作者： Ren, Yue Zhang, Xinyuan Xia, Liting Lin, Yongze Zhao, Yue Li, Weimin School of Computer Engineering and Technology Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9783030301453

Influence maximization is to find a small number of seed nodes in the network that maximize their influence on the network. Existing algorithms select a seed node with the greatest influence. This will inevitably have an influence on mutual coverage, which will have a more or less negative impact on the final results and reduce the performance of the algorithm. In this paper, Node Diffusibility is proposed, and it is updated in real time and eliminated the deviation caused by its overlay. On the basis of traditional calculation of node influence, more attention was paid to the influence of a node’s neighboring nodes rather than to the characteristics of the nodes themselves. The proposed algorithm was evaluated by experiments conducted on selected real data sets. Compared with the classical ranking-based algorithms, MaxDegree and PageRank, the proposed algorithm achieved better results in terms of efficiency and time complexity. © 2019, ICST Institute for computer Sciences, Social Informatics and Telecommunications Engineering.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

A location & time related web service distributed selection approach for composition

A location & time related web service distributed selection ...

引用

9th International Conference on Grid and Cloud Computing, GCC 2010

作者： Liu, Tiejiang Liu, Zhenyu Lu, Tun School of Computer Science Fudan University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9780769543130

Web service composition is one of the most important research fields in service oriented cloud computing. QoS-based composition research helps the end-users get better quality performance. Yet, most research adopts single-point access orchestration. In this paper, we introduce the factors of location and time into QoS-based composition, and propose a location & time related web service distributed selection approach for composition. As shown in the example, the same web service can get different quality performance when invoked from different location and at different time. We present two algorithms to sequence the composition's execution path and generate the concrete composition with proper quality performance. A composition distributed invoking framework is also proposed. © 2010 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A novel web service selection based on dynamic quality evaluation

A novel web service selection based on dynamic quality evalu...

引用

2009 International Conference on Computational Intelligence and software Engineering, CiSE 2009

作者： Liu, Zhenyu Liu, Tiejiang Cai, Lizhi Yang, Genxing School of Computer Science Fudan University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781424445073

This paper proposes a novel method of Web service selection for the better quality based on environment of dynamic evaluating system. The evaluating system considered the end-user for the quality of service. This QoS evaluation framework which carries out a dynamic method of acquiring the quality data in the Web service composition based on the end-user feeling of web services. The procedure of processing the quality of service is extended quality of single service to multiple factor. Considering the end-user's perception, the distribution of dynamic evaluation can greatly improve the quality of Web service and its composition, which is not just adjusted according to end-user's requirements. A novel service selected algorithm with QoS is also presented in the paper, which chooses the different composition execute path to get optimized quality. Some experiments are illustrated to demonstrate effective. ©2009 IEEE.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Research Review on Web Service Composition testing 8th

Research Review on Web Service Composition Testing

引用

8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018

作者： Du, Zhoujie Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9783030136505

Web services composition is designed to achieve a more powerful and large-grained services with organic synthesis of different Web services. In order to guarantee the quality of the Web services composition, comprehensive and adequate testing of the Web services composition is required. However, the dynamic and distributed characteristics of Web services combination make its testing technology and method have big difference with the traditional software testing and bring a large of challenges. In this paper, we summarize and analyze the definition, architecture, testing methods and testing techniques of Web service composition. In addition, we also analyze and prospect the progress of Web services combination testing. © 2019, Springer Nature Switzerland AG.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Integrating Extractive and Abstractive Models for Code Comment Generation 23

Integrating Extractive and Abstractive Models for Code Comme...

引用

23rd IEEE International Conference on software Quality, Reliability, and Security, QRS 2023

作者： Sun, Weisong Hu, Yuling Xu, Yingfei Chen, Yuchen Fang, Chunrong Nanjing University State Key Laboratory for Novel Software Technology Nanjing China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9798350319583

Code comments play an essential role in aiding developers understand and maintain source code. Current code comment generation techniques can be classified into categories: extractive methods and abstractive methods. Extractive methods use text retrieval techniques to extract important code tokens to constitute comments. Such comments contain important factual details articulated explicitly in code tokens, but are poor in naturalness. Abstractive methods usually regard code comment generation as a neural machine translation task. By leveraging powerful deep learning-based language models, abstractive methods can generate comments that resemble human writing. However, compared with natural language, programming language code is more complex. Comments generated by abstractive methods often leave out important factual details. In this paper, we propose a novel method for code comment generation by integrating extractive and abstractive models. Our extractive model is built on the Latent Semantic Analysis (LSA) model, effectively extracting important factual details in code snippets. Meanwhile, our abstractive model is built on a deep learning-based encoder-decoder model, enabling it to generate concise and human-written-like comments. We evaluate the effectiveness of our method, called ICS, by conducting extensive experiments on the CodeSearchNet dataset involving six programming languages. The results demonstrate that ICS outperforms state-of-the-art techniques in three widely used metrics: BLEU, METEOR, and ROUGE-L. Moreover, the outcomes of the human evaluation indicate that the comments generated by ICS exhibit superior naturalness and informativeness, and closely align with the provided code snippets. © 2023 IEEE.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Generating test cases using Colored Petri Net

Generating test cases using Colored Petri Net

引用

2nd International Symposium on Information Engineering and Electronic Commerce, IEEC2010

作者： Cai, Lizhi Zhang, Juan Liu, Zhenyu Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China

ISBN: (纸本)9781424469741

A Petri Net is a graphical and mathematical modeling approach used to describe the transition of states for an information system. This paper presents a novel technique to generating test cases using a Colored Petri Net (CPN) model. The state space of a model based on CPN provides a solid basis for test cases generation in a form that can be easily manipulated. This technique is based on three testing coverage criteria according to the state space. The advantage of this approach is that the correctness of the specification based on CPN can be validated by simulation tools and the state space can be also generated by state space tools. The case for vending machine illustrates the effectiveness of this method. © 2010 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

LTL model checking probabilistic Petri net system

引用

International Journal of Advancements in Computing Technology 2012年第1期4卷 172-178页

作者： Liu, Yang Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200072 China School of Information Science and Technology Taishan University Taian Shandong 271021 China

Nonfunctional property verification is becoming more and more important to computer system. In recent decades, in order to describe not only the system function but also the system performance, researchers in the area of formal methods try to extend Petri net for modelling computer system, and the verification problem becomes the quantitative verification from the qualitative verification. In this paper, we define the reachability graph and present the solution algorithm to reachability graph;then we put forward an algorithm for linear-time temporal logic model checking probabilistic Petri net system;for demonstrating the effectiveness of this algorithm, we run an example in the modelling an verification tool which we developed.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Comparison of query languages for semantic database models 2018

Comparison of query languages for semantic database models

引用

2018 International Conference on Computing and Data Engineering, ICCDE 2018

作者： Thiam, Ablaye Xu, Dong Miao, Huaikou Niu, Zhihua School of Computer Engineering and Science Shanghai University Shanghai200444 China Shanghai Key Laboratory of Computer Software Evaluating and Testing China

ISBN: (纸本)9781450363938

A basic model of data illustrates the logical structure of a database including the relations and the constraints which determine how the data is stored and its accessibility. Individual database models are based upon the rules and concepts of a broader data model adopted by designer. Most data models can be represented with basic tables and diagrams. This paper will address the data model semantic and their interaction with Query languages. It will also discuss the general methods for implementing data models and data concepts, as they are applied to a wide range of semantic data models. © 2018 Association for Computing Machinery.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：