No abstract

No abstract

One important approach for describing behavior in UML and OCL models is the use of OCL pre-and postconditions. This contribution proposes a new method for developing comprehensive OCL postconditions for operations in UML and OCL models, including so-called frame conditions. The method is realized by a transformation chain from an initial user-developed model into a semi-automatically derived test case model for checking the model quality. On the technical side, the method consists of a new formal distinction between deleted, sustained and added objects for operation behavior. On the methodological side, the development process is accompanied by a systematic case distinction, effective defaults and iterative improvement steps through test cases.

No abstract

No abstract