the proceedings contain 248 papers. the topics discussed include: the role-oriented process modeling language;a novel detection approach for statement clones;a real-time model of railway interlocking system based on U...
ISBN:
(纸本)9781467349970
the proceedings contain 248 papers. the topics discussed include: the role-oriented process modeling language;a novel detection approach for statement clones;a real-time model of railway interlocking system based on UML extension mechanism;analysis and design on information management system for auto-part container leasing platform;data mining software design for wind farms;configurable communication middleware model and implementation for industrial network servicesoftware;a fast spatial partition method in bounding volume hierarchy;towards set-oriented recursive XML query in pattern-based logic views;rule based clinical decision support system for hematological disorder;HTML5 visual composition of rest-like web services;spam detection in social bookmarking websites;RNM based decentralized architecture of cross organizational workflow management system for egovernment;and service portfolio optimization algorithm based on value model and graph theory in SOA.
Given the emergence of big data and Network technologies, it is difficult for traditional Network equipment and service capabilities to meet people's needs. the Network function Virtualization (Network function vi...
详细信息
ISBN:
(数字)9798331533113
ISBN:
(纸本)9798331533120
Given the emergence of big data and Network technologies, it is difficult for traditional Network equipment and service capabilities to meet people's needs. the Network function Virtualization (Network function virtualization) decoupled the hardware and software from the virtualization of other services, thus reducing the cost of hardware and operation and maintenance and increasing the flexibility of services. In the environment of NFV, the network becomes extremely complex, and the hierarchical decoupling of network elements brings great challenges to fault detection and location. To solve this problem, this paper studies the fault diagnosis of NFV. Based on the research status of fault diagnosis, the network architecture, fault detection and location in the NFV environment were analyzed in detail, and the fault detection and location were studied by combining neural network, adaptive diagnosis, multi-layer network structure, Bayesian probability and other fault diagnosis methods. Finally, the future research direction of fault diagnosis is put forward, and the author thinks that multi-fault detection, rapid fault location and detection, and effective fault prediction algorithm will be the future research direction.
How to generate better service to satisfy the requirement of the application by reusing and assembling the already existing Web service has become the focus of the SOA research. In this paper, introduces the related c...
详细信息
ISBN:
(纸本)9781479932795
How to generate better service to satisfy the requirement of the application by reusing and assembling the already existing Web service has become the focus of the SOA research. In this paper, introduces the related concepts of Web service composition, and it analyzes the current main methods of Web service composition. In addition, it puts forward asynchronous pipeline Web service composition method, and elaborates its concrete implementation in great detail.
the procedure to create a basic application by Creator and Vega is introduced. A simulation system for marine environment is realized base on Creator and Vega. And the key technologies are discussed. the result sugges...
详细信息
ISBN:
(纸本)9781479932795
the procedure to create a basic application by Creator and Vega is introduced. A simulation system for marine environment is realized base on Creator and Vega. And the key technologies are discussed. the result suggests that the marine environment simulation system based on Creator/Vega is effective.
software systems are important components for the deployment and operation of large-scale critical systems, such as nuclear plants and aerospace shuttles. the very high reliability is critically required. Due to the v...
详细信息
ISBN:
(纸本)9781479932795
software systems are important components for the deployment and operation of large-scale critical systems, such as nuclear plants and aerospace shuttles. the very high reliability is critically required. Due to the very large scale and computational complexity, however, there are some inherent challenges for conducting extensive testing. In this paper, we define such challenges in the testing scope of large-scale critical software. the paper presents the testing workflows and coverage, the mechanism of random testing, followed by the automated testing framework. We then present the implementing details of the automated testing platform ATLAS.
this paper presents a requirements engineering framework SoF(Stakeholder-oriented goal-modeling Framework) based on RWS goal methods and KAOS modeling methods. this framework provides a consistent guide for requiremen...
详细信息
ISBN:
(纸本)9781479932795
this paper presents a requirements engineering framework SoF(Stakeholder-oriented goal-modeling Framework) based on RWS goal methods and KAOS modeling methods. this framework provides a consistent guide for requirements acquisition, requirements analysis and requirements validation, the three phases of requirements development. In the phase of requirements acquisition, SoF adopts structured text in nature language to generate a goal model from interview results. It is applied in the development of a management information system called SDMS for a technology department of a software company.
this paper describes the path-based symbolic execution of programs in order to solve the "path-storm" problem in traditional symbolic execution. Instead of using execution tree, execution digraph is used, an...
详细信息
ISBN:
(纸本)9781479932795
this paper describes the path-based symbolic execution of programs in order to solve the "path-storm" problem in traditional symbolic execution. Instead of using execution tree, execution digraph is used, and the program execution is simplified by clustering the execution of loops, and decrease the paths generated from the execution of loops by classifying the constraints. the verification and analysis of path-based symbolic execution algorithm are included.
the aim of Requirements engineering (RE) is to create successful projects that meet the requirements of the clients. Requirements elicitation is the step of RE that deals with extracting and collecting these requireme...
详细信息
ISBN:
(纸本)9781479932795
the aim of Requirements engineering (RE) is to create successful projects that meet the requirements of the clients. Requirements elicitation is the step of RE that deals with extracting and collecting these requirements. Elicitation techniques suffer from time costs, sustainable recording of requirements and poor requirement quality in general. In this paper, a tool for requirements elicitation is proposed that is aimed at nonengineer stakeholders to increase their involvement, remedy associated time constraints, provide a recording environment, and to improve the overall quality of requirements. the proposed tool will rely on Requirements Interchange Format (ReqIF) for record-keeping and a user-friendly online interface.
Embedded software functionality and complexity have increased in such a way that the software has become a critical component in manned spacecraft. the long duration of the mission, the characteristics of the mission ...
详细信息
ISBN:
(纸本)9781479932795
Embedded software functionality and complexity have increased in such a way that the software has become a critical component in manned spacecraft. the long duration of the mission, the characteristics of the mission to an unknown environment, calling for maximum operational flexibility and reducing the duration and cost in on-board software development, have made it vitally important for manned spacecraft to have the ability to upgrade code after launch. this paper presents the requirements for software maintenance, and proposes some design details including the software architecture, the maintenance levels, the maintenance modes and some implementation methods.
According to the fact that the decision-making of surface vessels is more and more complicated, based on the military process of decision-making of surface vessels, using soft engineering, from the view of system scie...
详细信息
ISBN:
(纸本)9781479932795
According to the fact that the decision-making of surface vessels is more and more complicated, based on the military process of decision-making of surface vessels, using soft engineering, from the view of system science, this article expounds the complexity of the command architecture and decision-making of surface vessels, then analyzes the process of consultation decision, at last, it establishes the architecture of shipboard decision-making model based on the distributed consultation decision,. It is very useful not only for furthering the theoretical system of shipboard decision-making, but also for the research on warfare software.
暂无评论