189947
Evaluating Service Identification with Design Metrics on Business Process Decomposition
One of the key activities to construct a successful Service-Oriented Architecture (SOA) is the identification of services with the right level of abstraction. Most of existing SOA design methodologies advocate identifying services from the top-down decomposition of business processes. However, the identification quality in these methodologies heavily depends on the expertise and experience of individual designers. The ability to quantitatively evaluate service identification is absolutely needed. In this paper, we propose an approach that supports such evaluation by applying the measurement technology to the service-based business process decomposition. A model to capture related architectural elements with their relationships is presented. A set of design metrics are proposed for measuring various features of identified services in the service portfolio, including service granularity, coupling, cohesion, and business entity convergence. To apply the approach, a prototypical measurement tool for service identification is developed. An automotive work order scenario is used as an illustration example to explain our approach and demonstrate its effectiveness.
12111515
Algorithm of integrating QFD and TRIZ for the innovative design process
TRIZ, the Russian acronym of the Theory of Inventive Problem Solving, is a useful tool that can solve the problem of "how to do" effectively in the innovative design process, while QFD (Quality Function Deployment) is able to settle the problem of "what to do". Although the potential of using both QFD and TRIZ in the product design process is huge, there are little tools to integrate these two methods effectively. In this research, we describe an algorithm that can integrate QFD and TRIZ effectively for the purpose of the innovative design process. The core of the algorithm is to identify the contradictions in TRIZ by defining rules based on HOQ (House of Quality) in QFD. A software tool called TRIZmatrix is developed based on this algorithm. Application of the algorithm to the case of the airbag problem is studied in detail. The software application and the case study show the advantage of this algorithm for CAI (computer aided innovation) software development.
10702245
A wireless LAN-based indoor positioning technology
Context-aware computing is an emerging computing paradigm that can provide new or improved services by exploiting user context information. In this paper, we present a wireless-local-area-network-based (WLAN-based) indoor positioning technology. The wireless device deploys a position-determination model to gather location information from collected WLAN signals. A model-based signal distribution training scheme is proposed to trade off the accuracy of signal distribution and training workload. A tracking-assistant positioning algorithm is presented to employ knowledge of the area topology to assist the procedure of position determination. We have set up a positioning system at the IBM China Research Laboratory. Our experimental results indicate an accuracy of 2 m with a 90% probability for static devices and, for moving (walking) devices, an accuracy of 5 m with a 90% probability. Moreover, the complexity of the training procedure is greatly reduced compared with other positioning algorithms.
8395605
FLTL-MC: Online High Level Program Analysis for Web Services
Although Java- or .NET- centric technologies are the most commonly used in Web services, they are by no means the only ones in practice. This paper proposes an online finite model checking tool FLTL-MC to check the high level safety and liveness properties in complex distributed web service systems, which can offer both a richer and more natural way to search errors. Liveness properties can specify desirable system behaviors which must be satisfied eventually, but are not always satisfied. Existing software model checkers cannot verify liveness in real code because doing so requires finding an infinite execution that does not satisfy aliveness property. In our proposed model, we adopt the finite linear temporal logic to specify the semantics of the online model checking, use binary instrumentation to obtain the distribute states and apply the FLTL-MC engine to dynamically verify the finite linear temporal logic properties in Web service systems. At last, we investigate the well-known distributed protocol WS-Reliable Messaging to demonstrate its applications and detect some hidden bugs with our prototype system.
15246145
A comprehensive semantic-based resource allocation framework for workflow management systems
Resource allocation that targets to assign the appropriate resource to the dynamically generated work item has always been a critical issue in the workflow management system research. However, today's workflow systems almost still depend on the static literal-based matchmaking mechanism to support the resource allocation, which would suffer greatly from the diversity and mutability of resources in current open and dynamic network environment. In this paper, we propose a comprehensive semantic-based resource allocation framework to enhance the matchmaking process. The essential contributions of this framework are: firstly, an OWL ontology is provided to describe available resources based on their semantic information. Secondly, based on the ontology, effective semantic reasoning techniques are used to select the eligible resource candidates. Thirdly, a bidding approach is adopted to further optimize the resource selection according to runtime conditions such as duration, cost and etc., which would typically overcome the inaccurate assignment based on pure static information in previous study.
13862518
Low Cost Mechanism for QoS-Aware Re-Planning of Composite Service
To meet the business and user requirements, it is crucial to manage the Quality of Service (QoS) of composite web service. Due to the dynamics nature of the web services, the runtime behavior of web services is likely to differ from the initial estimated one. Therefore, a re-planning to adapt the composite service to the QoS violated services, ensuring the global constraints and preferences will be needed. In this paper, we propose a low cost mechanism for re-planning. Such mechanism is supported by an offline re-planning execution environment and a performance prediction based low cost policy.The experimentations show better performance of the mechanism.
38679232
Short Definitions of the Ordinals
In this paper, a simple inductive characterization of the ordinal numbers is stated and developed. The characterization forms the basis for a set of axioms for ordinal theory and also for several short explicit definitions of the ordinals. The axioms are shown to be sufficient for ordinal theory, and, subject to suitable existence assumptions, each of the definitions is shown to imply the axioms. The present results apply to the familiar von Neumann version of the ordinals, but the methods used are easily adapted to other versions. ? 1. Axioms for ordinal theory. According to the usual interpretation, each ordinal is the set of all lesser ordinals. Thus zero is the empty set A, a successor ordinal x' is x U {x} for some ordinal x, and a limit ordinal is a set w of ordinals that is equal to its own sum set Zw. In fact, the class On of all ordinals might be characterized informally as the smallest class Z such that (1) AEZ, (2) (y) (yEZ D y'EZ), and (3) (w) (1w = w c Z D wEZ). More simply, On can be characterized as the smallest Z such that
17568245
Security metrics for software systems
Security metrics for software products provide quantitative measurement for the degree of trustworthiness for software systems. This paper proposes a new approach to define software security metrics based on vulnerabilities included in the software systems and their impacts on software quality. We use the Common Vulnerabilities and Exposures (CVE), an industry standard for vulnerability and exposure names, and the Common Vulnerability Scoring System (CVSS), a vulnerability scoring system designed to provide an open and standardized method for rating software vulnerabilities, in our metric definition and calculation. Examples are provided in the paper, which show that our definition of security metrics is consistent with the common practice and real-world experience about software quality in trustworthiness.
20063786
Implementation of a graphics design framework on the Web
We propose a client-server graphics design framework and implement a room design system using CORBA. We have integrated technologies used in distributed computation (Java and CORBA) and computer graphics (VRML). To support multiuser collaborative design, we propose a supplier-consumer communication approach and implement it using the event service in CORBA. Our system can be applied in electronic commerce to improve the existing systems by allowing customers to select furniture and to visualize the whole furnished room in 3D.
45158244
Discovering pattern-based subspace clusters by pattern tree
Traditional clustering models based on distance similarity are not always effective in capturing correlation among data objects, while pattern-based clustering can do well in identifying correlation hidden among data objects. However, the state-of-the-art pattern-based clustering methods are inefficient and provide no metric to measure the clustering quality. This paper presents a new pattern-based subspace clustering method, which can tackle the problems mentioned above. Observing the analogy between mining frequent itemsets and discovering subspace clusters, we apply pattern tree - a structure used in frequent itemsets mining to determining the target subspaces by scanning the database once, which can be done efficiently in large datasets. Furthermore, we introduce a general clustering quality evaluation model to guide the identifying of meaningful clusters. The proposed new method enables the users to set flexibly proper quality-control parameters to meet different needs. Experimental results on synthetic and real datasets show that our method outperforms the existing methods in both efficiency and effectiveness.
30738286
The algorithms for dynamic scheduling