PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | nr 22 | 137-146
Tytuł artykułu

Formalizacja wiedzy o procesach biznesowych

Treść / Zawartość
Warianty tytułu
Business Process Knowledge Formalisation
Języki publikacji
PL
Abstrakty
Współczesne przedsiębiorstwo coraz to częściej postrzegane jest nie tylko jako struktura czy też zasoby, ale takie jako zbiór procesów. Podstawowymi rodzajami procesów zachodzących w przedsiębiorstwie to procesy produkcyjne oraz procesy biznesowe. Modelowanie procesów biznesowych oprócz środków graficznych, jak пр.: diagram specyfikacji zadań, wymaga również zaawansowanych narzędzi formalnych, jak пр.: algebra procesów, rachunek sytuacji, logiki (modalne, temporalne, deontyczne). Modelowanie procesów biznesowych realizujących konkretne sprawy w przedsiębiorstwach stanowi istotny element wzbogacania wiedzy o rozpatrywanych organizacjach gospodarczych. Podstawowym problemem podczas formalnego modelowania procesów biznesowych zachodzących w przedsiębiorstwach jest właściwe przedstawienie struktury organizacyjnej. Wykorzystywane mogą być do tego celu rozmaite techniki od opisowych do kompletnie sformalizowanych. Przewagi tych ostatnich są oczywiste. Model przedsiębiorstwa opisuje główne składniki, cele, procesy w organizacji oraz wzajemne relacje zachodzące między nimi. Przedstawia on wiedzę organizacji o samej sobie. Przez organizację należy rozumieć szerokie spektrum od jednoosobowego warsztatu rzemieślniczego do olbrzymiej grupy przedsiębiorstw. Tak samo poziom uszczegółowienia modelu zależy głównie od celu modelowania. Badania nad procesami biznesowymi osiągnęły już taki stopień zaawansowania, że stwarza to podstawy do podjęcia próby przedstawienia teorii formalnej procesów biznesowych opartej o system aksjomatów. Przy konstrukcji teorii szczegółowej należy zastosować ogólne zasady budowy systemu aksjomatycznego. (abstrakt oryginalny)
EN
Formalization plays a significant role in systems modelling. One of tools used during formalisation of business processes is first order logic. In this paper an attempt of axiomatization of basic elements of business processes (organisational structures, activities) is presented. (original abstract)
Rocznik
Numer
Strony
137-146
Opis fizyczny
Twórcy
  • Wyższa Szkoła Bankowa w Poznaniu
Bibliografia
  • de Almeida Falbo R., Gleidson Bertollo G., 2005, Establishing a Common Vocabulary for Helping Software Organizations to Understand Software Processes, International Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE), Enschede.
  • Baeten J., Weijand W., 1990, Process algebra. Cambridge University Press, Cambridge.
  • Hammer M., Champy J., 1993, Reengineering the corporation. A manifesto for business revolution, Rarpe r Business.
  • von Bertalanffy L., 1984, Ogólna teoria systemów, PWN, Warszawa.
  • Bi H., Zhao J., 2004, Applyingpropositional logic to workflow verification, "Information Technology and Management" Vol. 5, No. 3-4, pp. 293-318.
  • Borkowski L., 1991, Wprowadzenie do logiki i teorii mnogości, Towarzystwo Naukowe KUL, Lublin.
  • ISO 9000-1 International Standard Intuition: Quality management and quality assurance standards, 1994.
  • Jacobson I. Ericsson M., Jacobson A., 1995, The object advantage: Business process re-engineering with object technology, Addison Wesley.
  • Kędzierski S., 1996, Office modelling through deontic logic, w: S. Wrycza, J. Zupančič (eds): Proceedings of the Fifth International Conference Information Systems Development - ISD'96. Method s & Tools. Theory & Practice, Gdańsk.
  • Pinto J., 1994, Temporal reasoning in the situation calculus, Technical Raport KRR--TR-94-1, Department of Computer Science, University of Toronto.
  • Przełęcki M., 1998, Logika teorii empirycznych, Wydawnictwo Naukowe PWN, Warszawa.
  • Szałas A., 1992, Zarys dedukcyjnych metod automatycznego wnioskowania, Akademicka Oficyna Wydawnicza RM, Warszawa.
  • Workflow Management Coalition: Glossary: A Workflow Management Coalition Specification, 1994.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000166809952
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ć.