Process-oriented organization modeling and analysis

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007

Volumn , Issue , 2007, Pages 114-125

  Popova, Viara ^a   Sharpanskykh, Alexei ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FISCHER-TROPSCH SYNTHESIS; FORMAL LOGIC; INTELLIGENT AGENTS; MODAL ANALYSIS; MULTI AGENT SYSTEMS; PAPER; QUERY LANGUAGES; TECHNICAL PRESENTATIONS; WORK SIMPLIFICATION;

CONSTRAINT TYPES; DOMAIN SPECIFICS; FORMAL FRAMEWORKS; FORMAL TECHNIQUES; GENERAL FRAMEWORKS; MODELING AND ANALYSIS; ORGANIZATIONAL CONSTRAINTS; ORGANIZATIONAL MODELS; PHYSICAL WORLDS; PREDICATE LOGICS; PROCESS-ORIENTED;

INFORMATION SYSTEMS;

EID: 49249097951     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26 (1983) 832-843.
2. Artie, 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, Springer-Verlag, 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. th 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