Skip to main content
SpringerLink
Log in

Model-Driven Development of Reactive Systems with SDL

  • Conference paper
SDL 2005: Model Driven (SDL 2005)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 3530))

Included in the following conference series:

  • 660 Accesses

Abstract

Ubiquitous computing and communications services are the focus of intense current research and development. These systems are essentially asynchronous reactive systems of independent agents. However, there is little evidence of recent use of visual formalisms like SDL in their development. This represents a challenge and an opportunity.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Reconfigurable Ubiquitous Networked Embedded Systems, http://www.ist-runes.org/introduction.html

  2. Chung, E., Hong, J.I., Lin, J., Prabaker, M.K., Landay, J.A., Liu, A.: Development and Evaluation of Emerging Design Patterns for Ubiquitous Computing. In: Proceedings of Designing Interactive Systems (DIS 2004), August 2004. ACM, New York (2004)

    Google Scholar 

  3. Houghton, T.: Ubiquitous Services and Applications: Focus on what customers think, not what they say Eurescom Summit (2005) (to appear)

    Google Scholar 

  4. Schaible, P., Gotzhein, R.: Development of Distributed Systems with SDL by means of formalized APIs. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 55–76. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  5. Communications of the ACM. Special Issue: The Disappearing Computer 48(3) (March 2005)

    Google Scholar 

  6. Harel, D., Feldman, Y.: Algorithmics: the Spirit of Computing. Pearson Education Limited (2004)

    Google Scholar 

  7. Mukerji, J., Miller, J. (eds.): MDA Guide Version 1.0.1 OMG omg/03-06-01 (June 2003), available from http://www.omg.org/cgi-bin/doc?omg/03-06-01

  8. ITU-T Recommendation Z.100 (08/02): Specification and Description Language (SDL), ITU-T (2002)

    Google Scholar 

  9. Reed, R.: SDL-2000 for New Millennium Systems, Free for download, at http://www.itu.int/itudoc/itu-t/com17/tutorial/78255.html

  10. Doldi, L.: SDL Illustrated: Visually design executable models, Laurent Doldi, or can be ordered in bookshops (2001), ISBN 2-9516600-0-6, available from http://www.tmso-systems.com

  11. UML 2 working documents, OMG (2004), available from the OMG website, http://www.omg.org/technology/documents/modeling_spec_catalog.htm#UML

  12. Eriksson, H.-E., Penker, M., Lyons, B., Fado, D.: UML 2 Toolkit. Wiley Publishing Incl, Indianapolis, Indiana; OMG Press (2004)

    Google Scholar 

  13. Laurent Doldi: UML 2 Illustrated - Developing Real-Time and Communications Systems, Laurent Doldi, or can be ordered in bookshops (2003), ISBN 2-9516600-1-4, available from http://www.tmso-systems.com

  14. ITU-T Recommendation, 109 (11/99): SDL combined with UML, ITU-T (1999)

    Google Scholar 

  15. ITU-T Recommendation Z.109: SDL combined with UML, ITU-T (2005) (to appear)

    Google Scholar 

  16. Björkander, M.: Graphical Programming using UML and SDL. IEEE Computer Society Press, Los Alamitos (2000)

    Google Scholar 

  17. Sherratt, E.: SDL in a Changing World. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 96–105. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  18. Kreller, B., Hartmann, J.: The Field Trial Scenario of An Inter-Modal, End-To-End And Real-Time Tracking And Tracing System. In: 8th World Congress on Intelligent Transport Systems, Sydney, Australia (October 2001), available online, at http://www-i4.informatik.rwth-aachen.de/parcelcall/

  19. Felici, M., Filipe, J.K.: Inter disciplinary approaches to the design of dependable computer systems: Limits in modelling evolving computer-based systems. In: Proceedings of the 2002 ACM symposium on Applied computing (March 2002)

    Google Scholar 

  20. Bardram, J.E.: Applications of Context-Aware Computing in Hospital Work – Examples and Design Principles. In: Proceedings SAC 2004. ACM, New York (2004)

    Google Scholar 

  21. Resource Aware Visualisation Environment, http://www.cs.cardiff.ac.uk/user/I.J.Grimstead/RAVE

  22. Welsh e-Science Centre/Canolfan e-Wyddoniaeth Cymru: http://www.wesc.ac.uk/

  23. Tuecke, S., Czajkowski, K., Foster, I., Frey, J., Graham, S., Kesselman, C., Maguire, T., Sandholm, T., Vanderbilt, P., Snelling, D. (eds.): Open Grid Services Infrastructure (OGSI) Version 1.0. Global Grid Forum Draft Recommendation, June 27 (2003)

    Google Scholar 

  24. Börger, E., Gotzhein, R. (Guest Eds.): Requirements engineering: the Light Control Case Study. Journal of Universal Computer Science, 6(7) (2000)

    Google Scholar 

  25. Julien, C., Roman, G.-C.: Active Coordination in ad hoc Networks. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 199–215. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  26. Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall Series in Computer Science. Prentice Hall Europe, Englewood Cliffs (1998)

    Google Scholar 

  27. ITU-T Recommendation Z.120 (04/04): Message Sequence Chart (MSC), ITU-T (2004)

    Google Scholar 

  28. Graf, S., Ober, I.: A Real Time Profile for UML and how to adapt it to SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 55–76. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  29. Khendek, F., Lohr, C., Wang, L.X., Zhang, X.-J., Zheng, T.: Early validation of deployment and scheduling constraints for MSC specifications. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 106–121. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  30. Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4) (October 1996)

    Google Scholar 

  31. Krüger, I., Prenninger, W., Sandner, R., Broy, M.: Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 29–47. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  32. Koethe, M.R.: MOF 2.0 XMI Convenience document OMG ptc/04-06-11 (June 2004), available from http://www.omg.org/cgi-bin/doc?ptc/04-06-11

  33. Bræk, R., Haugen, Ø.: Engineering of Real Time Systems. Prentice-Hall, Englewood Cliffs (1993) (ISBN 13-034448-6)

    Google Scholar 

  34. Böhme, H., Fischer, J.: eODL and SDL in combination for components in Daniel Amyot. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 17–32. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  35. Dorsch, J., Ek, A., Gotzhein, R.: SPT – the SDL Pattern Tool. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 50–64. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  36. Metzger, A., Queins, S.: Model-based generation of SDL Specifications for the Early Prototyping of Reactive Systems. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 158–169. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  37. Toeroe, M., Zhu, J., Leung, V.C.: SDL specification and verification of universal personal computing with ObjectGEODE. In: Proceedings IFIP 1997. Chapman Hall, Boca Raton (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Wales Aberystwyth, Penglais, SY23 3DB, Aberystwyth, Ceredigion, Wales, UK

    Edel Sherratt

Authors
  1. Edel Sherratt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Engineering, Agder University College, Grooseveien 36, N-4876, Grimstad, Norway

    Andreas Prinz

  2. Telecommunications Software Engineering Limited, The Laurels, Victoria Road, LA23 2DL, Windermere, Cumbria, United Kingdom

    Rick Reed

  3. Telecommunications Software Engineering Limited, The Laurels, Victoria Road, LA23 2DL, Windermere, Cumbria, UK

    Jeanne Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sherratt, E. (2005). Model-Driven Development of Reactive Systems with SDL. In: Prinz, A., Reed, R., Reed, J. (eds) SDL 2005: Model Driven. SDL 2005. Lecture Notes in Computer Science, vol 3530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506843_16

Download citation

  • DOI: https://doi.org/10.1007/11506843_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26612-9

  • Online ISBN: 978-3-540-31539-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation