Including non-functional issues in Anna/Ada programs for automatic implementation selection

  • Xavier Franch
Conference paper

DOI: 10.1007/3-540-63114-3_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1251)
Cite this paper as:
Franch X. (1997) Including non-functional issues in Anna/Ada programs for automatic implementation selection. In: Hardy K., Briggs J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg

Abstract

We present an enrichment of the Anna specification language for Ada aimed at dealing not only with functional specification of packages but also with non-functional information about them. By non-functional information we mean information about efficiency, reliability and, in general, any software attribute measuring somehow the quality of software (perhaps in a subjective manner). We divide this information into three kinds: definition of non-functional properties, statement of non-functional behaviour and statement of non-functional requirements; like Anna annotations, all of this information appears in Ada packages and package bodies and their syntax is close to Ada constructs. Non-functional information may be considered not only as valuable comments, but also as an input for an algorithm capable of selecting the “best” package body for every package definition in a program, the “best” meaning the one that fits the set of non-functional requirements of the package in the program.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Xavier Franch
    • 1
  1. 1.Department Llenguatges i Sistemes InformaticsUniversität Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations