N-aminopyrroledione-hydrazonoketene-pyrazolium oxide-pyrazolone rearrangements and pyrazolone tautomerism

Flash vacuum thermolysis (FVT) of 1-(dimethylamino)pyrrole-2,3-diones 5 causes extrusion of CO with formation of transient hydrazonoketenes 7. The transient ketenes 7 are observable in the form of weak bands at 2130 (7a) or 2115 cm(-1) (7b) in the Ar matrix IR spectra resulting from either FVT or photolysis of either 5 or 1,1- dimethylpyrazolium-5- oxides 8, and these absorptions are in excellent agreement with B3LYP/6-31G* frequency calculations. Under FVT conditions the ketenes 7 cyclize to pyrazolium oxides 8, which undergo 1,4-migration of a methyl group to yield 1,4-dimethyl-3-phenylpyrazole-5(4H)-one 9a and 1,4,4-trimethyl-3-phenylpyrazole-5(4H)-one 9b. All three tautomers of 9a have been characterized, viz. the CH form 9a (most stable form in the gas phase, the solid state and solvents of low polarity), the OH form 9a' (metastable solid at room temperature) and the NH form 9a (stable in aprotic dipolar solvents). The isomeric 1,4-dimethyl-5-phenylpyrazole-3(2H)-one 12 tautomerizes to the 3-hydroxypyrazole 12'. The crystal structure of the hydrochloride 14 of 9a'/9a is reported, representing the first structurally characterised example of a protonated 5-hydroxypyrazole.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.