Towards a development framework based on behavior recombination

Authors:
Houman Younessi;Renaud Pawlak;Carlos E. Cuesta
Affiliations:
RPI, Hartford, CT;LISITE, ISEP, Paris, France;DLSI II, Rey Juan Carlos University, ETS Ingenieria Informatica, Madrid, Spain
Venue:
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Year:
2011

Citing 10
Cited 0

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented software engineering

Object-oriented software engineering
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Test Driven Development: By Example

Test Driven Development: By Example
Design erosion: problems and causes

Journal of Systems and Software
A Formal Definition of Crosscuts

REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Efficient Büchi Automata from LTL Formulae

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Agile Testing: A Practical Guide for Testers and Agile Teams

Agile Testing: A Practical Guide for Testers and Agile Teams

Quantified Score

Hi-index	0.00

Visualization

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.