Formal analysis of executions of organizational scenarios based on process-oriented models

21st European Conference on Modelling and Simulation: Simulations in United Europe, ECMS 2007

Volumn , Issue , 2007, Pages 36-44

  Popova, Viara ^a   Sharpanskykh, Alexei ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Formal analysis; Process oriented models; Workflow Management

Indexed keywords

TRANSISTOR TRANSISTOR LOGIC CIRCUITS; WORK SIMPLIFICATION;

ANALYSIS APPROACH; FORMAL ANALYSIS; FORMAL TECHNIQUES; ORGANIZATIONAL DYNAMICS; ORGANIZATIONAL PERFORMANCE; PROCESS ORIENTED MODELS; PROCESS-ORIENTED MODEL; WORKFLOW MANAGEMENTS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 84857513031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7148/2007-0036     Document Type: Conference Paper

References (10)

1. Aalst, W. van der; Beer, H.; and Dongen, B. van. 2005. "Process Mining and Verification of Properties: An Approach based on Temporal Logic". In On the Move to Meaningful Internet Systems. Springer-Verlag, Berlin.
2. Aalst, W. van der and Hee, K.M van. 2002. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA.
3. Barjis, J; Shishkov, B and Dietz, J. 2002. "Validation of Business Components via Simulation". In Proceedings of the 2002 Summer Computer Simulation Conference.
4. Bosse, T.; Jonker, C.M.; Meij, L. van der; Sharpanskykh, A. and Treur, J. 2006. "Specification and Verification of Dynamics in Cognitive Agent Models". In Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT'06. IEEE Computer Society Press.
5. Broek, E.; Jonker, C.; Sharpanskykh, A.; Treur, J. and Yolum, P. 2006. Formal Modeling and Analysis of Organizations. In Coordination, Organization, Institutions and Norms in Agent Systems I, LNAI 3913, Springer
6. Desel, J.; Juhas, G.; Lorenz, R. and Neumair, C. 2003. "Modelling and Validation with VipTool". LNCS 2678, 380-389. (Pubitemid 137629992)
7. Popova, V. and Sharpanskykh, A. 2006. "Process-Oriented Organization Modeling and Analysis Based on Constraints". Technical Report 062911AI, VUA, http://hdl.handle.net/1871/10545
8. Popova, V. and Sharpanskykh, A. 2007a. "Formal Modelling of Goals in Agent Organizations". In Proceedings of the AOMS Workshop (joint with IJCAI 2007).
9. Popova, V. and Sharpanskykh, A. 2007b. "Formal analysis of executions of organizational scenarios based on processoriented models". Technical Report 071601AI, VUA, http://hdl.handle.net/1871/10643
10. Sharpanskykh, A. and Treur, J. 2006. "Verifying Interlevel Relations within Multi-Agent Systems". In Proceedings of the 17th European Conference on Artificial Intelligence, ECAI'06. IOS Press.