Goal-driven multi-process analysis

Journal of the Association for Information Systems

Volumn 8, Issue 3, 2007, Pages 175-203

  Soffer, Pnina ^a   Wand, Yair ^b  

^a UNIVERSITY OF HAIFA   (Israel)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Ontology; Process Goals; Process interaction; Process modeling; Process validity

Indexed keywords

ONTOLOGY; PETRI NETS; SUPPLY CHAINS;

FORMAL PROCESS MODELS; GENERIC PROCESS MODELS; INTERPROCESS COMMUNICATION; PROCESS GOALS; PROCESS INTERACTION; PROCESS MODELING; SUPPLY CHAIN OPERATIONS REFERENCE MODELS; THEORETICAL FOUNDATIONS;

PROCESS DESIGN;

EID: 45849102054     PISSN: None     EISSN: 15369323     Source Type: Journal    
DOI: 10.17705/1jais.00119     Document Type: Article

References (46)

1. Aalst, W. M. P. v.d. (1997) "Verification of Workflow Nets", Application and Theory of Petri Nets, LNCS 1248, Berlin: Springer-Verlag, pp. 407-426.
2. Aalst, W. M. P. v.d. and A. H. M. t. Hofstede (2000) "Verification of Workflow Task Structure: A Petri-net-based Approach", Information Systems (25)1, pp. 43-69.
3. Aalst, W.M.P. v.d., A.H.M.t. Hofstede, B. Kiepuszewski and A.P. Barros (2003) "Workflow Patterns", Distributed and Parallel Databases (14)1, pp. 5-51.
4. Andersson, B., M.Bergholz, A.Edirisuriya, T. Ilayperuma and P. Johannesson (2005) "A Declarative Foundation of Process Models", In Proceedings of CAiSE'05 (LNCS 3520), Berlin: Springer-Verlag, pp. 233-247.
5. Arns, M., M.Fischer, P. Kemper and C. Tepper (2002), "Supply Chain Modelling and its Analytical Evaluation", Journal of the Operational Research Society (53), pp. 885-894.
6. Bergholtz M., P. Jayaweera, P. Johannesson and P. Wohed (2004) "A pattern and Dependency Based Approach to the Design of Process Models", Proceedings of ER'04 (LNCS 3288), Berlin: Springer-Verlag, pp. 724-739.
7. Bider, I., P. Johannesson and E. Perjons (2002) "Goal-Oriented Patterns for Business Processes", Position paper for Workshop on Goal-Oriented Business Process Modeling (GBPM'02).
8. BPMI.org (2004) Business process Modeling Notation (BPMN). Version 1.0 - May 2004, http://www.bpmi.org.
9. Bunge. M. (1977) Treatise on Basic Philosophy: Vol. 3, Ontology I: The Furniture of the World. Boston: Reidel.
10. Bunge. M. (1979) Treatise on Basic Philosophy: Vol. 4, Ontology II: A World of Systems, Boston: Reidel.
11. Cassati F. and A. Discenza (2001) "Modeling and Managing Interactions among Business processes", Journal of Systems Integration (10), pp. 145-168.
12. Curbera, F., Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte and S. Weerawarana (2003) "Business Process Execution Language for Web Services". http://www.ibm.com/developerworks/library/ws-bpel/
13. Dietz, J. L. G. (2001) "DEMO: Towards a Discipline of Organization Engineering", European Journal of Operational Research 128, pp. 351-363.
14. Dietz, J. L. G. (2006) Enterprise Ontology: Theory and Methodology, Berlin Heidelberg: Springer-Verlag
15. Dietz, J.L.G. and A. Albani (2005) "Basic Notions Regarding Business Processes and Supporting Information Systems", Requirements Engineering (10)3, pp. 175-183.
16. Eshuis, R., D.N. Jansen and R. Weiringa (2002) "Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts", Requirements Engineering (7), pp. 243-263.
17. Eshuis, R., and R. Weiringa (2002) "Verification Support for Workflow Design with UML Activity Graphs", Proceedings of the 24th International Conference on Software Engineering (ICSE), NY USA: ACM Press, pp. 166-176.
18. Guelfi N., G. le Cousin and B. Ries (2004) Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions, In Proceedings of OTM workshops (LNCS 3292), Berlin: Springer-Verlag, pp. 468-482.
19. Hammer, M. and J. Champy (1994) Reengineering the Corporation - A manifesto for Business Revolution, London: Nicholas Brealey Publishing.
20. Humphreys, P. K., M.K. Lai and D. Sculli (2001) "An Inter-organizational Information System for Supply Chain Management", International Journal of Production Economics, (70) 3, pp. 245-55.
21. Kavakli, V., and P. Loucopoulos (1998) "Goal-Driven Business Process analysis Application in Electricity Deregulation", in Pernici, B. and C. Thanos (ed.), Advanced Information Systems Engineering (CAiSE'98), LNCS 1413, Berlin: Springer-Verlag, pp. 305-324.
22. Khomyakov M., and I. Bider (2000) "Achieving Workflow Flexibility through Taming the Chaos" OOIS 2000 - 6th international conference on object oriented information systems, Berlin: Springer-Verlag, pp. 85-92.
23. Kueng, P., and P. Kawalek (1997) "Goal-based Business Process Models: Creation and Evaluation", Business Process Management Journal (3)1, pp. 17-38
24. Latella, D., I. Majzik and M. Massink (1999) "Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the Spin Model-checker", Formal Aspects of Computing, 11, pp. 637-664.
25. Malone, T.W., K.Crowston, J. Lee, et. al. (1999) "Tools for Inventing Organizations: Towards a Handbook of Organizational Processes", Management Science (45)3, pp. 425-443.
26. Mayer, R., C. Menzel, M. Painter P. Witte T. Blinn and B. Perakath (1995) Information Integration for Concurrent Engineering (IICE)IDEF3 Process Description CaptureMethod Report. Knowledge Based Systems Inc.(KBSI), http://www.idef.com/overviews/idef3.htm.
27. Milner, R. (1999) Communicating and Mobile Systems: the π-calculus, Cambridge University Press.
28. Neiger D. and L. Churilov (2004) "Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking", In Business Process Management: Second International Conference, BPM 2004, (LNCS 3080), Berlin: Springer-Verlag, pp. 98-115.
29. OMG-UML (2003) The Unified Modeling Language (UML™), version 1.5.
30. Ould, M. A. (1997) "Designing a Re-engineering Proof Process Architecture", Business Process Management Journal (3)3, pp. 232-247.
31. Ould, M. A. (2005) Business Process Management: A Rigorous Approach, UK: The British Computer Society.
32. Paulson, D. and Y. Wand (1992) "An Automated Approach to Information Systems Decomposition", IEEE Transactions on Software Engineering (18)3, pp. 174-189.
33. Rolland, C., N. Prakash and A. Benjamen (1999) "A Multi-Model View of Process Modelling", Requirements Engineering Journal, (4)4, pp. 169-187.
34. Rolland, C. and N. Prakash (2000) "Bridging the Gap Between Organizational Needs and ERP Functionality", Requirements Engineering (5)3, pp. 180-193.
35. Russel, N., W. v. d., Aalst and A. t. Hofstede (2006) "Workflow Exception Patterns", In Advanced Information Systems Engineering (CAiSE'06) (LNCS 4001), Berlin: Springer-Verlag, pp. 288-302.
36. Scheer, A. W. (1999) ARIS - Business Process Frameworks, Berlin: Springer.
37. SCOR Reference model version 7.0 (2005) Supply chain council. www.supply-chain.org.
38. Searle, J. R. (1979) Meaning and Expression, Cambridge: Cambridge University Press.
39. Soffer P. (2005) "Scope Analysis: Identifying the Impact of Changes in Business Process Models", Software Process Improvement and Practice (10)4, pp. 393-402.
40. Soffer, P., B. Golany, D. Dori and Y. Wand (2001) "Modeling Off-the-Shelf Information Systems Requirements: An Ontological Approach", Requirements Engineering 6, pp.183-199.
41. Soffer P. and C. Rolland (2005) "Combining Intention-Oriented and State-Based Process Modeling", International Conference on Conceptual Modeling (ER 2005), LNCS 3716, Berlin: Springer-Verlag, pp. 47-62.
42. Soffer P. and Y. Wand (2004) "Goal-driven Analysis of Process Model Validity", Advanced Information Systems Engineering (CAiSE'04), LNCS 3084, Berlin: Springer-Verlag, pp. 521-535.
43. Soffer, P., and Y. Wand (2005) "On the Notion of Soft Goals in Business Process Modeling", Business Process Management Journal (11)6, pp. 663-679.
44. 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 (3)4, pp. 471-476.
45. Wand, Y. and R. Weber (1990), "An Ontological Model of an Information System", IEEE Trans. on Software Engineering (16)11, pp. 1282-1292.
46. Y. Wand and R. Weber (1995) "Towards a Theory of Deep Structure of Information Systems", Journal of Information Systems, pp. 203-223.