| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 中文部分 | 第8-59页 |
| 第1章 绪论 | 第8-17页 |
| 1.1 课题来源与背景 | 第8页 |
| 1.2 课题意义 | 第8-9页 |
| 1.3 国内外相关研究现状 | 第9-15页 |
| 1.3.1 家庭护理计划 | 第9-11页 |
| 1.3.2 业务流程建模 | 第11-13页 |
| 1.3.3 Vaadin 框架 | 第13-14页 |
| 1.3.4 时间自动机 | 第14-15页 |
| 1.4 论文的主要内容 | 第15-16页 |
| 1.5 小结 | 第16-17页 |
| 第2章 系统需求分析 | 第17-24页 |
| 2.1 系统目标 | 第17页 |
| 2.2 系统功能需求 | 第17-22页 |
| 2.2.1 从元模型到关系型数据库的转化机制 | 第18-19页 |
| 2.2.2 图形用户界面 | 第19-22页 |
| 2.2.3 模型监控和检查模块 | 第22页 |
| 2.3 系统非功能需求 | 第22-23页 |
| 2.4 小结 | 第23-24页 |
| 第3章 系统设计 | 第24-41页 |
| 3.1 家庭护理计划的领域特定语言 | 第24页 |
| 3.2 系统架构的设计 | 第24-25页 |
| 3.3 数据库层的设计 | 第25-30页 |
| 3.3.1 元模型的设计 | 第25-27页 |
| 3.3.2 JAVA 类和数据库的转换机制 | 第27-30页 |
| 3.4 图形用户界面层设计 | 第30-37页 |
| 3.4.1 用户图形界面整体设计 | 第32-33页 |
| 3.4.2 时间区间选择界面的设计 | 第33-35页 |
| 3.4.3 参与表界面设计 | 第35-36页 |
| 3.4.4 用户图形界面 | 第36-37页 |
| 3.5 逻辑层中模型检查模块的设计 | 第37-39页 |
| 3.6 关键技术 | 第39-40页 |
| 3.7 小结 | 第40-41页 |
| 第4章 系统实现与测试 | 第41-50页 |
| 4.1 系统实现环境 | 第41页 |
| 4.2 数据库层实现 | 第41-42页 |
| 4.3 用户图形界面层的实现 | 第42-46页 |
| 4.4 逻辑层模型检查实现 | 第46-47页 |
| 4.5 系统测试 | 第47-49页 |
| 4.6 小结 | 第49-50页 |
| 结论 | 第50-51页 |
| 参考文献 | 第51-56页 |
| 致谢 | 第56-57页 |
| 个人简历 | 第57-59页 |
| 英文部分 | 第59-159页 |
| CHAPTER 1 INTRODUCTION | 第61-76页 |
| 1.1 BACKGROUND | 第61-63页 |
| 1.2 THE PURPOSE OF PROJECT | 第63页 |
| 1.3 THE STATUS OF RELATED RESEARCH | 第63-75页 |
| 1.3.1 Home Care Plan | 第63-67页 |
| 1.3.2 Business Process Modeling | 第67-70页 |
| 1.3.3 Vaadin Framework | 第70-72页 |
| 1.3.4 Timed Automata | 第72-75页 |
| 1.4 MAIN CONTENT AND ORGANIZATION OF THE THESIS | 第75页 |
| 1.5 BRIEF SUMMARY | 第75-76页 |
| CHAPTER 2 SYSTEM REQUIREMENT ANALYSIS | 第76-88页 |
| 2.1 THE GOAL OF THE SYSTEM | 第76页 |
| 2.2 THE FUNCTIONAL REQUIREMENTS | 第76-86页 |
| 2.2.1 Translation from meta-model to rational database | 第77-79页 |
| 2.2.2 Graphical User Interface | 第79-85页 |
| 2.2.3 Model monitoring and detection module | 第85-86页 |
| 2.3 THE UN-FUNCTIONAL REQUIREMENTS | 第86页 |
| 2.4 BRIEF SUMMARY | 第86-88页 |
| CHAPTER 3 SYSTEM DESIGN | 第88-124页 |
| 3.1 A DOMAIN SPECIFIC LANGUAGE FOR HOME CARE PLANS | 第88-89页 |
| 3.2 DESIGN OF THE SYSTEM ARCHITECTURE | 第89页 |
| 3.3 DESIGN OF DATABASE LAYER | 第89-101页 |
| 3.3.1 Design of the meta-model | 第91-95页 |
| 3.3.2 Transformation between java codes and database | 第95-101页 |
| 3.4 DESIGN OF GRAPHICAL USER INTERFACE LAYER | 第101-117页 |
| 3.4.1 The architecture of the UI layer | 第102-104页 |
| 3.4.2 Design of prototype of GUI | 第104-111页 |
| 3.4.3 Design of temporality selected interface | 第111-114页 |
| 3.4.4 Design of intervention table interface | 第114-116页 |
| 3.4.5 The agenda of home care plan | 第116-117页 |
| 3.5 DESIGN OF LOGIC LAYER | 第117-122页 |
| 3.5.1 Formal framework based on timed automata | 第118-121页 |
| 3.5.2 Formal analysis of care plans using timed automata | 第121-122页 |
| 3.6 KEY TECHNIQUES | 第122-123页 |
| 3.7 BRIEF SUMMARY | 第123-124页 |
| CHAPTER 4 SYSTEM IMPLEMENTATION AND TESTING | 第124-148页 |
| 4.1 THE ENVIRONMENT OF SYSTEM IMPLEMENTATION | 第124页 |
| 4.2 IMPLEMENTATION OF DATABASE LAYER | 第124-131页 |
| 4.2.1 Transformation of meta-model to java codes | 第124-126页 |
| 4.2.2 Transformation of java code to relational database | 第126-131页 |
| 4.3 IMPLEMENTATION OF GRAPHICAL USER INTERFACE LAYER | 第131-139页 |
| 4.4 SYSTEM TESTING | 第139-147页 |
| 4.4.1 Graphical user interface testing | 第140-144页 |
| 4.4.2 Performance test for web‘s load | 第144-147页 |
| 4.5 BRIEF SUMMARY | 第147-148页 |
| CONCLUSION | 第148-150页 |
| REFERENCES | 第150-155页 |
| ACKNOWLEDGEMENT | 第155-156页 |
| RESUME | 第156-159页 |
