3039342
Adding Semantics to Web Services Standards
With the increasing growth in popularity of Web services, discovery of relevant Web services becomes a significant challenge. One approach is to develop semantic Web services where by the Web services are annotated based on shared ontologies, and use these annotations for semantics-based discovery of relevant Web services. We discuss one such approach that involves adding semantics to WSDL using DAML+OIL ontologies. Our approach also uses UDDI to store these semantic annotations and search for Web services based on them. We compare our approach with another initiative to add semantics to support Web service discovery, and show how our approach may fit current standards-based industry approach better.
13902265
Simulation and the semantic Web
One of the missions of the semantic Web is to put more knowledge on the Web in an organized fashion and link it to other information and data sources. Three successively more capable languages are (or will soon be) provided for this: RDF, OWL, and SWRL. This paper makes a case for using all three for the domain of modeling and simulation. Based on experience developing the discrete-event modeling ontology (DeMO) some observations on the issues and challenges involved in creating such ontologies are presented. An approach for decomposing models into behavioral and observable parts, a la hidden Markov models, which can make ontologies smaller and easier to understand, is also discussed
10095666
Simulation modeling within workflow technology
This paper presents an approach for integrating simulation modeling and analysis capabilities within the workflow management system (WFMS) being developed in the Large Scale Distributed Information Systems (LSDIS) Lab at the University of Georgia. Simulation modeling can be used for studying the efficiency of workflow designs as well as studying the general performance and reliability of WFMSs. We also discuss the importance of using sophisticated monitoring and animation capabilities, and the use of workflow management technology to advance simulation technology itself. Finally, we demonstrate a sample simulation where tasks and task managers are simulated.
2346213
Healthcare Enterprise Process Development and Integration
Healthcare enterprises involve complex processes that span diverse groups and organisations. These processes involve clinical and administrative tasks, large volumes of data, and large numbers of patients and personnel. The tasks can be performed either by humans or by automated systems. In the latter case, the tasks are supported by a variety of software applications and information systems which are very often heterogeneous, autonomous, and distributed. The development of systems to manage and automate these processes has increasingly played an important role in improving the efficiency of healthcare enterprises. In this paper we look at four healthcare and medical applications that involve investigative, clinical, and administrative functions. Based on these applications, we derive the requirements for developing enterprise applications that involve the coordination of a variety of tasks performed by humans, information systems, and legacy applications.
15950590
Model instantiation for query driven simulation in active KDL
The focus of this paper is on how Active KDL can be used to provide a very powerful simulation support environment. Active KDL (Knowledge/Data Language) is an object-oriented database programming language, which provides access to integrated model, knowledge, and data bases. Simulation inputs and outputs can be stored by Active KDL since it supports complex objects. More importantly, Active KDL also allows users to specify rules to capture heuristic knowledge and methods to specify procedural behavior. Finally, Active KDL provides a simple mechanism for specifying concurrent execution, namely tasks embedded in active objects. These facilities provide a powerful mechanism for building simulation models out of pre-existing model components. These capabilities provide a tight coupling between a SIMODULA-like simulation system and a knowledge/database system, supporting query driven simulation, where model instantiation is used for information generation.
15234568
Demonstrating Dynamic Configuration and Execution of Web Processes
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE) system. It will illustrate the capabilities of the system to a) Discover partners b) Optimize partner selection using constraint analysis, c) Perform interaction protocol and data mediation. A graphical execution monitor to monitor the various phases of execution will be used to demonstrate various aspects of the system.
8310590
Modeling leadership effects and recruit type in an Army recruiting station
Army recruiters have an uphill battle recruiting well-qualified volunteers into military service. With prospering economy, there are many alternatives to joining the military, and all services are having difficulty recruiting young people. United States Army Recruiting Command (USAREC) sponsored our research in simulating the workings of an Army recruiting station in an effort to help understand more about the recruiting process. Specifically, USAREC wanted a management tool to examine the effects of changing a variety of controllable factors on the way an individual recruiting station performs. We focused this study on the effect of recruiting station commander leadership on recruiting productivity, and the differences in processing times and success rates for different types of applicants (potential recruits). This study added capability to a previous simulation model developed at the Air Force Institute of Technology (AFIT) (J.D. Cordeiro and M.A. Friend, 1998). Cordeiro and Friend's model depicted an Army recruiting station with three types of recruiters, and a single (average) recruiter type. For the current work, we needed to gather pertinent data on the effects of leadership and on the differences between different applicant types. In addition, we needed to incorporate the new data into the simulation model. The remainder of the paper includes an overview of the recruiting process, considerations for modeling leadership effects and applicant types, discussion of incorporating these features in the simulation, a brief look at some simulation output, and some future research interests.
1173889
Effectiveness for infinite variable words and the Dual Ramsey Theorem
Abstract.We examine the Dual Ramsey Theorem and two related combinatorial principles VW(k,l) and OVW(k,l) from the perspectives of reverse mathematics and effective mathematics. We give a statement of the Dual Ramsey Theorem for open colorings in second order arithmetic and formalize work of Carlson and Simpson [1] to show that this statement implies ACA0 over RCA0. We show that neither VW(2,2) nor OVW(2,2) is provable in WKL0. These results give partial answers to questions posed by Friedman and Simpson [3].
1650301
The spreadsheet interface: A basis for end user programming
410715
Phased array processing for spike discrimination
We present a novel approach for the detection, discrimination, and identification of superimposed neuronal action potentials from multineuronal, multichannel extracellular nerve recordings with low signal-to-noise ratios. The approach uses phased-array processing techniques to identify the spikes from different neurons on the basis of their unique propagation velocities. We evaluated this new approach using simulated electrophysiological data, under conditions that are known to limit the effectiveness of existing spike discrimination techniques. This approach enabled discrimination of simulated spikes from multiple simultaneously active neurons with a high degree of reliability and robustness within the expected range of experimental recording conditions, even in situations where there was a high degree of spike waveform superposition on the recording channels. Moreover, the technique enables the reliable detection and discrimination of spikes recorded with signal-to-noise ratios less than 1.
11647322
Hembase: browser and genome portal for hematology and erythroid biology
Hembase (http://hembase.niddk.nih.gov) is an integrated browser and genome portal designed for web-based examination of the human erythroid transcriptome. To date, Hembase contains 15,752 entries from erythroblast Expressed Sequenced Tags (ESTs) and 380 referenced genes relevant for erythropoiesis. The database is organized to provide a cytogenetic band position, a unique name as well as a concise annotation for each entry. Search queries may be performed by name, keyword or cytogenetic location. Search results are linked to primary sequence data and three major human genome browsers for access to information considered current at the time of each search. Hembase provides interested scientists and clinical hematologists with a genome-based approach toward the study of erythroid biology.