Abstract
By employing some modalities as bases for modeling business processes, the present paper shows that a conventional way of analyzing Petri nets also turns out to be a method for specifying the novelty of business processes. This novelty is translated into terms of modal logics. Most conventional methods for modeling business processes represent “structures” of their processes, which do not show directly their “novelty.” The proposed method, on the other hand, enables us to specify their novelty. From the viewpoint of alethic, deontic and temporal modalities, business processes are modeled by interactions among three layers, i.e., top, main and base layers. The possible actions and states represented by using Petri nets in the main layer are controlled by designers’ intentions represented in the top layer, and by what we call social causalities represented in the base layer. It is well known that a conventional method for checking the reachabilities of Petri nets results in a coverability tree of the net. We show that the coverability tree of the net in the main layer can be interpreted as a transition tree of possible worlds in terms of the modal logic, and that the type of tree specifies some kind of novelty of a business process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Makino, K., Sidney, H.W., Kawamura, K.: Business Model Patent. Nihon Keizai Shinbun, Inc, Tokyo (2000) (in Japanese)
Scheer, A.W.: ARIS -Business Process Modeling. Springer, Berlin (1998)
Yoshihara, K.: An Introduction to Business Model, Part 1, Chap. 4. Kogyo Chosakai Publishing co.,ltd, Tokyo (2000 (in Japanese)
Kripke, S.A.: Semantical Analysis of Modal Logic I -Normal Modal Propositional Calculi. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 9, 67–96 (1963)
Hughes, G.E., Cressewll, M.J.: An Introduction to Modal Logic. Methuen and Co. Ltd., London (1968)
Katai, O.: Modal Logic and System Control. Trans. Soc. Instrum. & Control Eng. 22(12), 1005–1011 (1983) (in Japanese)
Reisig, W., Rozenberg, G.: Lectures on Petri Nets I. LNCS, vol. 1491. Springer, Heidelberg (1998)
MIT Process Handbook Project, http://ccs.mit.edu/ph
Hiromatsu, W., et al. (eds.): Encyclopedia of Philosophy. Iwanami Shoten, Publishers (1998) (in Japanese)
Bunge, M.: Causality. Harvard University Press, Cambridge (1959)
Katai, O., et al.: Decentralized Control of Discrete Event Systems based on Extended Higher-Order Petri Nets. In: Proc. of the 1st Asian Control Conference, vol. 2, pp. 897–900 (1994)
United States Patent, 5,794,207 (1998), http://164.195.100.11/
Suto, H., Kawakami, H., Katai, O.: A model for representing artifacts based on the modality of operations and states. Trans. Soc. Instrum. & Control Eng. 37(11), 1078–1086 (2001) (in Japanese)
Kawakami, H., et al.: A causal explanation of physical systems for supporting synthesis process. Trans. Soc. Instrum. & Control Eng. 37(8), 786–794 (2001) (in Japanese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kawakami, H., Akinaga, R., Suto, H., Katai, O. (2003). Translating Novelty of Business Model into Terms of Modal Logics. In: Gedeon, T.(.D., Fung, L.C.C. (eds) AI 2003: Advances in Artificial Intelligence. AI 2003. Lecture Notes in Computer Science(), vol 2903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24581-0_70
Download citation
DOI: https://doi.org/10.1007/978-3-540-24581-0_70
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20646-0
Online ISBN: 978-3-540-24581-0
eBook Packages: Springer Book Archive