A property-based method for selecting among multiple implementations of modules
A method for automatic selection among multiple implementations in a modular language is presented. The method assumes, in keeping with the principle of information hiding, that only the specification part of a module is available to a user of a module. In each implementation a list of properties is included which describes the specifics of that implementation. The user of a module gives a "wish list" where she specifies what kind of implementation she wants for her particular application and the system will match the user's list of requirements against the available implementations and choose the most appropriate one. To aid users and module implementers a set of key-words that may be used to describe an implementation is included in the specification part of the module. An algorithm for selection of the most appropriate implementation is proposed together with an example.
Key wordsmodular languages multiple implementations
Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules
Unable to display preview. Download preview PDF.
- [Belkhatir86]Belkhatir, N and Estubier, J; Experience With a Data Base of Programs; "ACM Sigsoft/Sigplan Software Engineering Symposium on practical software development environments", 1986, Palo Alto, CA, USA.Google Scholar
- [Collberg87]Collberg, C. and Krampell, M: Design and Implementation of Modular Languages Supporting Information Hiding; "The Sixth Annual IEEE Phoenix Conference on Computers and Communication", 1987, Scottsdale, AZ, USA.Google Scholar
- [Geschke77]Geschke, C: Early Experience with Mesa; CACM, Aug 1977, 540–553.Google Scholar
- [Gougen80]Gougen, J: Thoughts on Specification, Design and Verification; ACM Sigsoft, Vol 5, No 3 July 1980.Google Scholar
- [Mackay86]Mackay, D. et al: A UNIX-based System for Software Configuration Management; The Computer Journal Vol. 29, No. 6, 1986.Google Scholar
- [Parnas72]Parnas, D.: A Technique for Software Module Specification with Examples; CACM, May 1972, 330–336.Google Scholar
- [Rogers84]Rogers, M.W. (ed.): Ada: Language, compilers and bibliography; Cambridge University Press 1984, ISBN 0-521-26464-2.Google Scholar
- [Sweet85]Sweet, R: The Mesa Programming Environment; Proceedings of the "ACM Sigplan 85 Symposium on Language Issues in Programming Languages" Seattle, WA, USA.Google Scholar
- [Tichy83]Tichy, F, W: RCS: A Revision Control System. Integrated Interactive Computing Systems. P. Degano and E. Sandewall editors. North-Holland Publishing Company, 1983. ISBN 0-444-86595-0Google Scholar
- [Wirth83]Wirth, N.: Programming in Modula-2, (second edition); Springer-Verlag, 1983. ISBN 3-540-11674-5Google Scholar