BazEkon - Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie

BazEkon home page

Meny główne

Autor
Kędzierski Stanisław
Tytuł
Ograniczenia temporalne i deontyczne w modelowaniu procesów biznesowych
Temporal and Deontic Constraints in Business Process Modelling
Źródło
Prace Naukowe Akademii Ekonomicznej we Wrocławiu, 2006, nr 1121, s. 53-66, bibliogr. 7 poz.
Tytuł własny numeru
Pozyskiwanie wiedzy i zarządzanie wiedzą
Słowa kluczowe
Procesy gospodarcze, Model przedsiębiorstwa, Systemy informatyczne, Organizacja przedsiębiorstwa
Economic process, Model of enterprise, Computer system, Enterprise organisation
Uwagi
summ.
Abstrakt
Zaprezentowano próbę poznania możliwości modelowania dynamiki zachodzących w organizacji procesów biznesowych z zastosowaniem aparatu logik nieklasycznych: temporalnej i deontycznej. Precyzyjny opis procesu jest możliwy dzięki stosowaniu metod formalnych. Przedstawiono: podstawowe pojęcia temporalne tj. czas absolutny, czas relatywny (względny) i czas powtarzalny (okresowy, cykliczny) oraz organizacje temporalne, ograniczenia deontyczne i graficzną prezentacje ograniczeń deontycznych i temporalnych.

Business process can be modelled in different ways. Deontic operators augmented with time are one of the most interesting methods of modelling business processes. Deontic operators represent actor's behaviour in business process execution. In this paper a simple method of checking time constraints consistency is presented. (original abstract)
Dostępne w
Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie
Biblioteka SGH im. Profesora Andrzeja Grodka
Biblioteka Główna Uniwersytetu Ekonomicznego w Katowicach
Biblioteka Główna Uniwersytetu Ekonomicznego w Poznaniu
Biblioteka Główna Uniwersytetu Ekonomicznego we Wrocławiu
Pełny tekst
Pokaż
Bibliografia
Pokaż
  1. Kędzierski S., Checking Correctness of Business Processes Specification in Action Logic, [w:] BIS 2000 4th International Conference on Business Information Systems, red. W. Abramowicz, M. Orłowska, Poznań, 12-13 kwietnia 2000, Springer-Verlag 2000, s. 297-305.
  2. Kędzierski S., Formalne metody opisu komunikacji biznesowej, [w:] Systemy Wspomagania Organizacji SWO'2001, red. J. Gołuchowski, H. Sroka, Prace Naukowe Akademii Ekonomicznej w Katowicach, Katowice 2001, s. 232-239.
  3. Kędzierski S., Modelowanie organizacji za pomocą ról, [w:] Wspomaganie decyzji - integracja systemów, VIII Konferencja z cyklu Komputerowe Systemy Wielodostępne KSW2002, Bydgoszcz-Ciechocinek 2002, s. 38-44.
  4. Kędzierski S., Modelowanie ról w systemach informatycznych, [w:] Pozyskiwanie wiedzy z baz danych, red. A. Baborski, Prace Naukowe Akademii Ekonomicznej nr 787, AE, Wrocław 1998, s. 274-281.
  5. Klimek R., Wprowadzenie do logiki temporalnej, Wydawnictwa AGH, Kraków 1999.
  6. Marciszewski W., Modalność, [w:] Logika formalna. Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki, red. W. Marciszewski, PWN, Warszawa 1987, s. 311-319.
  7. Ziemba Z., Logika deontyczna, [w:] Logika formalna. Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki, red. W. Marciszewski, PWN, Warszawa 1987, s. 331-337.
Cytowane przez
Pokaż
ISSN
0324-8445
Język
pol
Udostępnij na Facebooku Udostępnij na Twitterze Udostępnij na Google+ Udostępnij na Pinterest Udostępnij na LinkedIn Wyślij znajomemu