基于B方法的Web Service组合描述和验证方法

对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证。     

一种入侵容忍的安全数据库系统设计方案

与预防攻击为主的安全方案不同,我们假设入侵者可以攻击我们系统的一部分,该方案可以保证系统在部分组件受到攻击之后,整体的安全性不会受到威胁.攻击该系统必须在短时间内攻破系统的所有部件,与单独孤立的攻击相比,这种攻击更难以实施,更容易被发现和制止.     

基于模型的参数化界面设计模式

为了提高用户界面的开发效率,提出了面向用户的参数化界面设计模式,从模型、展示样式、操作3个方面描述了设计模式,给出了界面设计模式的规范定义．该模式进一步指导了基于模型的用户界面开发,有效地支持了代码的自动生成,提高了界面设计的效率．     

客户化CAPP系统的研制与开发

根据我国企业的生产现状，讨论了CAPP存在的问题，提出了“以产品数据为基础，以交互式设计为手段，以工艺知识库为核心，以实现企业需求为己任，以尽善尽美为目标，以集成化、智能化、工具化、模块化、网络化和实用化为指导思想”的CAPP系统开发模式，改变了过去盲目追求高度自动化的系统开发理念，研制并开发了高度客户化的模块式CAPP系统．     

递归和复杂用户界面的设计模式

当前界面设计模式难以表达复杂界面结构,不能满足在同一有限区域展示多项内容或具有层次结构内容的需求。为增强界面设计模式对复杂界面的支持能力,按普通模式、简单组合模式和重叠组合模式的划分方法总结和扩展界面设计模式,提出一种递归界面设计模式。该模式支持复杂界面设计和目标代码的自动生成。     

PDM在汽车模具行业的应用

在分析汽车模具设计现状的基础上 ,建立了产品数据管理信息组织模型 ,设计了汽车模具行业IMAN客户化定制的主要内容并进行了应用验证。     

基于BOM的PDM与CAPP系统集成研究

在分析PDM技术现状的基础上建立基于BOM的PDM/CAPP集成模型 ,设计基于iMAN的PDM /CAPP系统整体方案 ,利用Java技术开发了集成化的Wit CAPP系统 ,最后在北汽福田潍坊模具厂进行了应用验证     

基于Web的分布式工作流管理系统

产品设计过程中重要的是平衡信息流 ,而不是平衡能力 ,一点的设计信息阻塞造成的效率降低会波及整个设计过程。本文针对设计过程中影响信息流通的主要因素 ,建立了基于Web的分布式工作流管理系统模型 ,并开发了相应的应用系统。     

Web平台无关模型到J2EE平台模型的转换

平台无关模型到平台相关模型的转换是OMG提出的模型驱动架构（MDA）中的关键技术。综合当前J2EE平台下广泛使用的多种应用框架，提出了一种包括静态模型、行为模型和展示模型3个部分的J2EE平台相关模型，将其作为目标模型并按结构定义、映射规则实现模型转换。该文描述了一种Web平台无关模型到J2EE平台模型的转换，体现了模型驱动开发的优点，提升了开发层次，由于受目标应用领域和特定技术对该模型限制较小，因此其具有较好的通用性。