High-level design and analysis of business processes: The advantages of declarative specifications

Proceedings of the 2nd International Conference on Research Challenges in Information Science, RCIS 2008

Volumn , Issue , 2008, Pages 99-110

  Rychkova, I ^a   Regev, G ^a   Wegmann, A ^a  

^a EPFL   (Switzerland)

Author keywords

Alloy; Business process modeling; Formal verification; Refinement

Indexed keywords

COMMUNICATION; INFORMATION SCIENCE; PLANNING; SPECIFICATIONS; STRATEGIC PLANNING;

BUSINESS PROCESS MODELING; BUSINESS PROCESS MODELS; BUSINESS PROCESSES; BUSINESS STRATEGIES; DECLARATIVE SPECIFICATIONS; DESIGN TIMES; EXACT ORDERS; FORMAL VERIFICATION; LEVEL DESIGNS; OPTIONAL PROCESSES; PROCESS REDESIGNS; REFINEMENT; TO MANY;

PROCESS ENGINEERING;

EID: 57449083632     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RCIS.2008.4632098     Document Type: Conference Paper

References (29)

1. M. Khomyakov, and I. Bider, "Achieving Workflow Flexibility through Taming the Chaos". OOIS 2000 - 6th international conference on object oriented information systems. Springer, 2000, pp.85-92.
2. Reprinted in the Journal of Conceptual Modeling, August 2001: http://www.inconcept.com/JCM/August2001/bider.html, accessed December 2007.
3. G. Regev, and A. Wegmann, "Regulation Based Linking of Strategic Goals and Business Processes", Proceedings of the 3rd BPMDS Workshop on Goal-Oriented Business Process Modeling, GBPM'02, London, September 2002.
4. K. E.Weick, "The Social Psychology of Organizing", second edition, McGraw-Hill. 1979
5. M.M. Narasipuram, G. Regev, K. Kumar, A. Wegmann, "Business Process Flexibility through the Exploration of Stimuli", accepted for publication, International Journal of Business Process Integration and Management (IJBPIM), 2008
6. Business Process Modeling Notation (BPMN) Version 1.0, OMG Final Adopted Specification, February 6, 2006.
7. I. Jacobson, M. Christerson, P. Jonsson, G. Overgaard, "Object-Oriented Software Engineering: A Use Case Driven Approach", (ACM Press) Addison-Wesley, 1992.
8. G. Regev, P. Soffer, and R. Schmidt, "Taxonomy of Flexibility in Business Processes", proceedings of the seventh workshop on Business Process Modeling, Design and Support (BPMDS'06), 2006.
9. A. Wegmann, "On the systemic enterprise architecture methodology (SEAM)", proceedings of International Conference on Enterprise Information Systems 2003, (ICEIS 2003), Angers, France.
10. A. Wegmann, G. Regev, I. Rychkova, L-S. Lê, "Business-IT Alignment with SEAM for Enterprise Architecture", proceedings of the 11th IEEE International EDOC Conference (EDOC 2007), Annapolis, Maryland, 15-19 October 2007.
11. A. Wegmann, P. Julia, G. Regev, O. Perroud, I. Rychkova, "Early Requirements and Business-IT Alignment with SEAM for Business", proceedings of the 15th IEEE International Requirements Engineering Conference, New Delhi, India, October 15-19th, 2007.
12. D. Jackson, "Software Abstractions: Logic, Language, and Analysis", MIT Press. Cambridge, MA. March 2006. ISBN 0-262-10114-9
13. Alloy Analyzer 4.0, http://Alloy.mit.edu/Alloy4/
14. Stabell, C. B. and Fjeldstad, Ø. D., "Configuring value for competitive advantage: on chains, shops, and network", Strategic Management Journal 19(5): p. 413 - 437, 1998
15. N. Wirth, "Program development by stepwise refinement", Communications of the ACM, 14:221-227. 1971.
16. I. Rychkova, A. Wegmann, "Refinement propagation. Towards automated construction of visual specifications", proceedings of International Conference on Enterprise Information Systems (ICEIS) (2007)
17. K. Knoll, S.L. Jarvenpaa, "Information technology alignment or "fit" in highly turbulent environments: the concept of flexibility", proceedings of the 1994 computer personnel research conference on Reinventing IS.
18. P. Heinl, S. Horn, S. Jablonski, J. Neeb, K. Stein, and M. Teschke, "A Comprehensive Approach to Flexibility in Workflow Management Systems", proceedings of the international joint conference on work activities coordination and collaboration, 1999, San Francisco, California, USA, February 22-25, 1999, ACM 1999, pp79-88
19. W.M.P. van der Aalst, M. Weske, D. Grünbauer, "Case Handling: A New Paradigm for Business Process Support", Data Knowl. Eng. 53(2) (2005) 129-162
20. G. Regev, A. Wegmann, "A Regulation-Based View on Business Process and Supporting System Flexibility", proceedings of the CAiSE 2005 Workshops, p. 91-98.
21. G. Regev, I. Bider, A. Wegmann, "Defining business process flexibility with the help of invariants", Special Issue on Design for Flexibility. Published Online: 27 Sep 2006.
22. P. Rittgen, " Supporting Planned and Ad-Hoc Changes of Business Processes", proceedings of seventh workshop on Business Process Modeling, Development, and Support (BPMDS'06), Luxembourg, 5 - 6 June 2006.
23. C. Rolland, N. Prakash, "On the Adequate Modeling of Business Process Families", proceedings of the eighth workshop on Business Process Modeling, Development, and Support (BPMDS'07), 11-15 June 2007, Trondheim, Norway
24. P. Soffer, "On the Notion of Flexibility in Business Processes", proceedings of sixth workshop on Business Process Modeling, Development, and Support (BPMDS'05), Porto, Portugal June 13-14 2005
25. T. Baar and S. Marković, "A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules", Irina Virbitskaite and Andrei Voronkov, editors. Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Akademgorodok, Novosibirsk, Russia, June 27-30, 2006, Proceedings, LNCS 4378, pp. 70-83, Springer, 2007.
26. Unified Modeling Language: Superstructure, version 2.1.2, OMG, November 2007.
27. R. M. Dijkman, M. Dumas, and C. Ouyang, "Formal Semantics and Analysis of BPMN Process Models", preprint version, QUT | ePrints Archive, http://eprints.library.gut.edu.au/ 2007.
28. Behzad Bordbar and Kyriakos Anastasakis, "UML2Alloy: A tool for lightweight modelling of Discrete Event Systems". IADIS International Conference in Applied Computing 2005. In Nuno Guimarães and Pedro Isaías (es.), IADIS International Conference in Applied Computing 2005. Volume 1., Algarve, Portugal, IADIS Press, 2005. 209-216
29. L.S. Lê and A. Wegmann, "SeamCAD: Object-Oriented Modeling Tool for Hierarchical Systems in Enterprise Architecture", 39h IEEE Hawaii International Conference on System Sciences, 2006