A Specification Language and a Framework for the Execution of Composite Models in Systems Biology

  • Ofer Margoninski
  • Peter Saffrey
  • James Hetherington
  • Anthony Finkelstein
  • Anne Warner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4230)


When modelling complex biological systems it is often desirable to combine a number of distinct sub-models to form a larger composite model. We describe an XML based language that can be used to specify composite models and a lightweight computational framework that executes these models. The language supports specification of structure and implementation details for composite models, along with the interfaces provided by each sub-model. The framework executes each sub-model in its native environment, allowing extensive reuse of existing models. It uses mathematical and computational connectors and translators to unify the models computationally. Unlike other suggested approaches for model integration, our approach does not impose one modeling scheme, composition algorithm or underlying middleware framework. We demonstrate our approach by constructing a composite model describing part of the glucose homeostasis system.


System Biology Composite Model System Biology Markup Language High Level Architecture Model Integration Framework 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Finkelstein, A., Hetherington, J., Li, L., Margoninski, O., Saffrey, P., Seymour, R., Warner, A.: Computational Challenges of Systems Biology. IEEE Computer 37(5), 26–33 (2004)Google Scholar
  2. 2.
    Antoniotti, M., Park, F., Policriti, A.: Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics 38, 186–271 (2003)CrossRefGoogle Scholar
  3. 3.
    Bugianesi, E., et al.: Quantification of Gluconeogenesis in Cirrhosis: Response to Glucagon. In: Gastroenterology 1998, vol. 115, pp. 1530–1540 (1998)Google Scholar
  4. 4.
    Specification: Business PRocess Execution Lanugage for Web Services Version 1.1, Available at:
  5. 5.
  6. 6.
    Mishra, B., et al.: A Sense of Life: Computational and Experimental Investigations with Models of BioChemical and Evolutionary processes. OMICS 7(3) (2003)Google Scholar
  7. 7.
    The BioModels database at:
  8. 8.
    The CAPE-OPEN Laboratories Network at:
  9. 9.
  10. 10.
    The OMG Corba’s web site:
  11. 11.
    The Distributed Component Object Model, by Microsoft at:
  12. 12.
    Coveney, P.V., Fowler, P.W.: Modelling biological complexity: a physical scientist’s perspective. Interface 2, 267–280 (2005)Google Scholar
  13. 13.
    Magee, J., Dulay, N., Kramer, J.: Structuring Parallel and Distributed Programs. IEE Software Engineering Journal 8(2), 73–82 (1993)Google Scholar
  14. 14.
    Magee, J., Dulay, N., Eisenbachand, S., Kramer, J.: Specifying Distribute Software Architectures. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137–153. Springer, Heidelberg (1995)Google Scholar
  15. 15.
    Kramer, J., Magee, J.: Exposing the Skeleton in the Coordination Closet. In: Garlan, D., Le Métayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 18–31. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  16. 16.
    Dublin Core Metadata Initiative at:
  17. 17.
  18. 18.
    Enterprise Javabeans Technology,
  19. 19.
    Ford, R.W., et al.: GCF: A General Coupling Framework. Concurrency and Computation: Practice and Experience 18, 163–181 (2006)CrossRefGoogle Scholar
  20. 20.
    Gene Ontology Consortium, An Introduction to Gene Ontology at:
  21. 21.
    The High Level Architecture,
  22. 22.
    Li, L., Baigent, S.: Integrating biosystems using waveform relaxation. Bioinformatics (submitted)Google Scholar
  23. 23.
    Lloyd, C.M., Halstead, M.D.B., Nielsen, P.F.: CellML: its future, present and past. Progress in Biophysics and Molecular Biology 85(2-3), 433–450 (2004), CrossRefGoogle Scholar
  24. 24.
    Mathematica, Wolfram Research, described at:
  25. 25.
    Novere, N.L., Finney, A., et al.: Minimum information requested in the annotation of biochemical models (MIRIAM). Nature Biotechnology 23, 1509–1515 (2005)CrossRefGoogle Scholar
  26. 26.
    Munk, O.L., et al.: Liver Kinetics of Glucose Analogs Measured in Pigs by PET: Importance of Dual-Input Blood Sampling. Journal of Nuclear Medicine 42, 795–801 (2001)Google Scholar
  27. 27.
    W.H. Press, et al.: Numerical Recipes in C: The Art of Scientific Computing. Cambridge University Press, Cambridge (1992)Google Scholar
  28. 28.
    SBML: Systems Biology Markup Language (2003), at:
  29. 29.
    Hucka, M., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524–531 (2003)CrossRefGoogle Scholar
  30. 30.
    Novere, N.L., Finney, A.: A simple scheme for annotating SBML with references to controlled vocabularies and database entries (2005), Available at:
  31. 31.
    SBW: The Systems Biology Workbench Project at:
  32. 32.
    Schuster, S., Marhl, M., Hofer, T.: Modelling of simple and complex calcium oscillations. European Journal of Biochemistry 269(5), 1333 (2002)CrossRefGoogle Scholar
  33. 33.
    Takahashi, K., et al.: Computational Challenges in Cell Simulation: A Software Engineering Approach. IEEE Intelligent Systems, 64–71 (Sepetember-October 2002)Google Scholar
  34. 34.
    Takahashi, K., Kaizu, K., Hu, B., Tomita, M.: A multi-algorithm, multi-timescale method for cell simulation. Bioinformatics 20(4), 538–546 (2004)CrossRefGoogle Scholar
  35. 35.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)Google Scholar
  36. 36.
    The Unified Modeling Language, a specification of the Object Management Group,
  37. 37.
    New to Web Services, by IBM at:, The W3C Web Services Activity at:
  38. 38.
    Web Services Description Language at:
  39. 39.
    Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. In: ACM Transactions on Software Engineering and Methodology (July 1997)Google Scholar
  40. 40.
    Ermentrout, B.: Simulating, Analyzing, and Animating Dynamical Systems: A Guide to Xppaut for Researchers and Students. SIAM, Philadelphia (2002)zbMATHCrossRefGoogle Scholar
  41. 41.
    The UCL Beacon Project (2003),
  42. 42.
    Klover, P.J., Mooney, R.A.: Hepatocytes: critical for glucose homeostasis. The International Journal of Biochemistry and Cell Biology 36(5), 753–758 (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ofer Margoninski
    • 1
  • Peter Saffrey
    • 1
  • James Hetherington
    • 1
  • Anthony Finkelstein
    • 1
  • Anne Warner
    • 1
  1. 1.Centre for Mathematics and Physics in the Life Sciences and Experimental Biology, (CoMPLEX)University College LondonLondon

Personalised recommendations