Formalizacja wiedzy o procesach biznesowych

• Autorzy: Stanisław Kędzierski

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)

Słowa kluczowe

PL

Wiedza; Struktura organizacyjna; Procesy biznesowe; Modelowanie procesów biznesowych; Logika formalna

EN

Knowledge; Organisational structure; Business processes; Business Process Modeling; Formal logic

• Czasopismo: Zeszyty Naukowe Wyższej Szkoły Bankowej w Poznaniu
• Rocznik: 2009
• Numer: nr 22
• Strony: 137--146

Twórcy

autor

Stanisław Kędzierski

• 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.