Abstract
Frameworks have emerged as a very effective way to achieve reuse. A framework provides the basic structure and behaviour of a family of applications, and they simplify the task of application development. Traditionally the framework idea has not been applied to FDTs. This paper contributes to the use of SDL for building frameworks. SDL offers the opportunity to encapsulate object structures and default behaviour in frameworks defined by SDL system types. Specific types of applications are obtained by defining subtypes of framework system types and redefining virtual types. The mechanism is not specific to SDL, but can be applied to any language that supports virtual types.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35394-4_29
Chapter PDF
Similar content being viewed by others
References
Steve Sparks, Kevin Benner, Chris Faris; Managing Object-Oriented Framework Reuse; IEEE Computer, September 1996.
Mohammed E. Fayad, Douglas C. Schmidt; Object-Oriented Application Frameworks; Communications of the ACM, October 1997.
Z.100; CCITT Specification and Description Language (SDL), ITU-T, June 1994
ITU (1993d) Z.120 Message Sequence Charts (MSC), ITU-T, September 1994, 36 p (“MSC-92”)
Rolv Brwk and oystein Haugen (1993); Engineering Real Time Systems. Hemel Hempstead: Prentice Hall, 1993.
TIMe - The Integrated Method. SINTEF Telecom and informatics 1997, see http://www.sintef.no/time.
Booch, G, Jacobsen, I. and Rumbaugh, J. (1997b). The Unified Modeling Language,Version 1.1, Rational Software Corporation, http://www.rational.com (September 1997)
Ole Lehrmann Madsen, Birger Moller-Pedersen and Kristen Nygaard; Object Oriented Programming in the BETA Programming Language, Addidon-Wesley 1993
Ole Lehrmann Madsen and Birger Moller-Pedersen; Virtual Classes - A powerful Mechanism in Object-Oriented Programming,OOPSLA 1989.
Ellen Agerbo and Aino Cornils: How to preserve benefits of Design Patterns,OOPSLA 1998.
K. Arnold and J. Gosling: The Java Programming Language, Addison-Wesley 1996
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Brœk, R., Møller-Pedersen, B. (1998). Frameworks by means of virtual types — exemplified by SDL. In: Budkowski, S., Cavalli, A., Najm, E. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. PSTV FORTE 1998 1998. IFIP — The International Federation for Information Processing, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35394-4_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-35394-4_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5262-5
Online ISBN: 978-0-387-35394-4
eBook Packages: Springer Book Archive