Skip to main content
SpringerLink
Log in
Book cover

International Conference on Practical Applications of Computational Biology & Bioinformatics

PACBB 2019: Practical Applications of Computational Biology and Bioinformatics, 13th International Conference pp 96–104Cite as

Signaling Transduction Networks in Choroidal Melanoma: A Symbolic Model Approach

  • Conference paper
  • First Online:

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1005 ))

Abstract

Biochemical reactions that take place concurrently in a cell can be explored and analyzed by symbolic systems biology. These cellular processes can be modeled with symbolic mathematical models through the use of rewrite rules. Our goal is to define formal models that capture biologists intuitions and reasoning. Pathway Logic is a system for developing executable formal models of biomolecular processes. Analyses of biological facts can be obtained from such models. Ocular melanoma is the most frequent malignant primary intraocular tumor in adult population and the second most common site of malignant melanoma in the body. The knowledge of the signaling pathways involved in melanoma offers new treatment strategies. In this paper, we provide a symbolic system that explores complex and dynamic cellular signaling processes that induce cellular proliferation and survival in choroidal melanoma.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Calipel, A., Lefevre, G., Pouponnot, C., Mouriaux, F.: Mutation of B-Raf in human choroidal melanoma cells mediates cell proliferation and transformation through the MEK/ERK pathway. J. Biol. Chem. 278(43), 42409–42418 (2003)

    Article  Google Scholar 

  2. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L.: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, LNCS, vol. 4350. Springer (2007)

    Google Scholar 

  3. Delmas, C., Aragou, N., Poussard, S., Cottin, P., Darbon, J.M., Manenti, S.: MAP kinase-dependent degradation of p27Kip1 by calpains in choroidal melanoma cells requirement of p27Kip1 nuclear export. J. Biol. Chem. 278(14), 12443–12451 (2003)

    Article  Google Scholar 

  4. Hecquet, C., Lefevre, G., Valtink, M., Engelmann, K., Mascarelli, F.: cAMP inhibits the proliferation of retinal pigmented epithelial cells through the inhibition of ERK1/2 in a PKA-independent manner. Oncogene 21(39), 6101 (2002)

    Article  Google Scholar 

  5. Hwang, W., Hwang, Y., Lee, S., Lee, D.: Rule-based multi-scale simulation for drug effect pathway analysis. BMC Med. Inform. Decis. Mak. 13(Suppl. 1), S4 (2013)

    Article  MathSciNet  Google Scholar 

  6. Krantz, B.A., Dave, N., Komatsubara, K.M., Marr, B.P., Carvajal, R.D.: Uveal melanoma: epidemiology, etiology, and treatment of primary disease. Clin. Ophthalmol. 11, 279 (2017)

    Article  Google Scholar 

  7. Lefevre, G., Calipel, A., Mouriaux, F., Hecquet, C.: Opposite long-term regulation of c-Myc and p27\(^{Kip1}\) through overactivation of Raf-1 and the MEK/ERK module in proliferating human choroidal melanoma cells. Oncogene 22(55), 8813 (2003)

    Article  Google Scholar 

  8. Lo, J.A., Fisher, D.E.: The melanoma revolution: from UV carcinogenesis to a new era in therapeutics. Science 346(6212), 945–949 (2014)

    Article  Google Scholar 

  9. Manenti, S., Malecaze, F., Darbon, J.M.: The major myristoylated PKC substrate (MARCKS) is involved in cell spreading, tyrosine phosphorylation of paxillin, and focal contact formation. FEBS Lett. 419(1), 95–98 (1997)

    Article  Google Scholar 

  10. Martí-Oliet, N., Ölveczky, P.C., Talcott, C.L. (eds.): Logic, Rewriting, and Concurrency - Essays Dedicated to José Meseguer on the Occasion of his 65th Birthday. LNCS, vol. 9200. Springer, Heidelberg (2015)

    MATH  Google Scholar 

  11. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73–155 (1992)

    Article  MathSciNet  Google Scholar 

  12. Nieto, C., Escudero, F., Rivero, V., Hernández Galilea, E.: Choroidal metastasis from primary bone leiomyosarcoma. Int. Ophthalmol. 35(5), 721–725 (2015)

    Article  Google Scholar 

  13. Patel, M., Smyth, E., Chapman, P.B., Wolchok, J.D., Schwartz, G.K., Abramson, D.H., Carvajal, R.D.: Therapeutic implications of the emerging molecular biology of uveal melanoma. Clin. Cancer Res. 17(8), 2087–2100 (2011)

    Article  Google Scholar 

  14. Riesco, A., Santos-Buitrago, B., De Las Rivas, J., Knapp, M., Santos-García, G., Talcott, C.: Epidermal growth factor signaling towards proliferation: modeling and logic inference using forward and backward search. Biomed. Res. Int. 2017, 11 (2017)

    Article  Google Scholar 

  15. Santos-Buitrago, B., Riesco, A., Knapp, M., Alcantud, J.C.R., Santos-García, G., Talcott, C.: Soft set theory for decision making in computational biology under incomplete information. IEEE Access 7, 18183–18193 (2019)

    Article  Google Scholar 

  16. Santos-García, G., De Las Rivas, J., Talcott, C.L.: A logic computational framework to query dynamics on complex biological pathways. In: Saez-Rodriguez, J., et al. (eds.) 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2014, 4–6 June 2014, Salamanca, Spain. AISC, vol. 294, pp. 207–214. Springer, Cham (2014)

    Google Scholar 

  17. Santos-García, G., Palomino, M., Verdejo, A.: Rewriting logic using strategies for neural networks: an implementation in Maude. In: Corchado, J.M., et al. (eds.) Proceedings of International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008, Salamanca, Spain, 22–24 October 2008. AISC, vol. 50, pp. 424–433. Springer, Berlin (2009)

    Google Scholar 

  18. Santos-García, G., Talcott, C.L., De Las Rivas, J.: Analysis of cellular proliferation and survival signaling by using two ligand/receptor systems modeled by Pathway Logic. In: Abate, A., Safránek, D., (eds.) Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, 4–5 September 2015. Revised Selected Papers. LNCS, vol. 9271, pp. 226–245. Springer, Cham (2015)

    Google Scholar 

  19. Shtivelman, E., Davies, M.A., Hwu, P., Yang, J., Lotem, M., Oren, M.: Pathways and therapeutic targets in melanoma. Oncotarget 5(7), 1701 (2014)

    Article  Google Scholar 

  20. Talcott, C.L.: Pathway logic. In: Bernardo, M., Degano, P., Zavattaro, G., (eds.) SFM. LNCS, vol. 5016, pp. 21–53. Springer (2008)

    Google Scholar 

  21. Tenazinha, N., Vinga, S.: A survey on methods for modeling and analyzing integrated biological networks. IEEE/ACM Trans. Comput. Biol. Bioinform. 8(4), 943–958 (2011)

    Article  Google Scholar 

  22. Weng, G., Bhalla, U.S., Iyengar, R.: Complexity in biological signaling systems. Science 284(5411), 92–96 (1999)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bio and Health Informatics Lab, Seoul National University, Seoul, South Korea

    Beatriz Santos-Buitrago

  2. Department of Ophthalmology, University Hospital of Salamanca, Salamanca, Spain

    Emiliano Hernández-Galilea

  3. Institute for Biomedical Research Salamanca (IBSAL), Salamanca, Spain

    Emiliano Hernández-Galilea

Authors
  1. Beatriz Santos-Buitrago
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Emiliano Hernández-Galilea
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Beatriz Santos-Buitrago .

Editor information

Editors and Affiliations

  1. Edificio Politécnico, Escuela Superior de Ingeniería Informática,Campus Universitario As Lagoas , Ourense, Spain

    Florentino Fdez-Riverola

  2. Department de Informática, Universidade do Minho, Braga, Portugal

    Miguel Rocha

  3. Faculty of Bioengineering and Technology, Universiti Malaysia Kelantan, Kelantan, Malaysia

    Mohd Saberi Mohamad

  4. Department of Computer Science and Software Engineering Leader, Data Science Research Group, College of Information Technology (CIT) United Arab Emirates University (UAEU), Al Ain, United Arab Emirates

    Nazar Zaki

  5. IBSAL/BISITE Research Group, University of Salamanca, Salamanca, Salamanca, Spain

    José A. Castellanos-Garzón

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Santos-Buitrago, B., Hernández-Galilea, E. (2020). Signaling Transduction Networks in Choroidal Melanoma: A Symbolic Model Approach. In: Fdez-Riverola, F., Rocha, M., Mohamad, M., Zaki, N., Castellanos-Garzón, J. (eds) Practical Applications of Computational Biology and Bioinformatics, 13th International Conference. PACBB 2019. Advances in Intelligent Systems and Computing, vol 1005 . Springer, Cham. https://doi.org/10.1007/978-3-030-23873-5_12

Download citation

Publish with us

Policies and ethics

Search

Navigation