PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  workflows
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Towards a High Reliable Enforcement of Safety Regulations - A Workflow Meta Data Model and Probabilistic Failure Management Approach
Thimm H. H.
Transactions on Environment and Electrical Engineering
|
2016
|
Vol. 1, No. 4
19--28
EN
Today’s companies are able to automate the enforcement of Environmental, Health and Safety (EH&S) duties through the use of workflow management technology. This approach requires to specify activities that are combined to workflow models for EH&S enforcement duties. In order to meet given safety regulations these activities are to be completed correctly and within given deadlines. Otherwise, activity failures emerge which may lead to breaches against safety regulations. A novel domain-specific workflow meta data model is proposed. The model enables a system to detect and predict activity failures through the use of data about the company, failure statistics, and activity proxies. Since the detection and prediction methods are based on the evaluation of constraints specified on EH&S regulations, a system approach is proposed that builds on the integration of a Workflow Management System (WMS) with an EH&S Compliance Information System. Main principles of the failure detection and prediction are described. For EH&S managers the system shall provide insights into the current failure situation. This can help to prevent and mitigate critical situations such as safety enforcement measures that are behind their deadlines. As a result a more reliable enforcement of safety regulations can be achieved.
2
Content available A Software Architecture Assisting Workflow Executions on Cloud Resources
Borowik G., Woźniak M., Fornaia A., Giunta R., Napoli C., Pappalardo G., Tramontana E.
International Journal of Electronics and Telecommunications
|
2015
|
Vol. 61, No. 1
17-22
EN
An enterprise providing services handled by means of workflows needs to monitor and control their execution, gather usage data, determine priorities, and properly use computing cloud-related resources. This paper proposes a software architecture that connects unaware services to components handling workflow monitoring and management concerns. Moreover, the provided components enhance dependability of services while letting developers focus only on the business logic.
3
Content available Business processes in a distributed surveillance system integrated through workflow
Szwed P., Chmiel W., Jędrusik S., Kadłuczka P.
Automatyka / Automatics
|
2013
|
Vol. 17, no. 1
115--126
EN
SIMPOZ project aims at building a highly configurable system for suryeillance of publie areas and objeets of a speeial importanee based on the analysis of digital images. Distributed naturę and po-tential diyersity of monitoring features, a large number of alarm signals fed by yarious sensors, the need to ensure a flexible event flow management and tailored to needs emergency response processes were motiyations to utilize workflow as a management and integration layer. Implementation of workflow processes was preceded by business modeling with ArchiMate language. The presented models of business processes reflect the specificity and characteristies of surveillance systems: reactiye character, event driven control and a large number of asynchronous data flows. Lessons learned indicate, that ArchiMate models in spite of the smaller set of dedicated behayioral constructs with respect to for example BPMN, after adopting certain modeling conyentions, allow to reach high level of expressiveness.
PL
Projekt SIMPOZ ma na celu budowę elastycznego systemu nadzoru przestrzeni publicznej i obiektów specjalnego znaczenia na podstawie analizy cyfrowych obrazów. Motywacją do wykorzystania w systemie przepływów pracy jest duże rozproszenie, potencjalna różnorodność monitorowanych własności i informacji o alarmach oraz potrzeba zapewnienia elastycznego zarządzania przepływem zdarzeń. Implementacja procesów przepływu pracy została poprzedzona etapem modelowania biznesowego, w którym wykorzystano język ArchiMate. Przedstawione modele procesów biznesowych odpowiadają specyfice i własnościom systemów nadzoru: mają reaktywny charakter, są sterowanie poprzez zdarzenia oraz obejmują dużą liczbę asynchronicznych przepływów danych. Doświadczenia wskazują, że język ArchiMate, mimo mniejszego zestawu konstrukcji służących do opisu zachowania niż np. notacja BPMN, po przyjęciu pewnych konwencji modelowania, pozwala na osiągnięcie wysokiego poziomu ekspresywności.
4
Content available Information extraction from chemical patents
Bergmann S., Romberg M., Klenner A., Zimmermann M.
Computer Science
|
2012
|
Vol. 13 (2)
21-32
EN
The development of new chemicals or pharmaceuticals is preceded by an indepth analysis of published patents in this field. This information retrieval is a costly and time inefficient step when done by a human reader, yet it is mandatory for potential success of an investment. The goal of the research project UIMA-HPC is to automate and hence speed-up the process of knowledge mining about patents. Multi-threaded analysis engines, developed according to UIMA (Unstructured Information Management Architecture) standards, process texts and images in thousands of documents in parallel. UNICORE (UNiform Interface to COmputing Resources) workflow control structures make it possible to dynamically allocate resources for every given task to gain best cpu-time/realtime ratios in an HPC environment.
5
Content available remote VERSE: Workflows for simulation and virtual world telemetry and control
Ellaway R., Sanche R., Symington C., Topps D.
Bio-Algorithms and Med-Systems
|
2010
|
Vol. 6, no. 11
81--84
EN
Simulation involves learners engaging in practices that replicate real-world practice. Feedback and other educational benefit is derived both from direct observation and from the analysis of data capture representing learner actions. Many if not most information systems generate logs and other records of their use but these are usually stored in or in close proximity to the device or system itself. A number of newer systems provide some kind of API (application programming interface) for accessing and controlling them from elsewhere. Telemetry is the remote recording and analysis of data and information. The VERSE project (Virtual Educational Research Services Environment) has been funded by the Canadian Fund for innovation to develop virtual reality research infrastructure. The project has focused on two areas: a) creating a centralized system for capturing telemetry from multiple and heterogeneous devices and b) distributed control of authoring and the execution of simulation activities using OpenLabyrinth and Second Life. This presentation will explain and demonstrate the work of the VERSE project and describe the data models and workflows for the remote capture of simulation telemetry and how a game state engine can be used to control events and interactions in a virtual world platform.
6
Content available remote Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
Sroka J., Hidders J.
Fundamenta Informaticae
|
2009
|
Vol. 92, nr 3
279-299
EN
Workflow development and enactment workbenches are becoming a standard tool for conducting in silico experiments. Their main advantages are easy to operate user interfaces, specialized and expressive graphical workflow specification languages and integration with a huge number of bioinformatic services. A popular example of such a workbench is Taverna, which has many additional useful features like service discovery, storing intermediate results and tracking data provenance. We discuss a detailed formal semantics for Scufl - the workflow definition language of the Taverna workbench. It has several interesting features that are notmet in other models including dynamic and transparent type coercion and implicit iteration, control edges, failure mechanisms, and incominglinks strategies. We study these features and investigate their usefulness separately as well as in combination, and discuss alternatives. The formal definition of such a detailed semantics not only allows to exactly understand what is being done in a given experiment, but is also the first step toward automatic correctness verification and allows the creation of auxiliary tools that would detect potential errors and suggest possible solutions to workflow creators, the same way as Integrated Development Environments aid modern programmers. A formal semantics is also essential for work on enactment optimization and in designing the means to effectively query workflow repositories. This paper is the first of two. It defines, explains and discusses fundamental notions for describing Scufl graphs and their semantics. Then, in the second part, we use these notions to define the semantics and show that our definition can be used to prove properties of Scufl graphs.
7
Content available remote Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
Sroka J., Hidders J.
Fundamenta Informaticae
|
2009
|
Vol. 92, nr 4
373-396
EN
Workflow development and enactment workbenches are becoming a standard tool for conducting in silico experiments. Their main advantages are easy to operate user interfaces, specialized and expressive graphical workflow specification languages and integration with a huge number of bioinformatic services. A popular example of such a workbench is Taverna, which has many additional useful features like service discovery, storing intermediate results and tracking data provenance. We discuss a detailed formal semantics for Scufl - the workflow definition language of the Taverna workbench. It has several interesting features that are notmet in other models including dynamic and transparent type coercion and implicit iteration, control edges, failure mechanisms, and incominglinks strategies. We study these features and investigate their usefulness separately as well as in combination, and discuss alternatives. The formal definition of such a detailed semantics not only allows to exactly understand what is being done in a given experiment, but is also the first step toward automatic correctness verification and allows the creation of auxiliary tools that would detect potential errors and suggest possible solutions to workflow creators, the same way as Integrated Development Environments aid modern programmers. A formal semantics is also essential for work on enactment optimization and in designing the means to effectively query workflow repositories. This paper is the second of two. In the first one [13] we have defined, explained and discussed fundamental notions for describing Scufl graphs and their semantics. Here, in the second part, we use these notions to define the semantics and show that our definition can be used to prove properties of Scufl graphs.
8
Content available remote Higher Profitability and Productivity in DI Workflows. SGI® and DataFrameworks™ Provide the Data Management Foundation for Digital Intermediate Workflow
Computational Methods in Science and Technology
|
2006
|
Vol. spec. issue
87-92
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.