Modelling dependable collaborative time-constrained business processes

Enterprise Information Systems

Volumn 4, Issue 2, 2010, Pages 153-214

  Capozucca, Alfredo ^a   Guelfi, Nicolas ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Business process; Business process modelling language; Collaboration; Dependability; Exception handling; Fault tolerance; Resilience; Time; Transaction processing

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MODELLING; COLLABORATION; EXCEPTION HANDLING; RESILIENCE TIME; TRANSACTION PROCESSING;

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; INFORMATION SYSTEMS; LINGUISTICS;

QUALITY ASSURANCE;

EID: 77951761004     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517571003753266     Document Type: Article

References (51)

1. Abbott, R.K. and Garcia-Molina, H., 1992. Scheduling real-time transactions: a performance evaluation. ACM Transactions on Database Systems, 17 (3), 513-560.
2. ARIS Community, 2009. ARIS Express 1.0 [online]. Available from: http://www.ariscom-munity.com/aris-express [Accessed 16 December 2009].
3. Avizienis, A., 1985. The N-version approach to fault-tolerant software. IEEE Transactions on Software Engineering, 11 (12), 1491-1501.
4. Avizienis, A., et al., 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable Secure Computing, 1 (1), 11-33.
5. Bradford, L. and Dumas, M., 2007. Getting started with YAWL [online]. Available from: http://yawlfoundation.org/yawldocs/GettingStartedWithYAWL.pdf [Accessed 10 December 2009].
6. Buhr, P.A. and Mok, W.R., 2000. Advanced exception handling mechanisms. IEEE Transactions on Software Engineering, 26 (9), 820-836.
7. Burns, A., 1991. Scheduling hard real-time systems: a review. Software Engineering Journal, 6, 116-128.
8. Burns, A. and Wellings, A.J., 2001. Real-time systems and programming languages: ADA 95, real-time Java, and real-time POSIX. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc.
9. Campbell, R.H. and Randell, B., 1986. Error recovery in asynchronous systems. IEEE Transactions on Software Engineering, 12 (8), 811-826.
10. Cardoso, J., Bostrom, R.P., and Sheth, A., 2004. Workflow management systems and ERP systems: differences, commonalities, and applications. Information Technology and Management, 5 (3-4), 319-338.
11. Cristian, F., 1989. Exception handling. In: T. Anderson, ed. Dependability of resilient computers. Oxford: Blackwell Scientific Publications, 68-97.
12. Cristian, F. and Fetzer, C., 1994. Probabilistic internal clock synchronization. In: Proceedings of the Thirteenth Symposium on Reliable Distributed Systems, October 1994, Dana Point, CA. Los Alamitos, CA: IEEE Computer Society, 22-31.
13. Elnozahy, E.N.M., et al., 2002. A survey of rollback-recovery protocols in message-passing systems. ACM Computer Surveys, 34 (3), 375-408.
14. Gray, J., 1981. The transaction concept: virtues and limitations (invited paper). In: VLDB'1981: Proceedings of the Seventh International Conference on Very Large Data Bases, Cannes, France VLDB Endowment, 144-154.
15. Gray, J. and Reuter, A., 1992. Transaction processing: concepts and techniques. San Francisco, CA: Morgan Kaufmann.
16. Guelfi, N., et al., 2008. SERENE'08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, Newcastle upon Tyne. New York, NY, USA: ACM.
17. Gusella, R. and Zatti, S., 1989. The accuracy of the clock synchronization achieved by TEMPO in Berkeley UNIX 4.3BSD. IEEE Transactions on Software Engineering, 15 (7), 847-853.
18. Hamel, G. and Valikangas, L., 2003. The quest for resilience. Harvard Business Review, 81 (9), 52-63.
19. Harel, D. and Rumpe, B., 2004. Meaningful modeling: what's the semantics of "semantics"? Computer, 37 (10), 64-72.
20. Horning, J.J., et al., 1974. A program structure for error detection and recovery. In: Operating Systems, Proceedings of an International Symposium. London, UK: Springer-Verlag, 171-187.
21. IFIP WG 10.4 on Dependable Computing and Fault Tolerance, 1960. IFIP WG 10.4 [online]. Available from: http://www.dependability.org/wg10.4/ [Accessed 01 December 2009].
22. Kent, S., 2002. Model driven engineering. In: IFM'02: Proceedings of the Third International Conference on Integrated Formal Methods. London, UK: Springer-Verlag, 286-298.
23. Lamport, L.,1978. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21 (7), 558-565.
24. Lamport, L., Shostak, R., and Pease, M., 1982. The Byzantine generals problem. ACM Transactions on Programming Language and Systems, 4 (3), 382-401.
25. Lima, G.M. de A. and Burns, A., 2005. Scheduling fixed-priority hard real-time tasks in the presence of faults. In: Proceedings of the second Latin-American symposium - LADC 2005. Berlin/Heidelberg: Springer, 154-173.
26. Liu, X., et al., 2008. Manufacturing perspective of enterprise application integration: the state of the art review. International Journal of Production Research, 46 (16), 4567-4596.
27. Mans, R., et al., 2009. Schedule-aware workflow managment systems. In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'09), Paris. Hamburg: University of Hamburg, Department of Informatics, 81-96.
28. Marjanovic, O., 2000. Dynamic verification of temporal constraints in production workflows. In: ADC'00: Proceedings of the Australian Database Conference. Washington, DC: IEEE Computer Society, 74. ISBN 0-7695-0528-7.
29. Meyer, B., 1997. Object-oriented software construction. 2nd ed. Upper Saddle River, NJ: Prentice-Hall.
30. Mustafiz, S., Kienzle, J., and Berlizev, A., 2008. Addressing degraded service outcomes and exceptional modes of operation in behavioural models. In: SERENE'08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, Newcastle upon Tyne, United Kingdom. New York, NY, USA: ACM, 19-28.
31. Network Time Protocol, 1980. NTP [online]. Available from: http://www.ntp.org [Accessed 1 September 2009].
32. OASIS, 2007. WS-BPEL 2.0 [online]. Available from: http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf [Accessed 17 February 2010].
33. Object Management Group (OMG), 2009a. Unified modeling language superstructure specification version 2.2. Available from: http://www.omg.org/cgi-bin/doc?formal/09-02-02.pdf [Accessed 10 December 2009].
34. OMG, 2009b. Business process modeling notation (BPMN). Version 1.2. Available from: http://www.omg.org/spec/BPMN/1.2/PDF [Accessed 10 December 2009].
35. Papazoglou, M.P. and van den Heuvel, W.J., 2007. Business process development life cycle methodology. Communications of the ACM, 50 (10), 79-85.
36. Randell, B.,1975. System structure for software fault tolerance. IEEE Transactions on Software Engineering, (SE-1), 220-232.
37. Randell, B. and Koutny, M., 2007. Failures: their definition, modelling and analysis. Theoretical Aspects of Computing ICTAC 2007. Berlin, Heidelberg: Springer, 260-274.
38. Romanovsky, A., Xu, J., and Randell, B., 1999. Coordinated exception handling in real-time distributed object systems. Computer Systems Science and Engineering, 14 (4), 197-208.
39. Russell, N.C., 2007. Foundations of process-aware information systems. Thesis (PhD). Faculty of Information Technology, Queensland University of Technology.
40. Schmidt, D.C., 2006. Guest editor's introduction: model-driven engineering. Computer, 39, 25-31.
41. Soffer, P., Golany, B., and Dori, D., 2003. ERP modeling: a comprehensive approach. Information Systems, 28 (6), 673-690.
42. Tel, G.,1994. Introduction to distributed algorithms. New York, NY, USA: Cambridge University Press.
43. Toh, K.T.K.,1999. The realization of reference enterprise modelling architectures. International Journal of Computer Integrated Manufacturing, 12 (5), 403-417.
44. Van Der Aalst, W.M.P., et al., 2003. Workflow patterns. Distributed and Parallel Databases, 14(1),5-51.
45. van der Aalst, W.M.P., 1999. Formalization and verification of event-driven process chains. Information & Software Technology, 41 (10), 639-650.
46. Warmer, J. and Kleppe, A., 2003. The object constraint language: getting your models ready for MDA. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc.
47. White, S.A. and Miers, D., 2008. BPMN modeling and reference guide: understanding and using BPMN. Lighthouse Point, FL, USA: Future Strategies Inc.
48. Workflow Management Coalition, 1999. Terminology & Glossary. Document Number WFMC-TC-1011. Issue 3.0. Available from: http://www.wfmc.org/Download-document/WFMC-TC-1011-Ver-3-Terminology-and-Glossary-English.html [Accessed 17 February 2010].
49. Workflow Management Coalition, 2008. XPDL 2.1 [online]. Available from: http://www.wfmc.org/xpdl.html [Accessed 17 February 2010].
50. YAWL Foundation, 2009. YAWL User Manual 2.0 [online]. Available from: http://www.yawlfoundation.org/yawldocs/YAWLUserManual2.0.pdf [Accessed 10 December 2009].
51. Yet Another Workflow Language, 2008-2009. YAWL [online]. Available from: www.yawl-system.com [Accessed 1 December 2009].