16289956
Scenario management in Web-based simulation
Internet communications in general and the World-Wide Web specifically are revolutionizing the computer industry. Today, the Web is full of important documents and clever applets. Java applets and servlets are beginning to appear that provide useful and even mission critical applications. From the perspective of simulation, a future Web will be full of simulation models and large amounts of simulation-generated data. Many of the models will include two or three dimensional animation as well as virtual reality. Others will allow human interaction with simulation models to control or influence their execution no matter where the user is located in the world. Analysis of data from Web-based simulations involves greater degrees of freedom than traditional simulations. The number of simulation models available and the amount of simulation data are likely to be much greater. In order to assure the quality of data, the execution of models under a variety of scenarios should be well managed. Since the user community will also be larger, quality assurance should be delegated to agents responsible for defining scenarios and executing models. A major element of simulation analysis is the analysis of output data, which manages the execution of simulation models, in order to obtain statistical data of acceptable quality. Such data may be used to predict the performance of a single system, or to compare the performance of two or more alternative system designs using a single or multiple performance measures.
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.
30146652
Workflow Quality of Service
Workflow management systems (WfMSs) have been used to support various types of business processes for more than a decade now. In ecommerce processes, suppliers and customers define a binding agreement or contract between the two parties, specifying quality of service (QoS) items such as products or services to be delivered, deadlines, quality of products, and cost of service. Management of such QoS directly impacts success of organizations participating in e-commerce. Organizations operating in modern markets require an excellent degree of quality of service management. Products and services must be available to customers with well-defined specifications. A good management of quality leads to the creation of quality products and services, which in turn fulfills customer expectations and achieves customer satisfaction. Therefore, when services or products are created or managed using workflow processes, the underlying WfMS must accept the specification, be able to predict, monitor, and control the QoS rendered to customers. To achieve these objectives the first step is to develop an adequate QoS model for workflow processes and develop methods to compute QoS.
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.
8657310
Constraint driven Web service composition in METEOR-S
Creating Web processes using Web service technology gives us the opportunity for selecting new services, which best suit our need at the moment. Doing this automatically requires us to quantify our criteria for selection. In addition, there are challenging issues of correctness and optimality. We present a constraint driven Web service composition tool in METEOR-S, which allows the process designers to bind Web services to an abstract process, based on business and process constraints and generate an executable process. Our approach is to reduce much of the service composition problem to a constraint satisfaction problem. It uses a multiphase approach for constraint analysis. This work was done as part of the METEORS framework, which aims to support the complete lifecycle of semantic Web processes.
9294328
Performance Modeling of Database Recovery Protocols
The performance modeling described in this paper compares several protocols which ensure that a database can be recovered to a consistent state after a transaction failure or system crash. The contributions of the paper include a collection of simple analytic models, based on Markov processes, for these protocols and some surprising results on the relative performance of the protocols. We consider only two-stage transactions (all reads before writes) and ignore effects of serializing transactions. The most interesting performance result presented is that, for systems obeying the assumptions of this paper, the "pessimistic" policy of holding write locks to commit point is considerably less efficient than the "optimistic" policy which allows reading of uncommitted data, but risks cascading aborts. A multiversion policy introduced in [2] was also studied and found always to be nearly as good as the optimistic policy and sometimes much better.
6824501
The Undecidability of Iterated Modal Relativization
In dynamic epistemic logic and other fields, it is natural to consider relativization as an operator taking sentences to sentences. When using the ideas and methods of dynamic logic, one would like to iterate operators. This leads to iterated relativization. We are also concerned with the transitive closure operation, due to its connection to common knowledge. We show that for three fragments of the logic of iterated relativization and transitive closure, the satisfiability problems are fi1 Σ11–complete. Two of these fragments do not include transitive closure. We also show that the question of whether a sentence in these fragments has a finite (tree) model is fi0 Σ01–complete. These results go via reduction to problems concerning domino systems.
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.
3221324
How common random numbers affect multinomial selection
We consider the effect of common random numbers (CRNs) among simulated systems in two different multinomial selection procedures: the classical procedure BEM (Bechhofer, Elmaghraby, and Morse) and procedure AVC (all vector comparisons). CVe examine a simple two population scenario and demonstrate analytically how CRNs affect the probability of correct selection (PCS). In addition, various levels of positive correlation are induced to approximate the effect of using CRNs with complex simulated systems. We present analytical and simulation results to show the effect correlation has on the probability of correct selection (PCS) for each solution procedure. This paper responds to Jim Wilson’s question raised at WSC’96 about how the use of CRNs affects multinomial selection procedures.
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.
8365397
Input modeling when simple models fail
A simulation model is composed of inputs and logic; the inputs represent the uncertainty or randomness in the system, while the logic determines how the system reacts to the uncertain elements. Simple input models, consisting of independent and identically distributed sequences of random variates from standard probability distributions, are included in every commercial simulation language. Software to fit these distributions to data is also available. In this tutorial we describe input models that are useful when simple models are not.