| ชื่อเรื่อง | : | Deductive Synthesis of Workflows for E-Science |
| นักวิจัย | : | Alan, Bundy , Yang, B. , Smaill, A. , Dixon, L. |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2548 |
| อ้างอิง | : | 0-7803-9074-1 , http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1558550&tag=1 , http://hdl.handle.net/1842/4691 , 10.1109/CCGRID.2005.1558550 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | In this paper we show that the automated reasoning technique of deductive synthesis can be applied to address the problem of machine-assisted composition of e-Science workflows according to users' specifications. We encode formal specifications of e-Science data, services and workflows, constructed from their descriptions, in the generic theorem prover Isabelle. Workflows meeting this specification are then synthesised as a side-effect of proving that these specifications can be met. |
| บรรณานุกรม | : |
Alan, Bundy , Yang, B. , Smaill, A. , Dixon, L. . (2548). Deductive Synthesis of Workflows for E-Science.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Alan, Bundy , Yang, B. , Smaill, A. , Dixon, L. . 2548. "Deductive Synthesis of Workflows for E-Science".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Alan, Bundy , Yang, B. , Smaill, A. , Dixon, L. . "Deductive Synthesis of Workflows for E-Science."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2548. Print. Alan, Bundy , Yang, B. , Smaill, A. , Dixon, L. . Deductive Synthesis of Workflows for E-Science. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2548.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
