This thesis addresses the correctness requirements of a formal model. This model is called the personal process model. A personal process is a coordination of personal activities, each requiring a joint effort between a user and an enacting organization. We identify data and temporal dependencies as the key elements for personal process coordination. We define the correctness on personal process types and instances. We also identify three key QoS measures on personal process instances, namely the response time, the cost and the reliability. A personal process is managed by a personal workflow management system (PWFMS) running on a handheld device. Considering the fact that handheld devices usually impose strict limitations on their computation power and battery consumptions, we propose efficient algorithms for verifying the correctness and analyzing the QoSs of a personal process at run-time.

The entire thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file; a non-technical public abstract appears in the public.pdf file. Title from PDF of title page (University of Missouri--Columbia, viewed February 12, 2010). Thesis advisor: Dr. Toni Kazic. Includes bibliographical references.

The aim of master work is to create Work Flow analysis information system. Work tasks are to present the principles of modified workflow models usage in user requirements acquisition and analysis stage, to present algorithms such as break points removal algorithm and material process control validation algorithm based on EVC , which are used to verify collected information, to analyze workflow model and process work flow model structure. Master work accomplished with Borland C++ Builder, MySQL programs, additionally used Devexpres componnents. Used such research methods as analysis of nonfiction literature, analysis, description, synthesis, comparison, parallel. In master work is created Material process control validation analysis information system, which is part of user requirements acquisition and analysis stage. Made analysis of modeling languages and standards, presented enterprise model components. After improvement of Information system creation process with information core we can save IS designing time, improve solutions quality. The last result of user requirements acquisition and analysis is - user requirements acquisition usage to other IS life cycle stages.

The development of wide-area networks and the availability of powerful computers as low-cost commodity components are changing the face of computation. These progresses in technology make it possible to utilize geographically distributed resources in multiple owner domains to solve large-scale problems in science, engineering and commerce. Research on this topic has led to the emergence of Grid computing. To achieve the promising potentials of tremendous distributed resources in the Grid, effective and efficient scheduling algorithms are fundamentally important. However, scheduling problems are well known for their intractability, and many of instances are in fact NP-Complete. The situation becomes even more challenging in the Grid circumstances due to some unique characteristics of the Grid. Scheduling algorithms in traditional parallel and distributed systems, which usually run on homogeneous and dedicated resources, cannot work well in the new environments. This work focuses on workflow scheduling algorithms in the Grid scenario. New challenges are discussed, previous research in this realm is surveyed, and novel heuristic algorithms addressing the challenges are proposed and tested. The proposed algorithms contribute to the literature by taking the following factors into account when a schedule for a DAG-based workflow is produced: predictable performance fluctuation and non-deterministic performance model of Grid resources, the computation and data staging co-scheduling, the clustering characteristic of Grid resource distribution, and the ability to reschedule according to performance change after the initial schedule is made. The performance of proposed algorithms are tested and analyzed by simulation under different workflow and resource configurations. / Thesis (Ph.D, Computing) -- Queen's University, 2009-04-23 22:30:09.646

The emergence of data-intensive science as the fourth science paradigm has posed a data deluge challenge for enacting scientific work-flows. The scientific community is facing an imminent flood of data from the next generation of experiments and simulations, besides dealing with the heterogeneity and complexity of data, applications and execution environments. New scientific work-flows involve execution on distributed and heterogeneous computing resources across organisational and geographical boundaries, processing gigabytes of live data streams and petabytes of archived and simulation data, in various formats and from multiple sources. Managing the enactment of such work-flows not only requires larger storage space and faster machines, but the capability to support scalability and diversity of the users, applications, data, computing resources and the enactment technologies. We argue that the enactment process can be made efficient using optimisation techniques in an appropriate architecture. This architecture should support the creation of diversified applications and their enactment on diversified execution environments, with a standard interface, i.e. a work-flow language. The work-flow language should be both human readable and suitable for communication between the enactment environments. The data-streaming model central to this architecture provides a scalable approach to large-scale data exploitation. Data-flow between computational elements in the scientific work-flow is implemented as streams. To cope with the exploratory nature of scientific work-flows, the architecture should support fast work-flow prototyping, and the re-use of work-flows and work-flow components. Above all, the enactment process should be easily repeated and automated. In this thesis, we present a candidate data-intensive architecture that includes an intermediate work-flow language, named DISPEL. We create a new fine-grained measurement framework to capture performance-related data during enactments, and design a performance database to organise them systematically. We propose a new enactment strategy to demonstrate that optimisation of data-streaming work-flows can be automated by exploiting performance data gathered during previous enactments.

Univ., Diss.--Hannover, 2002.

Thesis--Auburn University, 2009. / Abstract. Vita. Includes bibliographical references.

Thesis (M.Sc.)--City University of Hong Kong, 2006. / Title from title screen (viewed on Oct. 5, 2006) "Submitted to Department of Manufacturing Engineering and Engineering Management in partial fulfillment of the requirements for the degree of Master of enterprise technology and management." Includes bibliographical references.

Thesis (Ph. D.)--Georgia State University, 2006. / Balasubramaniam Ramesh, committee chair; Daniel Robeey, Mike Gallivan, Sandeep Purao, committee members. Electronic text (271 p.) : digital, PDF file. Description based on contents viewed August 6, 2007. Includes bibliographical references (p. 254-269).

Made available in DSpace on 2013-08-07T18:43:04Z (GMT). No. of bitstreams: 1 000388691-Texto+Completo-0.pdf: 2032444 bytes, checksum: 7684255846426db8388fd21673e03fa9 (MD5) Previous issue date: 2006 / Adaptive documents undergo many transformations during their generation, including insertion and deletion of content. One major problem in this scenario is the preservation of the aesthetic qualities of the document during those transformations. The aesthetic quality of a document instance could be evaluated by a set of aesthetic measures providing scores concerning several quality parameters. This evaluation could support adaptive documents instances during their generation and final output. This study introduces the use of document templates to obtain aesthetic measures of document instances. A score is assigned by an evaluation system to a document instance according to the differences detected from the original template. Considering the original template as an ideal result, the quality of a document instance will decrease according to the number of changes applied to produce it. So, documents that are below a given threshold can be sent for further (possibly human) review, and any others are accepted. In this sense, the amount of change with respect to the original template will reflect the document quality. So, we propose a model where documents can be compared with respect to a proposed original, and quality of instances is measured as a distance from that original. / Documentos adaptativos sofrem muitas transformações durante sua geração, incluindo inserção e remoção de conteúdo. Um problema importante neste cenário é a preservação das qualidades estéticas do documento durante estas transformações. A qualidade estética da instância de um documento pode ser avaliada através de umconjunto de medidas estéticas que pontuem os diversos critérios de qualidade. Esta avaliação poderia apoiar a geração e produção final de instâncias de um documento adaptativo. Este estudo introduz o conceito de uso de modelos de documentos para avaliar medidas estéticas de suas instâncias. Uma pontuação é atribuída a uma instância, por um sistema de avaliação, de acordo com as diferenças detectadas em relação ao modelo original. Considerando-se o modelo original como um resultado ideal, a qualidade de uma instância deste documento diminui em função do número de modificações sofridas em sua produção. Assim, documentos que estejam abaixo de um determinado valor de referência podem ser enviados para revisão (possivelmente humana) e os outros aceitos. Neste sentido, a quantidade de modificações em relação ao modelo original reflete a qualidade estética do documento. É proposto um modelo onde cada instância de um documento é comparada ao modelo original e a qualidade da instância é medida com uma distância em relação ao original.