Unifying modelling and programming: A systems biology perspective

Hillel Kugler

doi:10.1007/978-3-319-47169-3_10

Unifying modelling and programming: A systems biology perspective

Hillel Kugler

Bar-Ilan University - The Alexander Kofkin Faculty of Engineering

Microsoft USA

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

Despite significant research progress made and methodological experience gained over the past few decades, a tight integration between programming and modelling, guided and supported by intuitive yet rigorous formal reasoning and verification methods that ensure high reliability and quality of the developed system remains challenging and is still far from becoming mainstream. We suggest that recent developments in the area of computational systems biology could allow us to gain some new perspectives about the challenges involved in developing pragmatic solutions unifying programming and modelling.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings
Editors	Bernhard Steffen, Tiziana Margaria
Publisher	Springer Verlag
Pages	131-133
Number of pages	3
ISBN (Print)	9783319471686
DOIs	https://doi.org/10.1007/978-3-319-47169-3_10
State	Published - 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9953 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG 2016.

Access to Document

10.1007/978-3-319-47169-3_10

Cite this

Kugler, H. (2016). Unifying modelling and programming: A systems biology perspective. In B. Steffen, & T. Margaria (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (pp. 131-133). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-47169-3_10

Kugler, Hillel. / Unifying modelling and programming : A systems biology perspective. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. editor / Bernhard Steffen ; Tiziana Margaria. Springer Verlag, 2016. pp. 131-133 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{dd3e5a3816de42a88acbb24d6cf86f7d,

title = "Unifying modelling and programming: A systems biology perspective",

abstract = "Despite significant research progress made and methodological experience gained over the past few decades, a tight integration between programming and modelling, guided and supported by intuitive yet rigorous formal reasoning and verification methods that ensure high reliability and quality of the developed system remains challenging and is still far from becoming mainstream. We suggest that recent developments in the area of computational systems biology could allow us to gain some new perspectives about the challenges involved in developing pragmatic solutions unifying programming and modelling.",

author = "Hillel Kugler",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.",

year = "2016",

doi = "10.1007/978-3-319-47169-3_10",

language = "אנגלית",

isbn = "9783319471686",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "131--133",

editor = "Bernhard Steffen and Tiziana Margaria",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

address = "גרמניה",

}

Kugler, H 2016, Unifying modelling and programming: A systems biology perspective. in B Steffen & T Margaria (eds), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9953 LNCS, Springer Verlag, pp. 131-133. https://doi.org/10.1007/978-3-319-47169-3_10

Unifying modelling and programming: A systems biology perspective. / Kugler, Hillel.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. ed. / Bernhard Steffen; Tiziana Margaria. Springer Verlag, 2016. p. 131-133 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Unifying modelling and programming

T2 - A systems biology perspective

AU - Kugler, Hillel

PY - 2016

Y1 - 2016

N2 - Despite significant research progress made and methodological experience gained over the past few decades, a tight integration between programming and modelling, guided and supported by intuitive yet rigorous formal reasoning and verification methods that ensure high reliability and quality of the developed system remains challenging and is still far from becoming mainstream. We suggest that recent developments in the area of computational systems biology could allow us to gain some new perspectives about the challenges involved in developing pragmatic solutions unifying programming and modelling.

AB - Despite significant research progress made and methodological experience gained over the past few decades, a tight integration between programming and modelling, guided and supported by intuitive yet rigorous formal reasoning and verification methods that ensure high reliability and quality of the developed system remains challenging and is still far from becoming mainstream. We suggest that recent developments in the area of computational systems biology could allow us to gain some new perspectives about the challenges involved in developing pragmatic solutions unifying programming and modelling.

UR - http://www.scopus.com/inward/record.url?scp=84993953570&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-47169-3_10

DO - 10.1007/978-3-319-47169-3_10

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84993953570

SN - 9783319471686

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 131

EP - 133

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Steffen, Bernhard

A2 - Margaria, Tiziana

PB - Springer Verlag

ER -

Kugler H. Unifying modelling and programming: A systems biology perspective. In Steffen B, Margaria T, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag. 2016. p. 131-133. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-47169-3_10

Unifying modelling and programming: A systems biology perspective

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this