14-3-3 acts as an intramolecular bridge to regulate cdc25B localization and activity

One of the major regulators of mitosis in somatic cells is cdc25B. cdc25B is tightly regulated at multiple levels. The final activation step involves the regulated binding of 14-3-3 proteins. Previous studies have demonstrated that Ser-323 is a primary 14-3-3 binding site in cdc25B, which influences its activity and cellular localization. 14-3-3 binding to this site appeared to interact with the N-terminal domain of cdc25B to regulate its activity. The presence of consensus 14-3-3 binding sites in the N-terminal domain suggested that the interaction is through direct binding of the 14-3-3 dimer to sites in the N-terminal domain. We have identified Ser-151 and Ser-230 in the N-terminal domain as functional 14-3-3 binding sites utilized by cdc25B in vivo. These low affinity sites cooperate to bind the 14-3-3 dimer bound to the high affinity Ser-323 site, thus forming an intramolecular bridge that constrains cdc25B structure to prevent access of the catalytic site. Loss of 14-3-3 binding to either N-terminal site relaxes cdc25B structure sufficiently to permit access to the catalytic site, and the nuclear export sequence located in the N-terminal domain. Mutation of the Ser-323 site was functionally equivalent to the mutation of all three sites, resulting in the complete loss of 14-3-3 binding, increased access of the catalytic site, and access to nuclear localization sequence.

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.