Towards a Development Framework Based on Behavior Recombination
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.
KeywordsTemporal Logic Variation Point Linear Temporal Logic Development Framework Execution Path
Unable to display preview. Download preview PDF.
- 1.Beck, K.: Test-driven Development by Example. Addison-Wesley (2003)Google Scholar
- 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.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.Crispin, L., Gregory, J.: Agile Testing: A Practical Guide for Testers and Agile Teams. Addison-Wesley (2009)Google Scholar
- 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
- 7.Jacobson, I., Christerson, M., Jonsson, P., Övergaard, G.: Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley (1992)Google Scholar
- 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.Pawlak, R., Cuesta, C.E., Younessi, H.: Recombinant programming. Technical Report Research Report; Report No: 5380, INRIA (May 2006)Google Scholar
- 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
- 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