16,674 research outputs found
Building an Expert System for Evaluation of Commercial Cloud Services
Commercial Cloud services have been increasingly supplied to customers in
industry. To facilitate customers' decision makings like cost-benefit analysis
or Cloud provider selection, evaluation of those Cloud services are becoming
more and more crucial. However, compared with evaluation of traditional
computing systems, more challenges will inevitably appear when evaluating
rapidly-changing and user-uncontrollable commercial Cloud services. This paper
proposes an expert system for Cloud evaluation that addresses emerging
evaluation challenges in the context of Cloud Computing. Based on the knowledge
and data accumulated by exploring the existing evaluation work, this expert
system has been conceptually validated to be able to give suggestions and
guidelines for implementing new evaluation experiments. As such, users can
conveniently obtain evaluation experiences by using this expert system, which
is essentially able to make existing efforts in Cloud services evaluation
reusable and sustainable.Comment: 8 page, Proceedings of the 2012 International Conference on Cloud and
Service Computing (CSC 2012), pp. 168-175, Shanghai, China, November 22-24,
201
Interface groups and financial transfer architectures
Analytic execution architectures have been proposed by the same authors as a
means to conceptualize the cooperation between heterogeneous collectives of
components such as programs, threads, states and services. Interface groups
have been proposed as a means to formalize interface information concerning
analytic execution architectures. These concepts are adapted to organization
architectures with a focus on financial transfers. Interface groups (and
monoids) now provide a technique to combine interface elements into interfaces
with the flexibility to distinguish between directions of flow dependent on
entity naming.
The main principle exploiting interface groups is that when composing a
closed system of a collection of interacting components, the sum of their
interfaces must vanish in the interface group modulo reflection. This certainly
matters for financial transfer interfaces.
As an example of this, we specify an interface group and within it some
specific interfaces concerning the financial transfer architecture for a part
of our local academic organization.
Financial transfer interface groups arise as a special case of more general
service architecture interfaces.Comment: 22 page
Spectroscopic Analysis in the Virtual Observatory Environment with SPLAT-VO
SPLAT-VO is a powerful graphical tool for displaying, comparing, modifying
and analyzing astronomical spectra, as well as searching and retrieving spectra
from services around the world using Virtual Observatory (VO) protocols and
services. The development of SPLAT-VO started in 1999, as part of the Starlink
StarJava initiative, sometime before that of the VO, so initial support for the
VO was necessarily added once VO standards and services became available.
Further developments were supported by the Joint Astronomy Centre, Hawaii until
2009. Since end of 2011 development of SPLAT-VO has been continued by the
German Astrophysical Virtual Observatory, and the Astronomical Institute of the
Academy of Sciences of the Czech Republic. From this time several new features
have been added, including support for the latest VO protocols, along with new
visualization and spectra storing capabilities. This paper presents the history
of SPLAT-VO, it's capabilities, recent additions and future plans, as well as a
discussion on the motivations and lessons learned up to now.Comment: 15 pages, 6 figures, accepted for publication in Astronomy &
Computin
A new framework for matching semantic web service descriptions based on OWL-S services
Nowadays, semantic web services are published and updated with growing demand for cloud computing. Since a single service is not capable of processing the increase of data and user's demand the improvement is necessary to match and rank semantic web service to achieve the user's goal. In the semantic web service framework, users' request is the input to the system and output is ranking of semantic web service. It has become a limitation to match between requests with the semantic web service description. This paper proposes a new framework for matching and ranking semantic web service based on OWL-S. The proposed new framework can match the keyword in each task and ranking service. This framework is done by using performance ontology-based indexing. The result is obtained and the performance of the services for multiple requests has been measured
A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows
This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modelling techniques used in healthcare such as flowcharts, unified modelling language activity diagram (UML AD), and business process modelling notation (BPMN) are intuitive and imprecise. They cannot fully capture the complexities of the types of activities and the full extent of temporal constraints to an extent where one could reason about the flows. Formal approaches such as Petri have also been reviewed to investigate their applicability to the healthcare domain to model processes.
Additionally, to schedule patient flows, current modelling standards do not offer any formal mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations, i.e. finish-start barrier. It is imperative to specify the temporal constraints between the start and/or end of a process, e.g., the beginning of a process A precedes the start (or end) of a process B. However, these approaches failed to provide us with a mechanism for handling these temporal situations. If provided, a formal representation can assist in effective knowledge representation and quality enhancement concerning a process. Also, it would help in uncovering complexities of a system and assist in modelling it in a consistent way which is not possible with the existing modelling techniques.
The above issues are addressed in this thesis by proposing a framework that would provide a knowledge base to model patient flows for accurate representation based on point interval temporal logic (PITL) that treats point and interval as primitives. These objects would constitute the knowledge base for the formal description of a system. With the aid of the inference mechanism of the temporal theory presented here, exhaustive temporal constraints derived from the proposed axiomatic system’ components serves as a knowledge base.
The proposed methodological framework would adopt a model-theoretic approach in which a theory is developed and considered as a model while the corresponding instance is considered as its application. Using this approach would assist in identifying core components of the system and their precise operation representing a real-life domain deemed suitable to the process modelling issues specified in this thesis. Thus, I have evaluated the modelling standards for their most-used terminologies and constructs to identify their key components. It will also assist in the generalisation of the critical terms (of process modelling standards) based on their ontology. A set of generalised terms proposed would serve as an enumeration of the theory and subsume the core modelling elements of the process modelling standards. The catalogue presents a knowledge base for the business and healthcare domains, and its components are formally defined (semantics). Furthermore, a resolution theorem-proof is used to show the structural features of the theory (model) to establish it is sound and complete.
After establishing that the theory is sound and complete, the next step is to provide the instantiation of the theory. This is achieved by mapping the core components of the theory to their corresponding instances. Additionally, a formal graphical tool termed as point graph (PG) is used to visualise the cases of the proposed axiomatic system. PG facilitates in modelling, and scheduling patient flows and enables analysing existing models for possible inaccuracies and inconsistencies supported by a reasoning mechanism based on PITL. Following that, a transformation is developed to map the core modelling components of the standards into the extended PG (PG*) based on the semantics presented by the axiomatic system.
A real-life case (from the King’s College hospital accident and emergency (A&E) department’s trauma patient pathway) is considered to validate the framework. It is divided into three patient flows to depict the journey of a patient with significant trauma, arriving at A&E, undergoing a procedure and subsequently discharged. Their staff relied upon the UML-AD and BPMN to model the patient flows. An evaluation of their representation is presented to show the shortfalls of the modelling standards to model patient flows. The last step is to model these patient flows using the developed approach, which is supported by enhanced reasoning and scheduling
Integrating Spatial Data Linkage and Analysis Services in a Geoportal for China Urban Research
Many geoportals are now evolving into online analytical environments, where large amounts of data and various analysis methods are integrated. These spatiotemporal data are often distributed in different databases and exist in heterogeneous forms, even when they refer to the same geospatial entities. Besides, existing open standards lack sufficient expression of the attribute semantics. Client applications or other services thus have to deal with unrelated preprocessing tasks, such as data transformation and attribute annotation, leading to potential inconsistencies. Furthermore, to build informative interfaces that guide users to quickly understand the analysis methods, an analysis service needs to explicitly model the method parameters, which are often interrelated and have rich auxiliary information. This work presents the design of the spatial data linkage and analysis services in a geoportal for China urban research. The spatial data linkage service aggregates multisource heterogeneous data into linked layers with flexible attribute mapping, providing client applications and services with a unified access as if querying a big table. The spatial analysis service incorporates parameter hierarchy and grouping by extending the standard WPS service, and data‐dependent validation in computation components. This platform can help researchers efficiently explore and analyze spatiotemporal data online.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/110740/1/tgis12084.pd
Applications of aerospace technology in the electric power industry
An overview of the electric power industry, selected NASA contributions to progress in the industry, linkages affecting the transfer and diffusion of technology, and, finally, a perspective on technology transfer issues are presented
Recommended from our members
Hybrid process modelling within business process management projects
Business Process Management (BPM) is still an important research topic amongst both academics
and businesses. The recent recession has forced businesses to focus on cost control and efficiency
in order to better cope with the economic downturn. Many companies in this situation turn to BPM
software as a means of improving their efficiency and costs by reducing aspects of the business
such as process lead-times and material costs. In order to identify areas of the business and its
processes which require changing the business will most likely adopt a method of modelling their
business processes. Because of the large number of available techniques decision makers usually
struggle to decide the best approach. Recent literature has also pointed out that prevalent
modelling techniques are designed to serve one specific purpose and may not be capable of
modelling the whole picture. The key relationship between the information systems and the human
behaviour is one example of where existing techniques are biased towards opposite ends of the
scale. This paper proposes the use of a hybrid modelling notation composed of multiple existing
notations in order to bridge this. The hybrid notation was applied to a BPM project at a company
in the construction industry and a case study conducted with its users
A social network approach in semantic web services selection using follow the leader behavior
Automatic discovery of web services is a crucial task for e-Business communities. Locating and selecting "the best" web service from a vast number of similar services that matches the user's requirements and preferences is a cognitive challenge and requires the use of an intelligent decision making framework. This paper develops a flexible ontological architecture and framework for Semantic Web Service Selection that exploits Goldbaum's innovative "Follow the Leader" model originally designed as an analytic tool for studying social network behavior and evolution. The framework proposes two new ontologies integrated in a recommender system, which guides a user to select the best service that matches their requirements and preferences. We test and evaluate several behaviors of market leader scenarios using a simulation agent. ©2009 IEEE
- …