40461324
On the Classification of UML's Meta Model Extension Mechanism
Although the UML meta model extension mechanism has been used in many modeling fields in which extension of UML is needed, UML specification has little necessary classification and application guidance on the meta model extension mechanism. This paper defines four levels of UML’s meta model extension mechanism, and discusses the readability, expression capability, use scope and tool support on the basis of precise definitions of each level. The work on the paper reinforces the maneuverability of the UML meta model extension mechanism, and provides a reliable theoretical base for the development of modeling tools that support meta model extension.
22235359
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition
In this paper, we put forward an automatic method of acquiring the specific system composition model from a domain composition model and requirements for the specific system in domain-specific Web services composition. This is referred to as the variability consolidation problem in this paper. To achieve this goal, we designed a language to describe domain properties for Web services composition. The basis of our approach is to transform the domain composition model and the requirements for the specific system into a mathematical optimization problem, which can be solved by existing algorithms. Thus, this method is fully automatic and not prone to human errors. Our preliminary experimental results show that our method is quite feasible for solving problems with real world sizes.
6538157
Threshold Tuning for Improved Classification Association Rule Mining
One application of Association Rule Mining (ARM) is to identify Classification Association Rules (CARs) that can be used to classify future instances from the same population as the data being mined. Most CARM methods first mine the data for candidate rules, then prune these using coverage analysis of the training data. In this paper we describe a CARM algorithm that avoids the need for coverage analysis, and a technique for tuning its threshold parameters to obtain more accurate classification. We present results to show this approach can achieve better accuracy than comparable alternatives at lower cost.
19304521
Applying OO Metrics to Assess UML Meta-models
UML has been coming of age through more than seven years development, in which there are not only minor revision like from UML 1.1 to UML 1.2, but also significant improvement like final adoption of UML 2.0 submissions. However there is so far lack of an objective assessment to UML meta-models, which can be used to control and predict the evolution of the UML. In this paper we regard UML meta-models as the equivalent of Object-Oriented (OO) design models. Therefore, we can adapt OO design metrics and criteria as a method to assess UML meta-models. Our method conducts the assessment of stability and design quality to UML meta-models in versions of 1.1, 1.3, 1.4 (with Action Semantics), 1.5, and 2.0. Based on the results we analyze the evolution of the UML versions and provide the applicability suggestions to the method.
13211852
Requirements guided dynamic software clustering
In this paper, we propose a requirements guided dynamic approach to address software clustering -which aims at providing the logically meaningful and high-level decompositions of large and complex systems. In our approach, the hierarchical structure of functional requirements are constructed by a text document clustering technique named hierarchical agglomerative clustering (HAC) as a high-level skeleton to facilitate the further decomposition of source code through dynamic analysis. We also perform an experimental study based on a GNU system and present the quantitative and qualitative analysis of the experimental results.
15561253
An experimental comparison of four test suite reduction techniques
As a test suite usually contains redundancy, a subset of the test suite (representative set) may still satisfy all the test objectives. As the redundancy increases the cost of executing the test suite, many test suite reduction techniques have been brought out in spite of the NP-completeness of the general problem of finding the optimal representative set of the test suite. In the literature, some experimental studies of test suite reduction techniques have already been reported, but there are still shortcomings of the studies of these techniques. This paper presents an experimental comparison of the four typical test suite reduction techniques: heuristic H, heuristic GRE, genetic algorithm-based approach and ILP-based approach. The aim of the study is to provide a guideline for choosing the appropriate test suite reduction techniques.
8187115
Modeling location management in wireless networks with generally distributed parameters
In the wireless mobile networks, location update (LU) and paging are two basic operations in the framework of mobility management. The trade-off analysis between LU and paging is traditionally performed under the assumption that the key variables follow exponential distribution. However, recent work showed that such assumptions may be incorrect. In this paper, by introducing the concept of LU inter-arrival time and additionally relaxing the assumptions for the inter-service time, cell residence time and LU inter-arrival time, we present an analytical technique to develop the closed-form formula for the signaling cost applicable to different location management schemes. Specifically, the result is applied to the static scheme and the dynamic movement-based scheme to demonstrate the general applicability. Illustrative numerical examples are given to compare the location management scheme performance based on the cell characteristics.
21758360
WS-trustworthy: a framework for Web services centered trustworthy computing
The emerging paradigm of Web services has been gaining significant momentum in the recent years since it offers a promising way to facilitate business-to-business (B2B) collaboration. However, it is not clear that this new model of Web services provides any measurable increase in computing trustworthiness. We propose a generic framework to control the trustworthiness of computing in the domain of Web services. A layered model is established to highlight four key elements: resources, policies, validation processes, and management. The robustness of this model exhibits its flexibility and extensibility. Examples utilizing our framework are reported.
35154579
Incorporating priority scheme in IPv6 over ATM networks
An effective approach to support multiple QoS classes in IPv6 running over ATM networks is implemented by mapping the priority field of IPv6 into the ATM format. Such a scheme might not be necessary for simple congestion control in a network of equal capacity links, however, it might be important for multicasting to destinations reachable through a very diverse capacity network. When network congestion occurs, the cell loss requirements for different services can be satisfied by selectively discarding low priority cells. As the multi-priority scheme used in IPv6 is a ''differentiated service'' mechanism to enhance the QoS by best effort, its performance is certainly affected by the background traffic when these multi-priority traffic are multiplexed at the ATM level. This paper focuses on the performance with multi-priority scheme under different traffic conditions to determine the loss characteristics. The expected results are how QoS is affected and how priority can be given for more important traffic in the case of congested network.
13998980
Image annotation refinement using random walk with restarts
Image annotation plays an important role in image retrieval and management. However, the results of the state-of-the-art image annotation methods are often unsatisfactory. Therefore, it is necessary to refine the imprecise annotations obtained by existing annotation methods. In this paper, a novel approach to automatically refine the original annotations of images is proposed. On the one hand, for Web images, textual information, e.g. file name and surrounding text, is used to retrieve a set of candidate annotations. On the other hand, for non-Web images that are lack of textual information, a relevance model-based algorithm using visual information is used to decide the candidate annotations. Then, candidate annotations are re-ranked and only the top ones are reserved as the final annotations. To re-rank the annotations, an algorithm using Random Walk with Restarts (RWR) is proposed to leverage both the corpus information and the original confidence information of the annotations. Experimental results on both non-Web images of Corel dataset and Web images of photo forum sites demonstrate the effectiveness of the proposed method.
8360631
Kinetic Connectivity for Unit Disks
We describe a kinetic data structure (KDS) that maintains the connected components of the union of a set of unit-radius disks moving in the plane. We assume that the motion of each disk can be specified by a low-degree algebraic trajectory; this trajectory, however, can be modified in an on-line fashion. While the disks move continuously, their connectivity changes at discrete times. Our main result is an O(n) space data structure that takes O(log  n\slash \kern -1pt log log  n) time per connectivity query of the form ``are disks A and B in the same connected component?’’ A straightforward approach based on dynamically maintaining the overlap graph requires Ω (n2) space. Our data structure requires only linear space and must deal with O(n2 + ε) updates in the worst case, each requiring O(log 2 n) amortized time, for any ε>0 . This number of updates is close to optimal, since a set of n moving unit disks can undergo Ω (n2) connectivity changes.