Process-oriented organisation modelling and analysis

Enterprise Information Systems

Volumn 2, Issue 2, 2008, Pages 157-176

  Popova, Viara ^a   Sharpanskykh, Alexei ^b  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Constraints; Enterprise modelling; Formal verification; Process oriented modelling; Workflows

Indexed keywords

COMPUTER APPLICATIONS; FORMAL VERIFICATION; INFORMATION SYSTEMS;

CONSTRAINT TYPES; CONSTRAINTS; ENTERPRISE MODELLING; FORMAL TECHNIQUES; MODELLING AND ANALYSIS; PROCESS-ORIENTED; PROCESS-ORIENTED MODELLING; WORK-FLOWS;

SPECIFICATIONS;

EID: 46249114081     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517570802072795     Document Type: Article

References (40)

1. Arbab, F. (2004) Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14:3, pp. 329-366.
2. Allen, JF (1983) Maintaining knowledge about temporal intervals. Communications of the ACM, 26, pp. 832-843.
3. Adam, NR, Atluri, V. and Huang, W-K (1998) Modeling and analysis of workflows using Petri Nets. Journal of Intelligent Information Systems, 10, pp. 131-158.
4. Attie, P. et al. Specifying and enforcing intertask dependencies. Proceedings of the 19th VLDB conference San Francisco Morgan-Kaufman, pp. 134-145.
5. Barkaoui, K. and Petrucci, L. (1998) Structural analysis of workflow nets with shared resources. Workflow management: Net-based concepts, models, techniques and tools, 98, pp. 82-95. UNINOVA, Lisbon
6. Bernus et al. (1998) Handbook on architectures of information systems, Springer-Verlag, Heidelberg
7. Bettini, C., Wang, X. and Jajodia, S. (2002) Temporal reasoning in workflow systems. Distributed and Parallel Databases, 11:3, pp. 269-306.
8. Bi, HH and Zhao, JL (2004) Applying propositional logic to workflow verification. Information Technology and Management, 5, pp. 293-318.
9. Bonner, AJ and Kifer, M. (1998) A logic for programming database transactions. Logics for databases and information systems, Norwel, MA
10. BPML Business Process Modeling Language
11. BPMN Business Process Modeling Notation
12. Broek, E. et al. (2006) Formal modeling and analysis of organizations. Coordination, organization, institutions and norms in agent systems I, pp. 18-34. Springer, Heidelberg
13. Cormen, TH et al. (2001) Introduction to algorithms, MIT Press, Cambridge
14. CIMOSA -Open system architecture for CIM (1993) ESPRIT consortium AMICE, Springer-Verlag, Berlin
15. Clarke, EM, Grumberg, O. and Peled, DA (2000) Model checking, MIT Press, Cambridge
16. Fox, MS (1992) The TOVE project: Towards a common-sense model of the enterprise. Proceedings of ICIEMT'92, pp. 310-319. MIT Press, Cambridge
17. Horling, B. and Lesser, V. (2005) A survey of multi-agent organizational paradigms. The Knowledge Engineering Review, 19:4, pp. 281-316.
18. Li, H., Yang, Y. and Chen, TY (2004) Resource constraints analysis of workflow specifications. Journal of Systems and Software, 73:2, pp. 271-285.
19. Lu, R. et al. Using a temporal constraint network for business process execution. Proceedings of 17th Australasian database conference Australian Computer Science Association, ACS
20. Malone, T., Crowston, K. and Herman, G. (2003) Organizing business knowledge: The MIT process handbook, MIT Press, Cambridge, MA
21. Manzano, M. (1996) Extensions of first order logic, Cambridge University Press, Cambridge
22. Menzel, C. and Mayer, RJ (1998) The IDEF family of languages. Handbook on architectures of information systems, pp. 209-241. Springer, Heidelberg
23. Peterson, JL (1981) Petri net theory and the modeling of systems, Prentice-Hall, Englewood Cliffs
24. Popova, V. and Sharpanskykh, A. (2007) Formal framework for modeling and analysis of organizations. Situational Method Engineering: Fundamentals and experiences: Fundamentals and experiences, proceedings of the IFIP WG8, pp. 343-358. Springer, Boston
25. Popova V. and Sharpanskykh, A. Formal analysis of executions of organizational scenarios based on process-oriented models. Proceedings of 21st European conference on modelling and simulation ECMS'07 SCS Press, pp. 36-44.
26. Popova, V. and Sharpanskykh, A. (2007) Formal modelling of goals in agent organizations. Proceedings of AOMS workshop joint with IJCAI'07, pp. 74-86.
27. Popova, V. and Sharpanskykh, A. Modelling organizational performance indicators. Proceedings of IMSM'07 conference SCS Press, pp. 165-170.
28. Popova, V. and Sharpanskykh, A. (2007) Process-oriented organization modeling and analysis based on constraints [online]. Technical Report 062911AI
29. Russell, N. et al. Workflow resource patterns. BETA Working Paper Series Eindhoven University of Technology
30. Scheer, A-W and Nuettgens, M. ARIS Architecture and reference models for business process management, pp. 366-389. Springer-Verlag, Berlin
31. Scott, WR (2001) Institutions and organizations, SAGE Publications
32. Sharpanskykh, A. Authority and its implementation in enterprise information systems. Proceedings of the 1st international workshop on management of enterprise information systems INSTICC Press
33. Sharpanskykh, A. (2007) Modeling and analysis of organizations from the air traffic management domain [online]. Technical Report 170707TR
34. Singh, MP (1996) Synthesizing distributed constrained events from transactional workflow specifications. Proceedings of the 12th IEEE international conference on data engineering, p. 616.
35. Tsang, E. (1993) Foundations of constraint satisfaction, Academic Press, London
36. Van der Aalst, WMP (1997) Verification of workflow nets. application and theory of Petri nets, pp. 407-426. Springer-Verlag, Berlin
37. Van der Aalst, WMP (1998) The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8:1, pp. 21-66.
38. Van der Aalst, WMP et al. (2005) YAWL: Yet another workflow language. Information Systems, 30:4, pp. 245-275.
39. Van der Aalst, WMP, Ter Hofstede, AHM, Kiepuszewski, B. and Barros, AP (2003) Workflow patterns. Distributed and Parallel Databases, 14:3, pp. 5-51.
40. Yang, D. and Zhang, S. (2003) Modeling workflow process models with statechart. In: Proceedings of ECBS, p. 55.