Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Abstract. Compliance rules describe regulations, policies and quality constraints business processes must adhere to. Given the large number of rules and their frequency of change, manual compliance checking can be-come a time-consuming task. Automated compliance checking of process activities and their ordering is an alternative whenever business pro-cesses and compliance rules are described in a formal way. This paper introduces an approach for automated compliance checking. Compliance rules are translated into temporal logic formulae that serve as input to model checkers which in turn verify whether a process model satisfies the requested compliance rule. To address the problem of state-space explo-sion we employ a set of reduction rules. The approach is prototypically realized and evaluated.

Byexample synthesis of architectural textures

This additional material first shows more synthesis results in Section 5 and give further details and illustrates the way our synthesised textures are filtered in the GPU fragment shader in Section 1 While the main paper gives a complete description of our system for synthesizing architectural textures, there is also a number of small algorithmic improvements that build on the special nature of our problem and provide a faster implementation. We describe them here, since they are not specifically related to the core of our synthesis system. They deal with Dijkstra’s algorithm (Section 2, page 1), the integration of a histogram computation into Dijkstra’s algorithm’s inner loop (Section 3, page 3) and the fast construction of the graph G (Section 4, page 4). Many notations that are used here are defined in the main paper and not redefined here. Please refer to the paper for their definition.

Study of the pigment type effect on the corrosion behaviour of epoxy painted steel/sea water systems

The effect of different kind of pigments on the corrosion resistance properties of an epoxy paint has been investigated using electrochemical impedance spectroscopy and open circuit potential measurements. Painted naval steel samples were studied during the exposure to artificial sea water. The epoxy paint coatings were prepared employing red lead, zinc, red iron oxide or titanium dioxide as pigment with 0.8 of PVC/CPVC ratio. From the EIS and corrosion potential data analysis was found that the anticorrosive protection given by an anticorrosive (pigmented with red lead) and a top coat (pigmented with red iron oxide) epoxy painting scheme was both more lasting and more effective. This was attributed to the fact that both the effective adhesion provided by the chemical bonding between the steel surface and the epoxy paint groups and the constant high barrier effect afforded by this type of top coat were a perfect complement for the high corrosion inhibitive capacity of the red lead pigment.Fil: Santágata, Daniela Marina. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas; ArgentinaFil: Seré, Pablo Ricardo. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas; ArgentinaFil: Hornus Sack, S.. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas; ArgentinaFil: Elsner, Cecilia Ines. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas. Centro de Investigaciones en Tecnología de Pinturas. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Centro de Investigaciones en Tecnología de Pinturas; ArgentinaFil: Mendivil, Gabriel Omar. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas. Centro de Investigaciones en Tecnología de Pinturas. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Centro de Investigaciones en Tecnología de Pinturas; ArgentinaFil: Di Sarli, Alejandro Ramón. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas; Argentin