Metody formalne w modelowaniu procesu biznesowego

• Autorzy: Stanisław Kędzierski

Warianty tytułu

Formal Methods in Business Process Modelling

• Języki publikacji: PL

Abstrakty

Proces biznesowy jest jednym ze składników modelu przedsiębiorstwa. Może on być przedstawiany na wiele sposobów nieformalnych, semiformalnych i formalnych. Metody formalne zasługują na uwagę ze względu na swe cechy, a zwłaszcza na precyzyjne modelowanie procesów biznesowych. Artykuł przedstawia klasyfikację najbardziej znanych metod formalnych możliwych do zastosowania w modelowaniu procesu biznesowego. (abstrakt oryginalny)

EN

Formal Methods in Business Process Modelling Business process is one of components of enterprise model. Business process can be presented in many ways: non-formal, semiformal or formal. Formal methods are very interesting for their character especially for precisely modelling of business processes. This paper presented classification most popular formal methods used for modelling business processes. (original abstract)

Słowa kluczowe

PL

Modelowanie procesów biznesowych; Zarządzanie procesami; Modelowanie procesów gospodarczych; Modelowanie matematyczne

EN

Business Process Modeling; Process management; Economic process modeling; Mathematical modeling

• Czasopismo: Prace Naukowe Akademii Ekonomicznej we Wrocławiu
• Rocznik: 2004
• Numer: nr 1044 Nowoczesne technologie informacyjne w zarządzaniu
• Strony: 41--49

Twórcy

autor

Stanisław Kędzierski

Bibliografia

• Alice R, Warboys B. (1995), Roles Represent Patterns. Workshop on Pattern Languages of Object- oriented Programs, ECOOP'95 Dannmark..
• Baeten J., Bergstra J. (1991), Real Time Process Algebra, Formal Aspects of Computing, vol. 3, s. 142-188.
• Berthomieu B., Diaz M. (1991), Modeling and Verification of Tirne Dependent Systems Using Timed Petri Nets, IEEE Transactions on Software Engineering, vol. 17, s. 259-273.
• Bubenko J., Brash D., Stirna J. (2001), EKD User Guide. Technical Report, Kista, Dept. of Computer and Systems Science, Royal Institute of Technology, Stockholm University, Stockholm. http://www.dsv.su.se/~js/ekduserguide.html.
• Chellas B. (1980), Modal logic An Introduction, Cambridge University Press, Cambridge.
• Davenport T. (1992), Process Innovation: Reengineering Work through Information Technology, Harvard Business School Press.
• Eriksson H., Penker M. (2000), Business Modeling with UML: Business Patterns at Work, Wiley Computer Publishing.
• Guttag J., Horning J. (1993), Larch: Languages and Tools for Formal Specification, Springer-Verlag.
• Hammer M., Champy J. (1993), Reengineering the Corporation. Harper Collins, New York.
• Harel D. (1988), On visual foniwlisms. CACM, vol. 31, no. 5, s. 514-530.
• Hoare C. (1978), Communicating Seąuential Processes. CACM, vol.21, s. 666-677.
• Jones C. (1984), Konstruowanie oprogramowania metodą systematyczną, WNT, Warszawa.
• Kędzierski S. (2002), Podstawy formalnego modelowania organizacji za pomocą ról, [w:] Systemy wspomagania organizacji, red. T. Porębska-Miąc, H. Sroka, SWO'2002, Katowice, s. 369-376.
• Kędzierski S. (2004), Sposoby formalnego modelowania celów organizacji, w: Pozyskiwanie wiedzy i zarządzanie wiedzą, red. M. Nycz, M. Owoc, Prace Naukowe Akademii Ekonomicznej nr 1011, AE, Wrocław 2004, s. 129-136.
• Kueng P., Kawałek P., Bichler P. (1996), How to Compose an Object-Oriented Business Process Modeli Working Paper IPG, University of Manchester.
• Lano K. (1996), The B Language and Method: A Guide to Practical Fornial Development, Springer- -Yerlag.
• Ould M. (1995), Business Processes: Modelling and Analysis for Reengineering and Improvement, Wiley & Sons, Chichester.
• Rein G. (1993), Collaboration Technology for Organisation Design, Proceedings of the 26th Annual H1CSS, Mani, s. 137-148.
• Reisig W. (1988), Sieci Petriego, Wydawnictwa Naukowo-Techniczne, Warszawa.
• Spivey J. (1988), Understanding Z. A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge.