829 research outputs found
Deploying ontologies in software design
In this thesis we will be concerned with the relation between ontologies and software
design. Ontologies are studied in the artificial intelligence community as a means to
explicitly represent standardised domain knowledge in order to enable knowledge shar¬
ing and reuse. We deploy ontologies in software design with emphasis on a traditional
software engineering theme: error detection. In particular, we identify a type of error
that is often difficult to detect: conceptual errors. These are related to the description
of the domain whom which the system will operate. They require subjective knowledge
about correct forms of domain description to detect them. Ontologies provide these
forms of domain description and we are interested in applying them and verify their
correctness(chapter 1). After presenting an in depth analysis of the field of ontologies
and software testing as conceived and implemented by the software engineering and
artificial intelligence communities(chapter 2), we discuss an approach which enabled
us to deploy ontologies in the early phases of software development (i.e., specifications)
in order to detect conceptual errors (chapter 3). This is based on the provision of ontological axioms which are used to verify conformance of specification constructs to
the underpinning ontology. To facilitate the integration of ontology with applications
that adopt it we developed an architecture and built tools to implement this form of
conceptual error check(chapter 4). We apply and evaluate the architecture in a variety
of contexts to identify potential uses (chapter 5). An implication of this method for de¬
ploying ontologies to reason about the correctness of applications is to raise our trust
in the given ontologies. However, when the ontologies themselves are erroneous we
might fail to reveal pernicious discrepancies. To cope with this problem we extended
the architecture to a multi-layer form(chapter 4) which gives us the ability to check the
ontologies themselves for correctness. We apply this multi-layer architecture to cap¬
ture errors found in a complex ontologies lattice(chapter 6). We further elaborate on
the weaknesses in ontology evaluation methods and employ a technique stemming from
software engineering, that of experience management, to facilitate ontology testing and
deployment(chapter 7). The work presented in this thesis aims to improve practice in
ontology use and identify areas to which ontologies could be of benefits other than the
advocated ones of knowledge sharing and reuse(chapter 8)
DNET: A communications facility for distributed heterogeneous computing
This document describes DNET, a heterogeneous data communications networking facility. DNET allows programs operating on hosts on dissimilar networks to communicate with one another without concern for computer hardware, network protocol, or operating system differences. The overall DNET network is defined as the collection of host machines/networks on which the DNET software is operating. Each underlying network is considered a DNET 'domain'. Data communications service is provided between any two processes on any two hosts on any of the networks (domains) that may be reached via DNET. DNET provides protocol transparent, reliable, streaming data transmission between hosts (restricted, initially to DECnet and TCP/IP networks). DNET also provides variable length datagram service with optional return receipts
Plethora : a framework for the intelligent control of robotic assembly systems
Plethora : a framework for the intelligent control of robotic assembly system
Management And Security Of Multi-Cloud Applications
Single cloud management platform technology has reached maturity and is quite successful in information technology applications. Enterprises and application service providers are increasingly adopting a multi-cloud strategy to reduce the risk of cloud service provider lock-in and cloud blackouts and, at the same time, get the benefits like competitive pricing, the flexibility of resource provisioning and better points of presence. Another class of applications that are getting cloud service providers increasingly interested in is the carriers\u27 virtualized network services. However, virtualized carrier services require high levels of availability and performance and impose stringent requirements on cloud services. They necessitate the use of multi-cloud management and innovative techniques for placement and performance management. We consider two classes of distributed applications – the virtual network services and the next generation of healthcare – that would benefit immensely from deployment over multiple clouds. This thesis deals with the design and development of new processes and algorithms to enable these classes of applications. We have evolved a method for optimization of multi-cloud platforms that will pave the way for obtaining optimized placement for both classes of services. The approach that we have followed for placement itself is predictive cost optimized latency controlled virtual resource placement for both types of applications. To improve the availability of virtual network services, we have made innovative use of the machine and deep learning for developing a framework for fault detection and localization. Finally, to secure patient data flowing through the wide expanse of sensors, cloud hierarchy, virtualized network, and visualization domain, we have evolved hierarchical autoencoder models for data in motion between the IoT domain and the multi-cloud domain and within the multi-cloud hierarchy
Proceedings of Monterey Workshop 2001 Engineering Automation for Sofware Intensive System Integration
The 2001 Monterey Workshop on Engineering Automation for Software Intensive System Integration was sponsored by the Office of Naval Research, Air Force Office of Scientific Research, Army Research Office and the Defense Advance Research Projects Agency. It is our pleasure to thank the workshop advisory and sponsors for their vision of a principled engineering solution for software and for their many-year tireless effort in supporting a series of workshops to bring everyone together.This workshop is the 8 in a series of International workshops. The workshop was held in Monterey Beach Hotel, Monterey, California during June 18-22, 2001. The general theme of the workshop has been to present and discuss research works that aims at increasing the practical impact of formal methods for software and systems engineering. The particular focus of this workshop was "Engineering Automation for Software Intensive System Integration". Previous workshops have been focused on issues including, "Real-time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", "Requirements Targeting Software" and "Modeling Software System Structures in a fastly moving scenario".Office of Naval ResearchAir Force Office of Scientific Research Army Research OfficeDefense Advanced Research Projects AgencyApproved for public release, distribution unlimite
Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design
The goal of this workshop is to identify different architectural approaches to building domain-specific software design systems and to explore issues unique to domain-specific (vs. general-purpose) software design. Some general issues that cut across the particular software design domain include: (1) knowledge representation, acquisition, and maintenance; (2) specialized software design techniques; and (3) user interaction and user interface
- …