跳到主要內容

臺灣博碩士論文加值系統

(34.204.180.223) 您好!臺灣時間:2021/07/31 18:21
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:張文賢
研究生(外文):Wen-Hsien Chang
論文名稱:嵌入式系統的元件介面設計,以醫療服務流程的資訊擷取、轉換及載入工具為例
論文名稱(外文):Component Interface Design for Embedded Systems, Using Medication ETL Tools as an Example
指導教授:施吉昇
指導教授(外文):Chi-Sheng Shih
學位類別:碩士
校院名稱:國立臺灣大學
系所名稱:資訊工程學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2009
畢業學年度:97
語文別:英文
論文頁數:56
中文關鍵詞:元件介面整合驗證介面定義語言元件整合網路服務正規驗證
外文關鍵詞:component interfaceintegration verificationinterface definition languagecomponent integrationweb serviceformal verification
相關次數:
  • 被引用被引用:0
  • 點閱點閱:147
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
元件化嵌入式系統設計的研究已經有很長的時間,許多介面定義語言也已被提出而使得整合程序更加容易。然而,整合程序仍然無法自動化,而且完全依賴軟體工程師去驗證整個程序的正確性,無法免除人工的輔助。除此之外,大部分的研究都著眼於系統開發時的整合而非系統執行時的整合。這篇論文將提出一個新的介面設計方式,使功能性和非功能性的條件都能以機器可讀的格式描述。在系統執行時的整合程序中,我們將會利用 SMT (Satisfiability Modulo Theory) 及正規驗證的工具來檢查功能性和非功能性的條件,以確保系統不會因為整合一個新的元件而產生問題。這個介面定義語言能讓系統執行時一個元件的整合和移除變得較為容易,而且能夠提昇整個系統的可靠性。我們將三個以傳統 Java 語言所設計的醫療服務流程的資訊擷取、轉換及載入工具佈署成網路服務,並且以之說明這個整合的程序。
Component-based embedded system design has been studied for a long time. Many interface definition languages (IDL) are defined for facilitating the integration process. However, the integration process cannot be automated and fully relies on the software engineer to verify the correctness of the process. The integration process still requires human assistances. In addition, most of them focus on the design-time integration instead of run-time integration. This thesis proposed an interface design such that functional and non-functional requirements are described in a machine-readable standard language. These requirements will be verified with the assistances of an SMT solver and a formal verification tool in run-time to assure that the correctness of a host system will not be jeopardized after integrating a new component. With this interface definition language, not only the integration and removal of a component can occur in run-time with less effort but also the system reliability is enhanced. In this thesis, we will use three medication ETL (extract, transform and load) tools, which are traditional Java objects deployed as web services, in the medication-use process as the target component to illustrate the integration process.
List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii
Chapter 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Objectives and Contribution . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Chapter 2 Background and Related Works . . . . . . . . . . . . . . . . . . . . . 5
2.1 Medication-Use Process . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Workflow-Based Integration Framework for Medication-Use Process . . 9
2.2.1 Integration Framework for Flexible Medication-Use Process . . . 9
2.2.2 Workflow Processes for Medication-use Systems . . . . . . . . . . 11
2.3 Related Works . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Chapter 3 Component Interface Design . . . . . . . . . . . . . . . . . . . . . . . 15
3.1 Required Information for Integration . . . . . . . . . . . . . . . . . . . . . 17
3.2 Integration Verification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2.1 Non-functional Correctness Verification . . . . . . . . . . . . . . . 21
3.2.2 Functional Correctness Verification by Model Checker . . . . . . 21
3.3 Integration with Component Interface Design . . . . . . . . . . . . . . . . 23
3.4 Syntax Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Chapter 4 Integrating ETL Tools as an Example . . . . . . . . . . . . . . . . . . 26
4.1 Introduction to Medication ETL Tools . . . . . . . . . . . . . . . . . . . . 26
4.2 Deployment Platform and Mutual Exclusion Problem . . . . . . . . . . . 27
4.3 Interface Examples for ETL Tools . . . . . . . . . . . . . . . . . . . . . . . 30
4.4 Integration Process Example . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.4.1 Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.4.2 IDL Updating . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.5 Integration Daemon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Chapter 5 Summary and Future Works . . . . . . . . . . . . . . . . . . . . . . . 54
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
[1] H. C. Yeh, C. S. Shih, and J. W. S. Liu, Integration framework for medication use process, in Proceedings of IEEE International Conference on Systems, Man and Cybernetics,, October 2007.
[2] Drug Information. http://www.pdrhealth.com, March 2009.
[3] S. C. Dursco, Technological advances in improving medication adherence in the elderly, Annals of Long-Term Care: Clinical Care and Aging, vol. 9, no. 4, 2001.
[4] Pill boxes and medication scheduling. at http://www.epill.com/ and http://www.dynamic-living.com.
[5] My pill box. http://www.mypillbox.org.
[6] Workfow Management Coalition, XPDL. at http://www.wfmc.org/xpdl-implementations.html.
[7] K. Balasubramanian, J. Balasubramanian, J. Parsons, and A. G. Douglas, A platform-independent component modeling language for distributed real-time and embedded systems, in In Proceedings of the 11th Real-time Technology and Application Symposium (RTAS 05), pp. 190V199, IEEE, 2005.
[8] N. Wang, C. Gill, V. Subramonian, and D. C. Schmidt, Configuring real-time aspects in component middleware, in In Lecture Notes in Computer Science: Proc. of the International Symposium on Distributed Objects and Applications (DOA04), pp. 1520V1537, Springer-Verlag, 2004.
[9] G. Madl, Model-based analysis of distributed real-time embedded, in System Composition, in EMSOFT 2005, pp.371V374, ACM Press, 2005.
[10] G. Madl and S. A. D. C. Schmidt, Verifying distributed real-time properties of embedded systems via graph transformations and model checking (invited paper, submitted), The International Journal of Time-Critical Computing, 2005.
[11] Kansas State University, Cadena. at http://cadena.projects.cis.ksu.edu/index.shtml.
[12] Microsoft, Microsoft Interface Definition Language. at http://www.microsoft.com/msj/0898/idl/idl.aspx.
[13] Object Management Group, CORBA IDL. at http://www.omg.org/technology/documents/idl2x_spec_catalog.htm.
[14] Tsung-Yen Chen, Pei-Hsuan Tsai, Ting-Shuo Chou, Chi-Sheng Shih, Tei-Wei Kuo, Jane W.S. Liu, and Anitha Thamizhmani, Component model and architecture of smart devices for elderly, in Proceedings of Working IEEE/IFIP Conference on Software Architecture (WICSA) 2008, (Vancouver, BC, Canada), February 2008.
[15] SPIN model checker. http://spinroot.com/.
[16] Semantic Annotations for Web Services Description Language Working Group, Web Services Addressing Working Group, Web Services Architecture Working Group, Web Services Description Working Group, Web Services Choreography Working Group, Web Services Policy Working Group, XML Protocol Working Group, XML Schema Patterns for DatabindingWorking Group, SOAP-JMS Binding Working Group, and Semantic Web Services Interest Group, Web Services Activity. at http://www.w3.org/2002/ws/.
[17] The Apache Software Foundation, Apache Axis2/Java - Next Generation Web Services. at http://ws.apache.org/axis2/.
[18] Sun Microsystems, Inc., The Java Virtual Machine Specification. at http://java.sun.com/docs/books/jvms/second_edition/html/VMSpecTOC.doc.html.
[19] Taipei Veterans General Hospital. http://www.vghtpe.gov.tw/.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top