Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 3

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  ArchiMate
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Publication available in full text mode
Content available

Application of deductive reasoning to the verification of archimate behavioral elements

100%
Klimek R., Szwed P., Jędrusik S.
Informatyka Ekonomiczna
|
2013
|
issue 3(29)
76-97
EN
The formal verification of business models has recently become an intensively researched area. It is expected that the application of formal tools may bring such benefits to organizations as the improved quality of products and services and a lower ratio of operational errors. In this paper we discuss the application of a deduction-based method for the verification of the behavioral aspects of ArchiMate models. The first step in our method consists in the translation of the ArchiMate model into Linear Temporal Logic (LTL) formulas. The resulting LTL formulas are then verified to check the expected temporal properties. The verification process is based on the semantics tableaux method and is conducted with an LTL prover. The method is discussed using an example of a business process implemented within a surveillance system.
2
Publication available in full text mode
Content available

Knowledge worker tasks in system architecture

86%
Pańkowska M.
Informatyka Ekonomiczna
|
2019
|
issue 1 (51)
55-71
EN
In this paper, knowledge workers are assumed to actively realize knowledge management tasks. They are involved in the gathering, analysis, storage and dissemination of knowledge in a way that is focused on its improvement. Therefore main goal is to present system architecture models for knowledge management in information science domain. In that domain, Design Science Research (DSR) is discussed as being very useful and adopted in this paper for knowledge management. The author applied the ArchiMate modelling language and supplemented it with the process approach and Business Process Model & Notation (BPMN) for knowledge management process presentation, as well as by the case management approach and Case Management Model & Notation (CMMN). These notations are consistent and complementary, although they have different objectives of usage.
3
Publication available in full text mode
Content available

Audyt wymagań, procedur i procesów organizacyjnych szpitala

81%
Dziembała M., Pańkowska M.
Studia Ekonomiczne
|
2017
|
vol. 342
22-38
PL
Organizacje społeczno-gospodarcze, a do takich można zaliczyć szpitale, chcąc zaspokoić oczekiwania swoich klientów – w tym przypadku pacjentów – dążą do tego, by jak najlepiej zorganizować swoją pracę i zapewnić wysoką jakość świadczeń medycznych. Ocenę jakości tej pracy można wspomagać audytem procedur organizacyjnych. Celem artykułu jest przedstawienie, jak można doskonalić procedury organizacyjne, posługując się modelami procesów i architektury biznesowej. Autorzy starają się wykazać, że audyt procedur postępowania medycznego w szpitalu wspomaga doskonalenie jakości pracy.
EN
Socio-economic organizations, such as hospitals, want to satisfy their customers (i.e., patients), so they aim to organize their work and ensure high quality of medical services. Evaluation of their work can be supported by organizational procedures audit. The paper aims to present how the business procedures can be improved by usage of business process and business architecture models. Authors argue that medical treatment procedure audit supports improvement of hospital work quality.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.