14903400
Investigating ontologies for simulation modeling
Many fields have or are developing ontologies for their subdomains. The gene ontology (GO) is now considered to be a great success in biology, a field that has already developed several extensive ontologies. Similar advantages could accrue to the simulation and modeling community. Ontologies provide a way to establish common vocabularies and capture domain knowledge for organizing the domain with a community wide agreement or with the context of agreement between leading domain experts. They can be used to deliver significantly improved (semantic) search and browsing, integration of heterogeneous information sources, and improved analytics and knowledge discovery capabilities. Such knowledge can be used to establish common vocabularies, nomenclatures and taxonomies with links to detailed information sources. This paper investigates the use, the benefits and the development requirements of Web-accessible ontologies for discrete-event simulation and modeling. As a case study, the development of a prototype OWL-based ontology for modeling and simulation called the discrete-event modeling ontology (DeMO) is also discussed. Prototype ontologies such as DeMO can serve as a basis for achieving broader community agreement and adoption of ontologies for this field.
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.
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.
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.
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.
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].
17749917
Cartesian Genetic Programming
This paper presents a new form of Genetic Programming called Cartesian Genetic Programming in which a program is represented as an indexed graph. The graph is encoded in the form of a linear string of integers. The inputs or terminal set and node outputs are numbered sequentially. The node functions are also separately numbered. The genotype is just a list of node connections and functions. The genotype is then mapped to an indexed graph that can be executed as a program. Evolutionary algorithms are used to evolve the genotype in a symbolic regression problem (sixth order polynomial) and the Santa Fe Ant Trail. The computational effort is calculated for both cases. It is suggested that hit effort is a more reliable measure of computational efficiency. A neutral search strategy that allows the fittest genotype to be replaced by another equally fit genotype (a neutral genotype) is examined and compared with non-neutral search for the Santa Fe ant problem. The neutral search proves to be much more effective.
14392520
An ethnographic study of distributed problem solving in spreadsheet development
In contrast to the common view of spreadsheets as “single-user” programs, we have found that spreadsheets offer surprisingly strong support for cooperative development of a wide variety of applications. Ethnographic interviews with spreadsheet users showed that nearly all of the spreadsheets used in the work environments studied were the result of collaborative work by people with different levels of programming and domain expertise. Cooperation among spreadsheet users was spontaneous and casual; users activated existing informal social networks to initiate collaboration.
7900596
On self-embeddings of computable linear orderings
The Dushnik{Miller Theorem states that every innite countable linear ordering has a nontrivial self-embedding. We examine computability-theoretical aspects of this classical theorem.
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.