Executable Biochemical Space for Specification and Analysis of Biochemical Systems

被引：3

作者：

Trojak, Matej ^{[1
]}

Safranek, David ^{[1
]}

Brim, Lubos ^{[1
]}

Salagovic, Jakub ^{[2
]}

Cerveny, Jan ^{[2
]}

机构：

[1] Masaryk Univ, Syst Biol Lab, Brno, Czech Republic

[2] Global Change Res Ctr AS CR, Vvi, Brno, Czech Republic

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2020年 / 350卷 / 350期

关键词：

rule-based modelling; formal specification; static analysis; ANNOTATION; SIMULATION; FRAMEWORK; SEMANTICS; KAPPA;

D O I：

10.1016/j.entcs.2020.06.006

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.

引用

页码：91 / 116

页数：26

共 50 条

[1] Executable biochemical space for specification and analysis of biochemical systems
Trojak, Matej
Safranek, David
Mertova, Lukrecia
Brim, Lubos
PLOS ONE, 2020, 15 (09):
[2] A Language for Biochemical Systems: Design and Formal Specification
Pedersen, Michael
Plotkin, Gordon D.
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
[3] Automated construction and analysis of the design space for biochemical systems
Fasani, Rick A.
Savageau, Michael A.
BIOINFORMATICS, 2010, 26 (20) : 2601 - 2609
[4] EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS
DENG, Y
CHANG, SK
LIN, XL
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (04) : 427 - 450
[5] Biochemical analysis with microfluidic systems
Ursula Bilitewski
Meike Genrich
Sabine Kadow
Gaber Mersal
Analytical and Bioanalytical Chemistry, 2003, 377 : 556 - 569
[6] Biochemical analysis with microfluidic systems
Bilitewski, U
Genrich, M
Kadow, S
Mersal, G
ANALYTICAL AND BIOANALYTICAL CHEMISTRY, 2003, 377 (03) : 556 - 569
[7] Phenotypes and tolerances in the design space of biochemical systems
Savageau, Michael A.
Coelho, Pedro M. B. M.
Fasani, Rick A.
Tolla, Dean A.
Salvador, Armindo
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2009, 106 (16) : 6435 - 6440
[8] Uploadable executable specification concept for spacecraft autonomy systems
Cancro, George
Innanen, William
Turner, Russell
Monaco, Christopher
Trela, Michael
2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2007, : 3512 - 3523
[9] Executable specification of open multi-agent systems
Artikis, Alexander
Sergot, Marek
LOGIC JOURNAL OF THE IGPL, 2010, 18 (01) : 31 - 65
[10] RealSpec: An Executable Specification Language for Modeling Control Systems
Khwaja, Amir A.
Urban, Joseph E.
PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 2009, : 219 - +

← 1 2 3 4 5 →