Completing and Adapting Models of Biological Processes

We present a learning-based method for model completion and adaptation, which is based on the combination of two approaches: 1) R2D2C, a technique for mechanically transforming system requirements via provably equivalent models to running code, and 2) automata learning-based model extrapolation. The intended impact of this new combination is to make model completion and adaptation accessible to experts of the field, like biologists or engineers. The principle is briefly illustrated by generating models of biological procedures concerning gene activities in the production of proteins, although the main application is going to concern autonomic systems for space exploration.

[1]  Jacques Cohen,et al.  Bioinformatics—an introduction for computer scientists , 2004, CSUR.

[2]  Tiziana Margaria,et al.  Analyzing second-order effects between optimizations for system-level test-based model generation , 2005, IEEE International Conference on Test, 2005..

[3]  D. Krane,et al.  Fundamental Concepts of Bioinformatics , 2002 .

[4]  Thomas B. Hilburn.  Concurrent systems: Formal development in CSP , 1996 .

[5]  L WolfAlexander,et al.  Discovering models of software processes from event-based data , 1998 .

[6]  Mihalis Yannakakis,et al.  Black Box Checking , 1999 .

[7]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[8]  Michael D. Ernst,et al.  Automatic generation of program specifications , 2002, ISSTA '02.

[9]  David Notkin,et al.  Mutually Enhancing Test Generation and Specification Inference , 2003, FATES.

[10]  Stephen A. Jarvis,et al.  Concurrent systems - formal development in CSP , 1995, McGrawhill international series in software engineering.

[11]  Leonardo Mariani,et al.  A Technique for Verifying Component-Based Software , 2005, Electron. Notes Theor. Comput. Sci..

[12]  Hardi Hungar,et al.  Model Generation by Moderated Regular Extrapolation , 2002, FASE.

[13]  CohenJacques.  Bioinformaticsan introduction for computer scientists , 2004 .

[14]  Michael J. Butler.  csp2B: A Practical Approach to Combining CSP and B , 1999, World Congress on Formal Methods.

[15]  Ewan Birney,et al.  The Bioperl project: motivation and usage , 2000, SIGB.

[16]  Christopher A. Rouff,et al.  A formal approach to requirements-based programming , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[17]  Grzegorz Rozenberg,et al.  Timed CSP: Theory and practice , 1992 .

[18]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[19]  Jianping Wu,et al.  Formal Methods for Protocol Engineering and Distributed Systems , 1999, IFIP Advances in Information and Communication Technology.

[20]  Bengt Jonsson,et al.  On the Correspondence Between Conformance Testing and Regular Inference , 2005, FASE.

[21]  William G. Griswold,et al.  Quickly detecting relevant program invariants , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[22]  Hardi Hungar,et al.  Behavior-based model construction , 2002, International Journal on Software Tools for Technology Transfer.

[23]  Tiziana Margaria,et al.  Test-based model generation for legacy systems , 2003, International Test Conference, 2003. Proceedings. ITC 2003..

[24]  Stephen A. Krawetz,et al.  Introduction to Bioinformatics: A Theoretical and Practical Approach , 2003 .

[25]  AngluinDana.  Learning regular sets from queries and counterexamples , 1987 .

[26]  Tiziana Margaria,et al.  Efficient test-based model generation for legacy reactive systems , 2004, Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).

[27]  Harald Raffelt,et al.  LearnLib: a library for automata learning and experimentation , 2005, FMICS '05.

[28]  James L. Rash,et al.  An approach to generating and verifying complex scripts and procedures , 2005, 2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05).

[29]  Arthur M. Lesk,et al.  Introduction to bioinformatics , 2002 .

[30]  Hardi Hungar,et al.  Behavior-Based Model Construction , 2003, VMCAI.

[31]  Yuriy Brun,et al.  Finding latent code errors via machine learning over program executions , 2004, Proceedings. 26th International Conference on Software Engineering.

[32]  Matthew R. Pocock,et al.  The Bioperl toolkit: Perl modules for the life sciences. , 2002, Genome research.

[33]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.