| 摘要 | 第1-8页 |
| ABSTRACT | 第8-16页 |
| 第一章 绪论 | 第16-21页 |
| ·研究背景和意义 | 第16-18页 |
| ·研究目标和内容 | 第18-19页 |
| ·论文的组织结构 | 第19-21页 |
| 第二章 国内外相关研究工作 | 第21-34页 |
| ·并发语言发展趋势 | 第21-23页 |
| ·国外相关研究 | 第23-32页 |
| ·RAISE规范语言RSL | 第23-24页 |
| ·并发程序设计模型Seuss | 第24-25页 |
| ·SCOOP模型+Eiffel语言 | 第25-29页 |
| ·结构化并发建模语言Orc | 第29-32页 |
| ·国内相关研究 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 第三章 APLA+语言并发机制设计 | 第34-75页 |
| ·抽象顺序程序设计语言APLA | 第34-38页 |
| ·数据类型(Data Type) | 第35页 |
| ·程序结构(Structure of Program) | 第35-36页 |
| ·程序语句(Statements of Program) | 第36页 |
| ·程序模块(Module of Program) | 第36-38页 |
| ·体系结构(ARCHITECTURE) | 第38页 |
| ·BUNDLE构件(BUNDLE COMPONENT) | 第38-43页 |
| ·Bundle定义(Bundle Definition) | 第39-41页 |
| ·Bundle调用(Bundle Calling) | 第41-43页 |
| ·表达式(EXPRESSION) | 第43页 |
| ·调度算子(ORCHESTRATE COMBINATOR) | 第43-60页 |
| ·并行算子(Paralle Combinator) | 第44-45页 |
| ·顺序算子(Sequential Combinator) | 第45-52页 |
| ·剪裁算子(Prunning Combinator) | 第52-58页 |
| ·否则算子(Otherwise Combinator) | 第58-60页 |
| ·执行序列(EXECUTION ORDER) | 第60-66页 |
| ·模型变换(Model Transformation) | 第60-62页 |
| ·精化算法(Refinement Algorithm) | 第62-66页 |
| ·通信工具(COMUNICATION TOOLS) | 第66-74页 |
| ·信号量(Semaphore) | 第67-70页 |
| ·通道(Channel) | 第70-74页 |
| ·本章小结 | 第74-75页 |
| 第四章 APLA+语言相关理论研究 | 第75-91页 |
| ·并发模式(CONCURRENT PATTERN) | 第75-84页 |
| ·并行模式(Parallel Pattern) | 第75-78页 |
| ·同步模式(Synchronous Pattern) | 第78-81页 |
| ·互斥模式(Exclusive Pattern) | 第81-84页 |
| ·并发模式小结(Brief Summary) | 第84页 |
| ·模型变换等价性(EQUIVALENCE OF MODEL TRANSFORMATION) | 第84-86页 |
| ·泛型机制(GENERIC MECHANISM) | 第86-90页 |
| ·类型参数化(Type Parameterization) | 第87-88页 |
| ·操作参数化(Operation Parameterization) | 第88-89页 |
| ·构件参数化(Component Parameterization) | 第89-90页 |
| ·本章小结 | 第90-91页 |
| 第五章 APLA+TOJAVA自动生成原型系统设计 | 第91-123页 |
| ·JAVA并发编程(JAVA CONCURRENT PROGRAMMING) | 第91-96页 |
| ·多线程机制(Multithreads Mechanism) | 第92-94页 |
| ·线程状态(Thread State) | 第94-95页 |
| ·线程同步(Thread Synchronization) | 第95-96页 |
| ·总体设计框架(MAIN DESIGN FRAMEWORK) | 第96-97页 |
| ·词法分析(LEXICAL ANALYSIS) | 第97-98页 |
| ·语法分析(SYNTAX ANALYSIS) | 第98-99页 |
| ·语义分析(SEMANTIC ANALYSIS) | 第99页 |
| ·代码生成(CODE GENERATION) | 第99-108页 |
| ·规则库(Rules Library) | 第99-103页 |
| ·构件库(Components Library) | 第103-108页 |
| ·典型实例(TYPICAL EXAMPLES) | 第108-121页 |
| ·简单并发问题 | 第108-110页 |
| ·生产者-消费者问题 | 第110-112页 |
| ·哲学家就餐问题 | 第112-114页 |
| ·读者-写者问题 | 第114-119页 |
| ·银行账户管理 | 第119-121页 |
| ·本章小结 | 第121-123页 |
| 第六章 总结与展望 | 第123-127页 |
| ·主要研究成果 | 第123-124页 |
| ·相关工作比较 | 第124-126页 |
| ·与RSL语言比较 | 第124-125页 |
| ·与Seuss模型比较 | 第125页 |
| ·与SCOOP模型比较 | 第125页 |
| ·与Orc语言比较 | 第125-126页 |
| ·研究工作展望 | 第126-127页 |
| 参考文献 | 第127-134页 |
| 攻博期间发表的科研成果目录 | 第134-136页 |
| 致谢 | 第136-137页 |
| 附件 | 第137-138页 |
