Formalizacja wiedzy o procesach biznesowych

Stanisław Kędzierski

Published : 2009-02-28

Vol. 22 (2009)

Business Process Knowledge Formalisation

Stanisław Kędzierski

Abstract

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)

Keywords:

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

Most read articles by the same author(s)

Stanisław Kędzierski, Verification of Business Process Correctness , Zeszyty Naukowe Wyższej Szkoły Bankowej w Poznaniu: Vol. 32 (2011)

Details

References

Statistics

Authors

Download files

PDF (Język Polski)

Citation rules

Kędzierski, S. (2009). Business Process Knowledge Formalisation. Zeszyty Naukowe Wyższej Szkoły Bankowej W Poznaniu, 22(22). Retrieved from https://journals.wsb.poznan.pl/index.php/znwsb/article/view/1698

Altmetric indicators

Cited by / Share

References

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.