PLM系统中业务对象版本操作合规性检查的自动实现

分析了企业实施产品全生命周期管理系统时对业务过程中产品的版本操作与产品版本操作生命周期一致性的要求,介绍了版本操作合规性问题,并从语法合规性规则和行为合规性规则两方面进一步阐述了相应的解决方案,详细介绍了版本操作合规性检查方案的实现框架。采用问卷调查研究方法,收集问卷反馈信息,进一步验证了所研究问题在产品全生命周期管理领域的现实性,所提出的解决方案具有可行性,所开发的工具具有很强的应用推广价值。     

带数据工作流的形式化建模语言——数据感知的工作流网

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析／一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。