The workshop presented a background on the reuse vision and an overview of what software reuse looks like today. There followed a presentation on typical problems with development for reuse and development with reuse and how SDL can be used within this problem domain. Illustrating examples were given using components of the Bluetooth™ protocol and the Wireless Application Protocol. An overview of the content is presented below,
The workshop provided the opportunity discuss recent work related to timing in modelling languages as an extension to the Timing papers presented earlier during the day.
This workshop was combined with the workshop on Timing. It provided a presentation of issues related to the formal semantics of SDL-2000. A brief informal survey of the current formal semantics, as approved by ITU, and the rationale behind it served as input. Fundamental questions were addressed concerning the role of SDL's formal definition with respect to language standardization and implementation of SDL tools. Correctness and executability of the formal model were briefly addressed as well.
Contact the webmaster with
questions or comments about this web site.
Last update: 01 May 2013 15:34 +0100