Early Validation Framework for Critical and Complex Process-Centric Systems

International audienceGuaranteeing the correctness of the future system is of vital importance for the development of critical and complex systems. Rigorous software development methodologies are used for such systems, where formal methods for the verification of properties guarantee the required level of correctness. For process-centric, critical and complex systems, one needs continuous observation of the process (through simulation and visualization) both during the development for correctness and afterwards for process improvement. We present a framework with associated methodology and tools, for the development of process-centric critical and complex systems. This early validation methodology promotes formal verification of the process model alongside agent-oriented simulation and visualization of the process models in a distributed context. Moreover, the process simulation technique proposed in the methodology allows step-wise replacement of the simulated components with the actual system services. We explain the proposed methodology using an adaptation of a real-life case-study from the military sector

Decomposition Driven Consolidation of Process Models

Abstract. Oftentimes business processes exist not as singular entities that can be managed in isolation, but as families of variants that need to be managed together. When it comes to modelling these variants, analysts are faced with the dilemma of whether to model each variant separately or to model multiple or all variants as a single model. The former option leads to a proliferation of models that share common parts, leading to redundancy and possible inconsistency. The latter approach leads to less but more complex models, thus hindering on their comprehensibility. This paper presents a decomposition driven method to capture a family of process variants in a consolidated manner taking into account the above trade-off. We applied our method on a case study in the banking sector. A reduction of 50 % of duplication was achieved in this case study