Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "workflow patterns" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
On a workflow model based on generalized communicating P systems
Autorzy:
Balasko, A.
Powiązania:
https://bibliotekanauki.pl/articles/305481.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
workflow languages
workflow patterns
control patterns
membrane computing
Generalized Communicating P Systems
Opis:
This paper introduces a new formal mathematical model for investigating work- flows from dynamical and behavioural point of view. The model is designed on the basis of a special variant of the biology-inspired formal computational model called membrane systems, where the jobs or services are represented by membrane objects whose behaviour is defined by communication and generalization rules. The model supports running computations in a massive parallel manner, which makes it ideal to model high throughput workflow interpreters. Among the variants introduced in the literature, we have selected the Generalized Communicating P Systems, as it focuses on the communication among the membranes. Most of the workflow languages, based on different formal models like Petri nets or Communicating Sequential Processes, support several predefined structures – namely workflow patterns – to control the workflow interpretation such as conditions, loops etc. In this paper we show how these patterns are adapted into the membrane environment which, taking into account that membrane systems can be used to study complex dynamic systems’ runtime behaviour, makes this model a relevant alternative for the current models.
Źródło:
Computer Science; 2016, 17 (1); 45-68
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
Deduction-based Formal Verification of Business Models using Temporal Logic
Autorzy:
Klimek, R.
Powiązania:
https://bibliotekanauki.pl/articles/274553.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
modele biznesowe
BPMN
SOA
wzorce projektowe
logika temporalna
wnioskowanie dedukcyjne
metoda tablic semantycznych
generowanie specyfikacji
business models
workflow design patterns
temporal logic
deductive reasoning
semantic tableaux method
generating specifications
Opis:
Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 190-193
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Standardization of human activities as the component of a workflow efficiency model - a research experiment from a meat producing plant
Autorzy:
Bartnicka, Joanna
Kabiesz, Patrycja
Kaźmierczak, Jan
Powiązania:
https://bibliotekanauki.pl/articles/1839519.pdf
Data publikacji:
2020
Wydawca:
Stowarzyszenie Menedżerów Jakości i Produkcji
Tematy:
workflow
standardization
ergonomics
patterns of activities
efficiency
przepływ pracy
normalizacja
ergonomia
wzorce działań
wydajność
Opis:
The aim of the following research it to provide assumptions for creating workflow efficiency model that can be implemented in repeatable production workstations. One of the main components of this model are human activities and their interactions with other elements of working environment: human and artefacts. Recognition of patterns of human behaviours within working processes gives the opportunity to find critical points that influence workflow efficiency. The subject of research is a working process existing in meat producing plant. The main method used for recognizing human activity patterns was observation and qualitative and quantitative assessments of operational activities based on video registration. Particularly, human activities were analyzed under ergonomics criteria in order to proof dependencies between process efficiency and specific ergonomic factors forming working conditions at meat plant.
Źródło:
Production Engineering Archives; 2020, 26, 2; 73-77
2353-5156
2353-7779
Pojawia się w:
Production Engineering Archives
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies