請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/41466
完整後設資料紀錄
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.advisor | 施吉昇(Chi-Sheng Shih) | |
dc.contributor.author | Wen-Hsien Chang | en |
dc.contributor.author | 張文賢 | zh_TW |
dc.date.accessioned | 2021-06-15T00:20:00Z | - |
dc.date.available | 2009-02-18 | |
dc.date.copyright | 2009-02-18 | |
dc.date.issued | 2009 | |
dc.date.submitted | 2009-02-11 | |
dc.identifier.citation | [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/. | |
dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/41466 | - |
dc.description.abstract | 元件化嵌入式系統設計的研究已經有很長的時間,許多介面定義語言也已被提出而使得整合程序更加容易。然而,整合程序仍然無法自動化,而且完全依賴軟體工程師去驗證整個程序的正確性,無法免除人工的輔助。除此之外,大部分的研究都著眼於系統開發時的整合而非系統執行時的整合。這篇論文將提出一個新的介面設計方式,使功能性和非功能性的條件都能以機器可讀的格式描述。在系統執行時的整合程序中,我們將會利用 SMT (Satisfiability Modulo Theory) 及正規驗證的工具來檢查功能性和非功能性的條件,以確保系統不會因為整合一個新的元件而產生問題。這個介面定義語言能讓系統執行時一個元件的整合和移除變得較為容易,而且能夠提昇整個系統的可靠性。我們將三個以傳統 Java 語言所設計的醫療服務流程的資訊擷取、轉換及載入工具佈署成網路服務,並且以之說明這個整合的程序。 | zh_TW |
dc.description.abstract | 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. | en |
dc.description.provenance | Made available in DSpace on 2021-06-15T00:20:00Z (GMT). No. of bitstreams: 1 ntu-98-R95922039-1.pdf: 1073574 bytes, checksum: 762e822721b2c41cd7c65ce5210fea80 (MD5) Previous issue date: 2009 | en |
dc.description.tableofcontents | 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 | |
dc.language.iso | en | |
dc.title | 嵌入式系統的元件介面設計,以醫療服務流程的資訊擷取、轉換及載入工具為例 | zh_TW |
dc.title | Component Interface Design for Embedded Systems, Using Medication ETL Tools as an Example | en |
dc.type | Thesis | |
dc.date.schoolyear | 97-1 | |
dc.description.degree | 碩士 | |
dc.contributor.oralexamcommittee | 張韻詩(Liu, Jane Win-Shih),王柏堯(Bow-Yaw Wang),邵家健(John Kar-kin Zao) | |
dc.subject.keyword | 元件介面,整合驗證,介面定義語言,元件整合,網路服務,正規驗證, | zh_TW |
dc.subject.keyword | component interface,integration verification,interface definition language,component integration,web service,formal verification, | en |
dc.relation.page | 56 | |
dc.rights.note | 有償授權 | |
dc.date.accepted | 2009-02-12 | |
dc.contributor.author-college | 電機資訊學院 | zh_TW |
dc.contributor.author-dept | 資訊工程學研究所 | zh_TW |
顯示於系所單位: | 資訊工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-98-1.pdf 目前未授權公開取用 | 1.05 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。