I detta arbete presenterar vi Bio-PEPA, en processalgebra för modellering och analys av biokemiska nätverk. Det är en ändring av PEPA, som ursprungligen definierades för prestandaanalys av datorsystem, för att hantera vissa egenskaper hos biologiska modeller, såsom stoichiometri och användning av allmänna kinetiska lagar. Tillämpningsområdet är ett av biokemiska nätverk. Bio-PEPA kan ses som en intermediär, formell, sammansättningsrepresentation av biologiska system, där olika typer av analyser kan utföras. Bio-PEPA är berikat med vissa begrepp om likvärdighet. Särskilt har isomorfismen och den starka bisimuleringen för PEPA övervägts och utvidgats till vårt språk. Slutligen visar vi översättningen av en biologisk modell till det nya språket och vi rapporterar några analysresultat.
3 Bio-PEPA Bio-PEPA REF är ett processalgebraiskt språk som ursprungligen utvecklades för stokastisk analys av biokemiska system.
Bio-PEPA: a framework for the modelling and analysis of biological systems
{'venue': None, 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}