Self-tuning performance of the database management system is a challenging and time-consuming work since multiple performance parameters need to be automatically *** this paper,we present a new self-tuning method base...
详细信息
ISBN:
(纸本)9781479951499
Self-tuning performance of the database management system is a challenging and time-consuming work since multiple performance parameters need to be automatically *** this paper,we present a new self-tuning method based on fuzzy *** first automatically extract Automatic Workload Repository(AWR)report from a database system,and then construct fuzzy rules by identifying the relationship among the performance parameters and performance ***,we develop an adaption algorithm to reconfigure the performance parameters with the fuzzy *** on TPC-C workload show that the proposed method is feasible and effective.
Model-based testing(MBT) is software testing in which test cases are generated in whole or in part from a model that describes specifications of the system under test(SUT). However,specifications evolution can't b...
详细信息
Model-based testing(MBT) is software testing in which test cases are generated in whole or in part from a model that describes specifications of the system under test(SUT). However,specifications evolution can't be avoided in MBT. To handle specifications evolution efficiently,this paper presents two algorithms. The first algorithm captures the evolution of specifications,automatically modifies the original Petri net model correspondingly and marks the changed part in the new Petri net model. Based on the new Petri net model,the second algorithm recognizes the test cases which can be reused,and achieves regenerated test cases to cover the marked part. The reused and the regenerated test cases compose the new test case suits.
In this paper, we present a new method to build public-key Cryptosystem. The method is based on the state explosion problem occurred in the computing of average number of tokens in the places of Stochastic Petri Net (...
详细信息
The Clock Constraint Specification Language (CCSL) is a formal polychronous language based on the notion of logical clock. It defines a set of kernel constraints that can represent both asynchronous and synchronous re...
详细信息
ISBN:
(纸本)9781479921454
The Clock Constraint Specification Language (CCSL) is a formal polychronous language based on the notion of logical clock. It defines a set of kernel constraints that can represent both asynchronous and synchronous relations. It was originally developed as part of the UML Profile for MARTE to express causal and temporal constraints of Real-time and Embedded Systems. In this paper, we explore the use of CCSL for modeling scheduling requirements and to conduct schedulability analysis. For this purpose, a dedicated scheduling library of CCSL has been built. This library is endowed with a state-based operational semantics, and is applied to solve issues related to schedulability analysis and latency-insensitive design. We establish schedulability categories and latency-insensitiveness property in the context of the semantics, and solve those issues by using model checking techniques.
This paper presents a new method to analyze system behavior. A software system is modeled by a Petri net, and then the Petri net is sliced into several parts based on T-invariant. It has been shown that the behavior o...
详细信息
Service selection is a key step in the service composition process. The selection mainly depends on the search function of UDDI. However, UDDI provides poor search facilities: It allows only a keyword based search of ...
详细信息
software system's requirements are often specified by textual use cases due to their concrete and narrative style of expression. However, textual use cases have limitation in the synthesis of behavior since they h...
详细信息
software system's requirements are often specified by textual use cases due to their concrete and narrative style of expression. However, textual use cases have limitation in the synthesis of behavior since they h...
详细信息
software system's requirements are often specified by textual use cases due to their concrete and narrative style of expression. However, textual use cases have limitation in the synthesis of behavior since they have a poor basis for the formal interpretation. Existing synthesis techniques are either largely manual or focused on the use case interactions. In this paper, we present a framework from a model-based point of view to automatically synthesize system behavior from textual use cases to Petri net model. The generated Petri net model can describe component module interactions, and can be checked with the model checking tools. We have implemented our framework and demonstrated the synthesis process via an example.
暂无评论