Abstract
This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research effort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique and OMT* for for System Design, while SDL (Specification Description Language) is targeted for the design phase. The transition from OMT to OMT* is manual process described by a set of guidelines (Holz et al. 1995) We developed a transformational semantic for OMT*, i.e. a set of transformation rules mapping OMT* constructs to SDL constructs. The translation from OMT* to SDL preserves the logical structure of the specification. This way it is possible to preserve the efforts done in the analysis phase and to make a smooth transition towards design.
Chapter PDF
Similar content being viewed by others
References
G. Abowd, R. Allen, and D. Garlan. Using style to understand descriptions of software architecture. Procs of the 1. ACM SIGSOFT, Symposium on the Foundations of Software Engineering, December 1993.
A. Aimar, A. Khodabandeh, P. Palazzi, and B. Rousseau. A configurable code generator for 00 methodologies. Technical report, Programming Techniques Group, 1993.
R. Bourdeau and B. Cheng. A formal semantics for object model diagrams. IEEE Transactions on Software Engineering, October 1995.
CCITT, Geneva ITU Specification and Description Language SDL Recommendation Z.100 Blue Book.november 1988
E. Holz, M. Wasowski, D. Witaszek, S. Lau, J. Fischer, P. Roques, K. Verschaeve, E. Mariatos, and J.-P. Delpiroux. The insyde methodology. Deliverable INSYDE/WP1/HUB/400/v2, ESPRIT Ref: P8641, January 1996.
INSYDE. Technical Annex: “Integrated Methods for Evolving System Design”,ESPRIT-III Project P8641, restricted report edition, December 1994.
Z. Navabi. VHDL Analysis and Modeling of Digital Systems. McGraw-Hill, Inc., 1993.
J. Peeters, M. Jadoul, E. Holz, M. Wasowski, D. Witaszek, and J.P. Delpiroux. Hw/sw co-design and the simulation of a multimedia application. In 7th European Simulation Symposium, October 1995.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.
D. Sinclair, G. Clynch, and B. Stone. An object-oriented methodology from requirements to valida-tion. In 2nd International Conference on Object Oriented SystemsDecember 1995
M. Wasowski, D. Witaszek, K. Verschaeve, B. Wydaeghe, E. Holz, and V. Jonckers. The complete omt*. Deliverable INSYDE/WP1/HUB/300/v3, ESPRIT Ref: P8641, December 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Verschaeve, K., Wydaeghe, B., Jonckers, V., Cuypers, L. (1996). Translating OMT* to SDL, Coupling Object-Oriented Analysis and Design with Formal Description Techniques. In: Brinkkemper, S., Lyytinen, K., Welke, R.J. (eds) Method Engineering. ME 1996. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35080-6_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35080-6_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5824-5
Online ISBN: 978-0-387-35080-6
eBook Packages: Springer Book Archive