Formal goal-based modeling of organizations

Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS)- Proc. 6th Int. Workshop on MSVVEIS 2008; In Conjunction with ICEIS 2008

Volumn , Issue , 2008, Pages 19-28

  Popova, Viara ^a,b   Sharpanskykh, Alexei ^b  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FISCHER-TROPSCH SYNTHESIS; TECHNICAL PRESENTATIONS; WORK SIMPLIFICATION;

FORMAL APPROACHES; MODELING APPROACHES; ORGANIZATIONAL PERFORMANCES; PERFORMANCE INDICATORS;

INFORMATION SYSTEMS;

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

References (11)

1. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J., 2004. Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems, 8, 203-236.
2. Bernus, P. et al. (eds.): Handbook on Architectures of Information Systems, Springer-Verlag, Heidelberg (1998) 209-241.
3. Chan, F.T.S., 2003. Performance measurement in a supply chain International Journal of Advanced Manufacturing Technology 21(7), 534-548.
4. Dardenne, A., van Lamsweerde, A., Fiskas, S.: Goal Directed Requirements Acquisition. Science of Computer Programming, 20 (1993) 3-50
5. Mylopoulos, J., Chung, L., Nixon, B., 1992. Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering, 18(6), 483-497.
6. Popova, V., Sharpanskykh, A., 2007. Modeling Organizational Performance Indicators. In Proc. of Int. Modeling and Simulation Multiconference, 165-170.
7. Popova, V., Sharpanskykh, A., 2008. Formal Goal-based Modeling of Organizations. Technical Report 080103AI, Vrije Universiteit Amsterdam, http://hdl.handle.net/1871/11732
8. th National Conference on Artificial Intelligence, 245-250.
9. Van Lamsweerde, A., Darimont, R., Letier, E., 1998. Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transaction on Software Engineering, 24(11), 908-926.
10. Van Linder, B., van der Hoek, W., and Meyer, J.-J. Ch., 1996. Formalising motivational attitudes of agents: On preferences, goals and commitments. In Intelligent Agents Volume II, vol. LNCS 1037, Springer, 17-32.
11. rd IEEE Int. Symp. on Requirements Engineering, 226-235.