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

Znaleziono wyników: 5

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Case Study of Designing Interface of the AGH Students Information Bulletin Work Support System
Nitarska Natalia, Wiśniewski Piotr, Kluza Krzysztof, Zaremba Mateusz, Ligęza Antoni
Annals of Computer Science and Information Systems
|
2022
|
Vol. 30
817--826
EN
In this paper, we present a case study research on designing the system interface for handling organizational processes implemented in the editorial office of the AGH-UST Students Information Bulletin, which was developed based on the analysis of identified business processes. The basis for the design work is the analysis of the editorial work and system solutions that ensure its service. A study of the basic formal and legal sources, such as regulations and statutes of the organization, was also carried out for the proper identification of goals, responsibilities, and organizational structure. To deepen this knowledge, social research was carried out, which examined how the users use the current solutions and what their needs are related to the designed system. On the basis of the research results and the formulated conclusions, the diagrams of business processes carried out in the organization were created, and the information architecture of the system, followed by a medium-fidelity interface were designed.
2
Content available remote Characteristic and comparison of UML, BPMN and EPC based on process models of a training company
Nizioł Marcin, Wiśniewski Piotr, Kluza Krzysztof, Ligęza Antoni
Annals of Computer Science and Information Systems
|
2021
|
Vol. 26
193--200
EN
We describe, characterize and compare three selected modeling notations of business processes: Unified Modeling Language, Business Process Model and Notation, as well as Event-Driven Process Chain. Using processes implemented in a~training company, the selected notations were discussed in detail. We compare various aspects, such as modeling notation origin, the number of graphical elements included. Moreover, notations were analyzed using the 4+1 architectural view model. Justified results of the survey conducted among employees of above-mentioned organization let us conclude that there exist notation differences. Both BPMN and EPC allow the process architects to prepare more precise and legible models than UML.
3
Content available remote Business Process Recomposition as a Way to Redesign Workflows Effectively
Wiśniewski Piotr, Kluza Krzysztof, Jemioło Paweł, Ligęza Antoni, Suchenia Anna
Annals of Computer Science and Information Systems
|
2021
|
Vol. 25
471--474
EN
Business process models are subject to changing requirements. The purpose of this paper is to present methods that enable computer-aided recomposition of process models, understood as using existing processes to design new ones. This procedure involves dividing existing BPMN diagrams into smaller components, from which new models can be created. This kind of model generation can be performed manually by the user or run automatically, based on the Constraint Programming technique. The presented algorithms can improve the process of model redesign and allow users to avoid typical anomalies that may occur in the modeling phase.
4
Content available remote Automated generation of business process models using constraint logic programming in Python
Paszun Tymoteusz, Wiśniewski Piotr, Kluza Krzysztof, Ligęza Antoni
Annals of Computer Science and Information Systems
|
2019
|
Vol. 18
733--742
EN
High complexity of business processes in real-life organizations is a constantly rising issue. In consequence, modeling a workflow is a challenge for process stakeholders. Yet, to facilitate this task, new methods can be implemented to automate the phase of process design. As a main contribution of this paper, we propose an approach to generate process models based on activities performed by the participants, where the exact order of execution does not need to be specified. Nevertheless, the goal of our method is to generate artificial workflow traces of a process using Constraint Programming and a set of predefined rules. As a final step, the approach was implemented as a dedicated tool and evaluated on a set of test examples that prove that our method is capable of creating correct process models.
5
Content available remote Overview of verification tools for business process models
Suchenia Anna, Wiśniewski Piotr, Ligęza Antoni
Annals of Computer Science and Information Systems
|
2017
|
Vol. 13
295--302
EN
Formal verification of process models is an important issue in Business Process Management. Such a verification provides the information about the correctness of a process model, can be also used for checking business compliance or as a preliminary step to simulation. In this paper, we provide an overview of the existing tools for such a verification.
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ć.