一种验证特征模型和软件架构可追溯性的方法

基于形式概念分析技术,提出了一种验证特征模型和软件架构之间具有可追溯性的方法。该方法分析了特征的组成,定义了特征模型和软件架构的功能表达式,构造了概念格并提出了两个模型之间的映射规则。与一般的模型可追溯性验证方法相比,该方法更适用于复杂度高的模型,最后通过实例研究说明了方法的有效性。     

基于带权时间Petri网的工作流建模研究及应用

文章提出了一种带权的时间工作流概念,建立了带权时间工作流模型WTPWF-Net(带权时间工作流网络),给出了其元模型和过程模型,给出了从工作流概念到模型元素之间的映射方法,并利用本模型对某公司的物资管理系统的业务流程进行了实际运用,良好的运行效果验证了该模型的可行性和有效性。     

知识产权私权保护与公权规制的利益平衡

知识产权由于客体的非物质性特征,呈现出与所有权不同的属性,其在私权领域内的非理性扩张影响了社会的公共利益,有悖于权利保护的初衷。为了防止私权的过度泛滥,政府部门对知识产权采取了相应的规制措施。建议通过权利主体、政府部门以及行业组织三者的共同努力,协调好知识产权私权保护与公权规制之间的平衡问题,以期促进知识产权法律体系的健康、有序发展。