debottlenecking of heat exchanger networks is a very important issue, when a plant is subject to process changes and/or increased throughput. in previous paper, a new targetting method was introduced, that allowed the designer to consider hydrodynamic constraints when debottlenecking a network. in this paper, a design procedure, which guarantees the consistency of the results of targetting stag...

The checkin/checkout model of typical design databases only distinguishes a global repository with full consistency and global visibility from local workspaces with only local visibility and without consistency constraints. Communicating versions between developers means passing them through the global repository and checking consistency. Passing incomplete objects or prototypes is not supporte...

ABSTRA CT Maintaining consistency between requirements and the design developed to satisfy them is both important and difficult. Maintaining consistency is important to satisfying stakeholders' desires, which the requirements express. Much of the difficulty of maintaining consistency stems from having redundant descriptions of requirements decisions—one in the requirements document and a sec...

Different stakeholders in the design of an enterprise information system have their own view on that design. To help produce a coherent design this paper presents a framework that aids in specifying relations between such views. To help produce a consistent design the framework also aids in specifying consistency rules that apply to the view relations and in checking the consistency according t...

We introduce the notion of self-consistency checking, a new methodology for applying formal methods in the debugging process. Intuitively , self-consistency checks functional consistency of a circuit in two diierent modes or environments. Self-consistency can (1) simplify property veriication and (2) enable the use of symbolic simulation in the absence of a concrete speciication. We present a c...