Advertisement

Towards a Development Framework Based on Behavior Recombination

  • Houman Younessi
  • Renaud Pawlak
  • Carlos E. Cuesta
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7046)

Abstract

This paper introduces a development framework that constructs software by recombining the behavior rather than the structure of the system. It would thus be possible to develop trusted scenarios that we call behavior sequences. System behavior then may be changed by changing some scenarios. We believe that our framework allows more confidence in evolution of software because the behavior of the system is entirely specified and tested upfront in the development process. Moreover, adaptation schemes are flexible since they rely on behaviors rather than components, which is the case in many approaches for software adaptation, which often use a structural perspective.

Keywords

Temporal Logic Variation Point Linear Temporal Logic Development Framework Execution Path 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beck, K.: Test-driven Development by Example. Addison-Wesley (2003)Google Scholar
  2. 2.
    Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the International Congress on Logic, Method, and Philosophy of Science, pp. 1–12. Stanford University Press (1960)Google Scholar
  3. 3.
    Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2) (1986)Google Scholar
  4. 4.
    Crispin, L., Gregory, J.: Agile Testing: A Practical Guide for Testers and Agile Teams. Addison-Wesley (2009)Google Scholar
  5. 5.
    Douence, R., Motelet, O., Südholt, M.: A formal definition of crosscuts. In: Proceedings of the 3rd International Conference on Reflection and Crosscutting Concerns. LNCS (2001)Google Scholar
  6. 6.
    Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23, 279–295 (1997)CrossRefGoogle Scholar
  7. 7.
    Jacobson, I., Christerson, M., Jonsson, P., Övergaard, G.: Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley (1992)Google Scholar
  8. 8.
    Ossher, H., Tarr, P.: Multi-dimensional separation of concerns in hyperspace. Technical Report Research Paper RC21452, IBM Thomas J. Watson Research Center; Yorktown Heights; New York (April 1999)Google Scholar
  9. 9.
    Pawlak, R., Cuesta, C.E., Younessi, H.: Recombinant programming. Technical Report Research Report; Report No: 5380, INRIA (May 2006)Google Scholar
  10. 10.
    Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46–57 (1977)Google Scholar
  11. 11.
    Somenzi, F., Bloem, R.: Efficient Büchi Automata from LTL Formulae. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 247–263. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  12. 12.
    Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional, Boston (2002)zbMATHGoogle Scholar
  13. 13.
    Tekinerdogan, B., Aksit, M.: Classifying and evaluating architecture design methods. In: Aksit, M. (ed.) Software Architectures and Component Technology: The State of the Art in Research and Practice, pp. 3–27. Kluwer Academic Publishers (October 2001)Google Scholar
  14. 14.
    van Gurp, J., Bosch, J.: Design erosion: Problems and causes. Journal of Systems and Software 61(2), 105–119 (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Houman Younessi
    • 1
  • Renaud Pawlak
    • 2
  • Carlos E. Cuesta
    • 3
  1. 1.Rensselaer’s Hartford, RPIHartfordUSA
  2. 2.LISITE – ISEPParisFrance
  3. 3.ETS Ingenieria InformaticaDLSI II, Rey Juan Carlos UniversityMostolesSpain

Personalised recommendations