Process-oriented Organization Modeling and Analysis

Viara Popova, Alexei Sharpanskykh

Abstract

This paper presents a formal framework for process-oriented modeling and analysis of organizations. The high expressivity of a sorted predicate logic language used for specification allows representing a wide range of process-related concepts (e.g., tasks, processes, resources), characteristics and relations, which are described in the paper. Furthermore, for every organization, structural and behavioral constraints on process-related concepts can be identified. Some of them should always be fulfilled by the organization (e.g., physical world constraints), whereas others allow some degree of organizational flexibility (e.g., some domain specific constraints). An organizational model is correct if it satisfies a set of relevant organizational constraints. This paper describes automated formal techniques for establishing correctness of organizational models w.r.t. a set of diverse constraint types. The introduced framework is a part of a general framework for organization modeling and analysis.

References

  1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26 (1983) 832-843.
  2. Attie, P., Singh, M., Sheth, A., Rusinkiewicz, M.: Specifying and enforcing intertask dependencies. In Proceedings of the 19th VLDB Conference (1993)
  3. Barkaoui, K., Petrucci L.: Structural Analysis of Workflow Nets with Shared Resources, In: Aalst, W.M.P. van der, Michelis G. De, Ellis, C. A.:Workflow Management: Net-based Concepts, Models, Techniques and Tools, Vol.98. (1998) 82-95
  4. Bettini, C., Wang, X., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distributed and Parallel Databases 11(3) (2002) 269 - 306.
  5. Business Process Modeling Language (BPML).http://www.bpmi.org.
  6. CIMOSA - Open System Architecture for CIM; ESPRIT Consortium AMICE, SpringerVerlag, Berlin (1993)
  7. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)
  8. Fox, M.S.: The TOVE project: towards a common-sense model of the enterprise. In Petrie, C.J., Jr.(Ed): Proceedings of ICIEMT'92, MIT Press (1992) 310-319
  9. Li, H., Yang, Y., Chen, T.Y.: Resource constraints analysis of workflow specifications. Journal of Systems and Software 73(2) (2004) 271-285
  10. Lu, R., Sadiq, S., Padmanabhan, V., Governatori, G.: Using a Temporal Constraint Network for Business Process Execution. In: Proc. of 17th Australasian Database Conference (2006)
  11. Manzano, M.: Extensions of First Order Logic, Cambridge University Press (1996)
  12. Menzel, C., Mayer, R.J.: The IDEF family of languages. In: Bernus, P. et al. (eds.): Handbook on Architectures of Information Systems, Springer-Verlag, Heidelberg (1998) 209-241
  13. Popova, V., Sharpanskykh, A.: Process-Oriented Organization Modeling and Analysis Based on Constraints. Technical Report 062911AI, VUA, http://hdl.handle.net/1871/10545
  14. Popova, V., Sharpanskykh, A.: Modelling Organizational Performance Indicators. In: Barros, F. et al. (Eds): Proc. of IMSM'07 conference (2007) 165-170
  15. Singh, M. P.: Synthesizing distributed constrained events from transactional workflow specifications. In: Proc. of the 12th IEEE Intl. Conf. on Data Engineering, (1996) 616-623
  16. Tsang, E.: Foundations of Constraint Satisfaction. Academic Press. (1993)
  17. Van der Aalst, W. M. P.: The application of Petri Nets to workflow management. The Journal of Circuits, Systems and Computers 8(1) (1998) 21-66
  18. Van der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(3) (2003) 5-51
Download


Paper Citation


in Harvard Style

Popova V. and Sharpanskykh A. (2007). Process-oriented Organization Modeling and Analysis . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 114-125. DOI: 10.5220/0002422801140125


in Bibtex Style

@conference{msvveis07,
author={Viara Popova and Alexei Sharpanskykh},
title={Process-oriented Organization Modeling and Analysis},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)},
year={2007},
pages={114-125},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002422801140125},
isbn={978-972-8865-95-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)
TI - Process-oriented Organization Modeling and Analysis
SN - 978-972-8865-95-5
AU - Popova V.
AU - Sharpanskykh A.
PY - 2007
SP - 114
EP - 125
DO - 10.5220/0002422801140125