The semantic models represent the semantics included in the applications in a more natural way than the classical data models. The extended semantic hierarchy model called SHM + is a general semantic data model that addresses the structural properties and the behavioral properties of database applications. Since the behavior modeling is quite cmplex, it is necessary that the transaction design should be automated for a more accurate, efficient, and less error-prone design. In this thesis, a modified transaction design methodology based on SHM + is proposed. According to the modified methodology, only the actions required for a particular application need to be designed, minimizing the design overhead. In order to describe the behavioral properties of the applications accurately, the scheme description languages, i.e. the object description language, transaction description language, and action description language, are also defined and used in this thesis. Finally, a prototype transaction design tool called TATRAND is described and implemented.