Formalne metody opisu komunikacji biznesowej

• Autorzy: Stanisław Kędzierski

Warianty tytułu

Formal Methods Specifying Business Communication

• Języki publikacji: PL

Abstrakty

Jednym z istotnych problemów jakie ma do rozwiązania projektant procesów biznesowych jest modelowanie komunikowania się agentów. Istnieje spora liczba metod, za pomocą których można wyspecyfikować to zagadnienie. W artykule przedstawione zostały trzy z nich: logika illokucyjna, dokumentacja sieci Petri oraz COLOR-X.

EN

One of the important problems faced to designer of information systems is modelling communication between agents. There are some methods that are suitable to specify this problem. The paper presents three of them: illocutionary logic, documentary Petri-nets and COLOR-X. (original abstract)

Słowa kluczowe

PL

Komunikowanie w biznesie; Sieć Petriego; Komunikowanie w grupie; Obsługa klienta

EN

Business communication; Petri net; Communication in a group; Customer service

• Czasopismo: Prace Naukowe / Akademia Ekonomiczna w Katowicach
• Rocznik: 2001
• Tom: Systemy wspomagania organizacji SWO'2001
• Strony: 232--239

Twórcy

autor

Stanisław Kędzierski

• Akademia Ekonomiczna w Katowicach

Bibliografia

• Burg, J.F.M., 1997. Linguistic Instruments in Reąuirements Engineering. Vrije Universiteit, IOS Press, Amsterdam.
• Dignum, F., H. Weigand,. Modelling communication between cooperative systems CAISE'95 1995.
• Dignum. F., A Language for Modelling Knowledge Bases. Based on Linguistics, Founded in Logic, Vrije Universiteit, Amsterdam 1989.
• Lee R.: Automated Generation of Electronic Procedures: Procedurę Constraint Grammars. Proceedings of the Workshop on Formal Models of Electronic Commerce. 1999.
• Medina-Mora R. Wong H., Flores P.: ActionWorkflow™ as an enterprise integration technology. Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, vol. 16, no. 2, 1993, s. 49 - 52.
• Meyer J., A Different Approach to Deontic Logic: Deontic Logic Viewed as a variant of Dynamie Logic. Notre Damę Journal of Formal Logic, Volume 29, Number 1. 1988.
• Searle J., Vanderveken D.: Foundations of ilłocutionary logie. Cambridge University Press, 1985.
• Searle J.: Czynności mowy: rozważania z filozofii języka. Pax, Warszawa, 1987.
• Weigand H., W.J. van den Heuvel,. Meta-Patterns for Electronic Commerce Transactions based on FLBC. Hawaii Int Conf on System Sciences (HICSS'98), IEEE Press. 1998.