Abstract
There is a very popular series of movies in which one of the main characters is a blundering French detective who entertains the audience to great comic effect as he speaks English contorted to a French grammatical form. While this may not necessarily be an appropriate analogy for the case of SDL and UML convergence, it highlights one of the principal hazards when merging languages of different lineage.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burns A. and Wellings A.: Hrt_hood: A structured design method for hard real time systems. In Real-time Systems. 1994.
Lanusse A., Gerard S., and Terrier F.: Real-time modeling with uml: The accord approach. In UML’98 International Workshop, Mulhouse, France, June 1998.
M. Abadi and L. Lamport.: Composing specifications. ACM Transaction on Programming Languages and Systems, 15(1):73–132, 1993.
E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli, and A. Rasse.: Data-structures for the verification of timed automata. In HART’97. Springer-Verlag LNCS 1201, 1997.
Douglass B.: Real-Time UML: Developing Efficient Objects For Embedded Systems. Adison Wesley, March 1998.
B. Selic, G. Gullekson, and P.T Ward.: Real-Time Object Oriented Modelling. John Wiley and Sons, 1994.
Gamma E., Helm R., Johnson R., and Vlissides J.: Design Patterns: Elements of Reusable Object-oriented Software. Adison Wesley, 1998.
A. S. Evans and A.N. Clark.: Foundations of the unified modeling language. In 2nd Northern Formal Methods Workshop, Ilkley, electronic Workshops in Computing. Springer-Verlag, 1998.
B. Geppert, F. Rossler, R.L. Feldmann, and S. Vorwieger.: Combining sdl patterns with continuous quality improvement: An experience base tailored to sdl patterns. In First Workshop of the SDL Forum Society on SDL and MSC, SAM’98, Berlin, Germany, 1998.
D. Hogrefe and S. Leue.: Specifying real-time requirements for communication protocols. Technical report, 1992.
C. Jard, JM. Jezequel, and L. Nedelka.: An approach to integrate formal validation in an oo life-cycle ofprotocols. In FMOODS’96, Paris, France, March 1996.
K.G. Larsen, F. Larsson P. Pettersson, and W. Yi.: Efficient verification of realtime systems: Compact data structure and state-space reduction. In 18th IEEE real-Time Systems Symposium, RTSS’97. IEEE Computer Society press, December 1997.
TELELOGIC: TAU/SDT 3.3. TELELOGIC, June 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Selic, B., Dhaussy, P., Ek, A., Haugen, Ø., Leblanc, P., Møller-Pedersen, B. (1999). SDL as UML: Why and What Panel. In: France, R., Rumpe, B. (eds) «UML»’99 — The Unified Modeling Language. UML 1999. Lecture Notes in Computer Science, vol 1723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46852-8_32
Download citation
DOI: https://doi.org/10.1007/3-540-46852-8_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66712-4
Online ISBN: 978-3-540-46852-3
eBook Packages: Springer Book Archive