9030536
Using enterprise reference models for automated ISO 9000 compliance evaluation
A computational enterprise model representing key facets of are organization care be are effective tool to consider where planning are enterprise information architecture. For example, a specific organization's quality management business processes and organizational structures can be represented using such a model, and then compared to a reference model of "good" processes and structures, such as the ISO 9000 standards. The specific and reference models can be represented using common entities, attributes, and relationships-comprising general schema or data model-which are then formally defined and constrained. These definitions and constraints can be used as inference rules applied to the models. Hence identification of differences between the models as quality problems can be automatically inferred, as can the analysis and correction of problems. In this paper; the TOTE ISO 9000 Micro-Theory is presented as a formal reference model of quality goodness. ISO 9000 requirements represented as inference rules in the micro-theory are applied to facts about an organization's quality management processes and structures, and conformance or nonconformance to requirements is automatically inferred. TOTE Ontologies for Quality Modeling are the common data and logical (formal definitions and constraints) models of the reference and specific organization's models. The example use of the micro-theory demonstrates enterprise model use for a pre-audit, which lowers the cost and time for improving quality through achieving ISO 9000 compliance. Since these enterprise models are constructed using ontologies, benefits of using ontologies such as model re-usability and sharability can be reaped.
6043201
MOQ: Web services ontologies for QoS and general quality evaluations
When describing web services, one of the obvious aspects that need representing is 'Quality of Service' (QoS), the capability of a web service to meet an acceptable level of service as per factors such as availability and accessibility. However, too much of a focus on developing functional QoS ontologies has led to an over-emphasis on representing solely QoS metrics and units of measurement. For instance, what does round trip time actually mean? Is the round trip time of every data item measured? Is it an average, or is every nth item measured? Is it the actual measure that is important or just the percentage of items that are beyond a certain range? Arguably existing QoS ontologies cannot readily answer many of these design questions because these questions have less to do with evaluating QoS and more to do with representing 'what is quality?' Therefore, there is an unmet need for web services ontologies that are designed at a higher level encompassing domain independent concepts, and generally applicable beyond QoS evaluations. The MOQ set of ontologies, designed from the premise that quality is 'conformance to requirements', aims to fill this need. Comprised of ontologies of requirement, measurement, traceability, and quality management systems, MOQ can be extended to encompass QoS metrics and measurement units or be designed to interoperate with existing QoS ontology. The use of MOQ minimises the ambiguity in QoS evaluations.
17616851
Designing Business Processes and Communication Structures for E-Business Using Ontology-Based Enterprise Models with Mathematical Models
Organizations are apprehensive about developing e-business systems because the endeavor is novel. If e-business is considered as the conduct of business using the Internet--a network of networks--then e-business systems design can be represented as a network design problem. This paper outlines an approach for analysis and design of business process and communications structure networks for e-business. Network design alternatives are generated by applying best practices and design principles to business requirements, using ontology-based enterprise models. Alternatives then are modeled mathematically for analysis and comparison. Domains relevant for e-business systems design are described, formally and systematically, using this approach. These formal descriptions are general axioms, used to logically and mathematically infer prescriptions for specific design problems. These descriptions and prescriptions are sharable and reusable. The mathematical models are developed using known algorithms, heuristics, and formulae. Therefore, fidelity of prescriptions based on these models can be objectively justified. Due to these characteristics, models developed using this technique are especially useful for developing novel e-business systems. An example application of this technique is presented, and research questions addressed using the approach are discussed.
8017153
Predicting how ontologies for the semantic web will evolve
The first phase in the evolution of the semantic Web may be the development of decentralized, adaptive ontologies for software specification.
3140924
Binary halftone image resolution increasing by decision tree learning
This paper presents a new, accurate, and efficient technique to increase the spatial resolution of binary halftone images. It makes use of a machine learning process to automatically design a zoom operator starting from pairs of input-output sample images. To accurately zoom a halftone image, a large window and large sample images are required. Unfortunately, in this case, the execution time required by most of the previous techniques may be prohibitive. The new solution overcomes this difficulty by using decision tree (DT) learning. Original DT learning is modified to obtain a more efficient technique (WZDT learning). It is useful to know, a priori , sample complexity (the number of training samples needed to obtain, with probability 1-/spl delta/, an operator with accuracy /spl epsiv/): we use the probably approximately correct (PAC) learning theory to compute the sample complexity. Since the PAC theory usually yields an overestimated sample complexity, statistical estimation is used to evaluate, a posteriori, a tight error bound. Statistical estimation is also used to choose an appropriate window and to show that DT learning has good inductive bias. The new technique is more accurate than a zooming method based on simple inverse halftoning techniques. The quality of the proposed solution is very close to the theoretical optimal obtainable quality for a neighborhood-based zooming process using the Hamming distance to quantify the error.
46189778
Knowledge-Based Modeling and Simulation of Network Access Control Mechanisms Representing Security Policies
It is quite necessary that an organization's information network should be equipped with a proper security system based on its scale and importance. One of the effective methods is to use the simulation model for deciding which security policy and mechanism is appropriate for the complex network. Our goal is to build a foundation of knowledge-based modeling and simulation environment for the network security. Within this environment, users can construct the simulation model of security mechanisms, apply various security policies, and quantitatively analyze their security performance against possible attacks. In this study, we considered security domain and implemented the models based on a systematic modeling approach. We enabled the model to include knowledge in modular fashion and provided well-defined guidelines for transforming security policy to concrete rule set.
5469426
Unraveling condition specific gene transcriptional regulatory networks in Saccharomyces cerevisiae
BackgroundGene expression and transcription factor (TF) binding data have been used to reveal gene transcriptional regulatory networks. Existing knowledge of gene regulation can be presented using gene connectivity networks. However, these composite connectivity networks do not specify the range of biological conditions of the activity of each link in the network.ResultsWe present a novel method that utilizes the expression and binding patterns of the neighboring nodes of each link in existing experimentally-based, literature-derived gene transcriptional regulatory networks and extend them in silico using TF-gene binding motifs and a compendium of large expression data from Saccharomyces cerevisiae. Using this method, we predict several hundreds of new transcriptional regulatory TF-gene links, along with experimental conditions in which known and predicted links become active. This approach unravels new links in the yeast gene transcriptional regulatory network by utilizing the known transcriptional regulatory interactions, and is particularly useful for breaking down the composite transcriptional regulatory network to condition specific networks.ConclusionOur methods can facilitate future binding experiments, as they can considerably help focus on the TFs that must be surveyed to understand gene regulation.(Supplemental material and the latest version of the MATLAB implementation of the United Signature Algorithm is available online at [1] or [see Additional files 1, 2, 3, 4, 5, 6, 7, 8, 9, 10])
14176330
System Specification Based Network Modeling for Survivability Testing Simulation
As the structure and behavior of computer network becomes complicated and unpredictable, it becomes difficult to test the survivability of network. The modeling and simulation is a widely used approach to predict the behavior of system or set of system. In this research, we apply a modeling methodology to construct the valid model of computer network focusing on its vulnerability for survivability testing. To accomplish our aim, the appropriate modeling method should be defined. Especially, we take advantage of the system specification based modeling approach to construct valid network model.
26568006
Defense Mechanism for Information and Communication Infrastructure