To insure that a Trusted Platform Module (TPM) has been manufactured according to high security standards, Trusted Computing Group (TCG) specifications are accomplished by conformance tests. Conformance describes the correct and secure implementation of a TPM according to the specification and the respective protection profile. Conformance with a protection profile and security target, which bo...

Abstract. Calls have been made for water and ecological planning design to tackle the ongoing environmental degradation, yet gaps are not clear where implemented (blue) (green) infrastructure might help improve ecosystem services. We selected mega-city Beijing, pioneer of “Ecological Priority” strategy, as study area. evaluated conformance performance Beijing's water-related implementation on e...

A common problem in applying choreographies and orchestrations is ensuring and enforcing the consistency of the models which is often referred to as “conformance checking”. In this position paper, we introduce a concept for checking the conformance of WS-BPEL based orchestrations to ebBP-ST choreographies: First, the ebBP-ST and WS-BPEL models will be transformed into the process algebra CCS. A...

Quality is considered asthe principal factor that determines the long-termsuccess or failure of any organization. Organizations perform quality control by monitoring process output using Statistical Control, performed as part production (Statistical Process SPC) a final check (Acceptance Sampling).SPC major management statistical tool and its instruments (control charts capability analysis) are...

During the evolution of a large-scale software project, developers produce a large variety of software artifacts such as requirement specifications, design documents, source code, documentation, bug reports, etc. These software documents are not isolated items — they are semantically related to each other. They evolve over time and the set of active semantic relationships among them is also dyn...

Abstract By relating observed and modelled behaviour, conformance checking unleashes the full power of process mining. Techniques from this discipline enable analysis quality a model discovered event data, identification potential deviations, projection real traces onto models. This way, insights gained available data can be transferred to richer conceptual level, amenable for human interpretat...