ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS

Takashi Hattori, Hiroshi Kawakami, Osamu Katai, Takayuki Shiose

Abstract

We introduce a novel notion of decentralized governance structure of event-driven processes together with the notions of their behavioral and structural correctness. The ways for attaining correct process behavior, as well as the notion of decentralized governability, are examined based on temporal logical analyses of process behavior via Petri net representations of process structures. Also, the deontic and temporal logical prescriptions of normative constraints (tasks) on the processes are introduced that are then translated into extended hierarchical Petri net structures. The conflicts among these tasks are examined on this hierarchical structure.

References

  1. Blackburn, P. et al., editors (2006). Handbook of Modal Logic. Elsevier.
  2. Harary, F. et al. (1965). Structural Models: An Introduction to the Theory of Directed Graphs. J. Wiley.
  3. Hu, Z. and Shatz, S. M. (2004). Mapping UML diagrams to a Petri net notation for system simulation. Proc. of the 16th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), pages 213-219.
  4. Hughes, G. H. and Cresswell, M. J. (1968). An Introduction of Modal Logic. Methuen.
  5. Karatkevich, A. (2007). Dynamic Analysis of Petri Net-Based Discrete systems, volume LINCIS356. Springer-Verlag.
  6. Katai, O. (1981). Completeness and expressive power of nexttime temporal logical system by semantic tableau method. Rapport de Recherche INRIA, 109.
  7. Katai, O. and Iwai, S. (1983). A design method for concurrent systems based on step diagram and tense logic under incompletely specified design criteria (in Japanese). Systems, Control and Information, 27(6):31-40.
  8. Nute, A. L. D., editor (2004). Deontic Logic in Computer Science, LNAI3056. Springer-Verlag.
  9. Peterson, J. L. (1981). Petri Net Theory and the Modeling of Systems. Prentice Hall.
  10. Reisig, W. (1982). Petri Nets. Springer-Verlag.
  11. Rescher, N. and Urquhart, A. (1971). Temporal Logic. Springer-Verlag.
  12. Saldhana, J. and Shatz, S. M. (2000). UML diagrams to object Petri net models: An approach for modeling and analysis. Proc. of the Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), pages 103-110.
Download


Paper Citation


in Harvard Style

Hattori T., Kawakami H., Katai O. and Shiose T. (2008). ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS . In Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008) ISBN 978-989-8111-58-6, pages 29-36. DOI: 10.5220/0001907500290036


in Bibtex Style

@conference{ice-b08,
author={Takashi Hattori and Hiroshi Kawakami and Osamu Katai and Takayuki Shiose},
title={ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS},
booktitle={Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008)},
year={2008},
pages={29-36},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001907500290036},
isbn={978-989-8111-58-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008)
TI - ANALYZING DECENTRALIZED GOVERNABILITY OF BUSINESS PROCESSES BY EXTENDED PETRI NETS AND MODAL LOGICS
SN - 978-989-8111-58-6
AU - Hattori T.
AU - Kawakami H.
AU - Katai O.
AU - Shiose T.
PY - 2008
SP - 29
EP - 36
DO - 10.5220/0001907500290036