Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Michael G. Hinchey, James L. Rash, Christopher A. Rouff: A Formal Approach to Requirements-Based Programming, Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer-Based Systems, Greenbelt (MD), 2005, IEEE, pp. 339–345.
S. A. Curtis, J. Mica, J. Nuth, G. Marr, M. L. Rilee, and M. K. Bhat. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to Asteroid Belt resource exploration. In Proc. Int’l Astronautical Federation, 51st Congress, October 2000.
A. Hagerer, H. Hungar, O. Niese, and B. Steffen. Model Generation by Moderated Regular Extrapolation. Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306, pp. 80–95.
H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, IEEE International Test Conference (ITC), Charlotte, NC, September 30–October 2, 2003.
T. Margaria, H. Raffelt, B. Steffen: Analyzing Second-Order Effects Between Optimizations for System-Level Test-Based Model Generation, Proc. IEEE International Test Conference (ITC), Austin, TX (USA), November 8–10, 2005, IEEE Computer Society Press.
H. Raffelt, B. Steffen, T. Berg: LearnLib: A Library for Automata Learning and Experimentation, Proc. FMICS 2005, 10th ACM Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Sept. 2005.
T. Berg, O. Grinchtein, B. Jonsson, M. Leucker, H. Raffelt, B. Steffen: On the Correspondence Between Conformance Testing and Regular Inference, Proc. FASE 2005, 8th Int. Conf. on Fundamental Approaches to Software Engineering, Edinburgh, UK, April 2005, LNCS N.3442, pp. 175–189, Springer Verlag, 2005.
M. Kaufmann and Panagiotis Manolios and J Strother Moore. Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston, 2000.
M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, 1995.
Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd., 1999.
M. J. Butler. csp2B: A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, Feb. 1999.
M. D. Ernst, A. Czeisler, W. G. Griswold, D. Notkin. Quickly detecting relevant program invariants In proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), 449–458, June 2000.
J. W. Nimmer, M. D. Ernst. Automatic generation of program specifications In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA 2002), 232–242, July 2002
Y. Brun, M. D. Ernst. Finding latent code errors via machine learning over program executions Proc. 26th Int. Conf. on Software Engineering (ICSE’04), pp. 480–490, May 2004
J. E. Cook, A. L. Wolf Discovering Models of Software Processes from Event-Based Data ACM Trans, on Software Engineering and Methodology (TOSEM) pp. 215–249, 1998
L. Mariani, Mauro Pezzè. A technique for verifying component-based software Proceeding of the Int. Workshop on Test and Analysis of Component Based Systems, TACOS 2004, Barcelona, March 2004
T. Xie, D. Notkin Mutually Enhancing Test Generation and Specification Inference. In Proceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS Vol. 2931, Springer, pp. 60–69, Oct. 2003.
D. Peled, M. Y. Vardi, M. Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE/PSTV), pp. 225–240, 1999, Kluwer.
J. E. Cook, Z. Du, C. Liu, A. L. Wolf. Discovering Models of Behavior for Concurrent Systems Tech. rep. New Mexico State University, Dept. of Computer Science, Aug. 2002
B. Steffen and H. Hungar, Behavior-based model construction. In S. Mukhopad-hyay and L. Zuck, editors, Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575, Springer 2003.
T. Margaria, O. Niese, H. Raffelt, and B. Steffen Efficient Test-based Model Generationfor Legacy Reactive Systems. To appear in Proceedings of International High Level Design Validation and Test Workshop, 2004 Sonoma, California.
D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87–106, 1987.
D. E. Krane and M. L. Raymer. Fundamental Concepts of Bioinformatics. Benjamin Cummings, San Francisco, 2003.
S. A. Krawetz and D. D. Womble. Introduction to Bioinformatics: Theoretical and Practical Approach. Humana Press, Totowa, New Jersey, 2003.
A. M. Lesk. Introduction to Bioinformatics. Oxford University Press, Oxford, UK, 2002.
J. Stajich and E. Birney. The Bioperl project: motivation and usage. SIGBIO Newsl., 20(2):1314, 2000.
P. van Heusdan. Applying software validation techniques to Bioperl. In 2004 Bioinformatics Open Source Conference, Glasgow, UK, 2930 July 2004. Abstract.
Stajich JE, Block D, Boulez K, Brenner SE, Chervitz SA, Dagdigian C, Fuellen G, Gilbert JG, Korf I, Lapp H, Lehvaslaiho H, Matsalla C, Mungall CJ, Osborne BI, Pocock MR, Schattner P, Senger M, Stein LD, Stupka E, Wilkinson MD, and Birney E: The Bioperl toolkit: Perl modules for the life sciences. Genome Res 2002 Oct; 12(10) 1611–8. PubMed HubMed [bioperl2002]
J. Rash, M. Hinchey, D. Gracanin, C. Rouff: An Approach to Generating and Verifying Complex Scripts and Procedures, 4th IEEE-CS Computational Systems Bioinformatics, CSB Workshops, Stanford, Aug. 2005, pp. 305–313.
J. Cohen. Bioinformaticsan introduction for computer scientists. ACM Comput. Surv., 36(2):122158, 2004.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, 1985.
S. Schneider, J. Davies, D. M. Jackson, G. M. Reed, J. Reed, and A. W. Roscoe. Timed CSP: Theory and practice. In Proc. REX, Real-Time: Theory in Practice Workshop, volume 600 of LNCS, pages 640–675. Springer-Verlag, 3–7 June 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Margaria, T., Hinchey, M.G., Raffelt, H., Rash, J.L., Rouff, C.A., Steffen, B. (2006). Completing and Adapting Models of Biological Processes. In: Pan, Y., Rammig, F.J., Schmeck, H., Solar, M. (eds) Biologically Inspired Cooperative Computing. BICC 2006. IFIP International Federation for Information Processing, vol 216. Springer, Boston, MA . https://doi.org/10.1007/978-0-387-34733-2_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-34733-2_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-34632-8
Online ISBN: 978-0-387-34733-2
eBook Packages: Computer ScienceComputer Science (R0)