Goal - driven analysis of process model validity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3084, Issue , 2004, Pages 521-535

  Soffer, Pnina ^a   Wand, Yair ^a,b  

^a UNIVERSITY OF HAIFA   (Israel)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SUPPLY CHAINS; SYSTEMS ENGINEERING;

BUSINESS PROCESS MODEL; GENERIC THEORY; GRAPHICAL REPRESENTATIONS; PROCESS MODELING; PROCESS MODELLING; SUPPLY CHAIN OPERATIONS REFERENCE MODELS; THEORETICAL FOUNDATIONS; VALIDITY EVALUATIONS;

PROCESS ENGINEERING;

EID: 35048832283     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25975-6_37     Document Type: Article

References (22)

1. Ams, M., Fischer, M., Kemper, P., and Tepper, C. (2002), "Supply Chain Modelling and its Analytical Evaluation", Journal of the Operational Research Society, Vol. 53, pp. 885-894.
2. Bider, I., Johannesson, P., Perjons, E. (2002), "Goal-Oriented Patterns for Business Processes", Position paper for Workshop on Goal - Oriented Business Process Modeling (GBPM'02).
3. Bunge. M., Treatise on Basic Philosophy: Vol. 3, Ontology I: The Furniture of the World. Reidel, Boston, 1977.
4. Bunge. M., Treatise on Basic Philosophy: Vol. 4, Ontology II: A World of Systems, Reidel, Boston, 1979.
5. Eshuis, R., Jansen, D. N., and Weiringa, R. (2002), "Requirements - Level Semantics and model Checking of Object - Oriented Statecharts", Requirements Engineering, 7, pp. 243263.
6. th International Conference on Software Engineering (ICSE), ACM Press NY USA, pp. 166-176.
7. Hammer, M. and Champy, J. (1994), Reengineering the Corporation - A manifesto for Business Revolution, Nicholas Brealey Publishing, London.
8. Humphreys, P. K., Lai, M. K., and Sculli, D. (2001), "An Inter - organizational Information System for Supply Chain Management", International Journal of Production Economics, Vol. 70 No. 3, pp. 245-55.
9. Johannesson, P. and Perjons, E., 2001, "Design Principles for Process Modeling in Enterprise Application Integration", Information Systems 26 pp. 165-184.
10. Kavakli, V., and Loucopoulos, P. (1998), "Goal - Driven Business Process analysis Application in Electricity Deregulation", in Pernici, B. and Thanos, C. (ed.), Advanced Information Systems Engineering (CAiSE'98), LNCS 1413, Springer - Verlag Berlin, pp. 305-324.
11. Khomyakov M., and Bider, I. (2000), "Achieving Workflow Flexibility through Taming the Chaos" OOIS 2000 - 6th international conference on object oriented information systems. Springer - Verlag Berlin, pp. 85-92.
12. Kueng, P., and Kawalek, P. (1997), "Goal - based Business Process Models: Creation and Evaluation", BPMJ, Vol. 3 No.l, pp. 17-38.
13. Latella, D., Majzik, I., and Massink, M. (1999), Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the Spin Model - checker, Formal Aspects of Computing, 11, pp. 637-664.
14. Paulson, D. and Wand, Y., (1992) "An Automated Approach to Information Systems Decomposition", IEEE Transactions on Software Engineering, Vol. 18 No. 3, pp. 174-189.
15. Scheer, A. W., 1999, ARIS - Business Process Frameworks, Springer, Berlin.
16. SCOR Reference model, Supply chain council, www.supply-chain.org.
17. Soffer, P., Golany, B., Dori, D., and Wand, Y. (2001) "Modeling Off - the - Shelf Information Systems Requirements: An Ontological Approach", Requirements Engineering, Vol. 6, pp.183-199.
18. Soffer, P., and Wand, Y., 2003, "On the Notion of Soft Goals in Business Process Modeling", Business Process Management Journal (to appear).
19. Stephens S. (2001), "Supply Chain Operations Reference Model Version 5.0: a New Tool to Improve Supply Chain Efficiency and Achieve Best Practice", Information Systems Frontiers, Vol. 3 No. 4, pp. 471-476.
20. Van der Aalst, W. M. P. (1997), "Verification of Workflow Nets", Application and Theory of Petri Nets, LNCS 1248, Springer - Verlag, Berlin, pp. 407-426.
21. Van der Aalst, W. M. P. And Ter Hofstede, A. H. M., 2000, "Verfication of Workflow Task Structure: A Petri - net - based Approach", Information Systems 25(1), pp. 43-69.
22. Wand, Y. and. Weber, R (1990), "An Ontological Model of an Information System", IEEE Trans, on Software Engineering, Vol. 16, No. 11, pp. 1282-1292.