A fully abstract trace model for dataflow networks
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Blueprints for high availability: designing resilient distributed systems
Blueprints for high availability: designing resilient distributed systems
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Dependability analysis in HW-SW codesign
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
Hi-index | 0.00 |
Companies rely more and more on the dependability of their e-business application. E-business systems are, by their nature, heterogeneous, consisting not only of information technology component but also human- and infrastructural resources. Therefore, the assurance of a proper level of dependability has to cover all aspects of the system. In the paper, a Business Process Modeling (BPM) based approach is presented, which uses an extended UML profile to design the business processes to compensate the weaknesses of resources. A fault model describes the typical failure modes of the individual element types. Analysis methodologies well proven in the field of dependable computing are used to assess the dependability of the system and provide a basis for countermeasures against the faults. The paper describes the experiences with a pilot application.