کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
2075870 | 1544966 | 2016 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Rosen's (M,R) system in Unified Modelling Language
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
UMLOOPReductionismRosenEntailment - انطباقReduction - اکسایشHalting problem - توقف مشکلUnified modelling language - زبان مدل سازی یکپارچهRelational biology - زیست شناسی ارتباطیSystems biology - زیست شناسی سامانه ها یا سیستم بیولوژی یا زیستشناسی دستگاههاNetworks - شبکه هاSimulation - شبیه سازیObject-orientation - شی گراComputability - محاسبه پذیریModelling - مدل سازی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
مدلسازی و شبیه سازی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Rosen's (M,R) system in Unified Modelling Language Rosen's (M,R) system in Unified Modelling Language](/preview/png/2075870.png)
چکیده انگلیسی
Robert Rosen's (M,R) system is an abstract biological network architecture that is allegedly non-computable on a Turing machine. If (M,R) is truly non-computable, there are serious implications for the modelling of large biological networks in computer software. A body of work has now accumulated addressing Rosen's claim concerning (M,R) by attempting to instantiate it in various software systems. However, a conclusive refutation has remained elusive, principally since none of the attempts to date have unambiguously avoided the critique that they have altered the properties of (M,R) in the coding process, producing merely approximate simulations of (M,R) rather than true computational models. In this paper, we use the Unified Modelling Language (UML), a diagrammatic notation standard, to express (M,R) as a system of objects having attributes, functions and relations. We believe that this instantiates (M,R) in such a way than none of the original properties of the system are corrupted in the process. Crucially, we demonstrate that (M,R) as classically represented in the relational biology literature is implicitly a UML communication diagram. Furthermore, since UML is formally compatible with object-oriented computing languages, instantiation of (M,R) in UML strongly implies its computability in object-oriented coding languages.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Biosystems - Volume 139, January 2016, Pages 29-36
Journal: Biosystems - Volume 139, January 2016, Pages 29-36
نویسندگان
Ling Zhang, Richard A. Williams, Derek Gatherer,