The goal of this paper is to take a further step towards an ontological approach for representing requirements informati......

Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依......

组织模型是核电企业信息系统（Nuclear Enterprise Information System，NEIS）重要的基础模型，任何NEIs都是建立在相应的组织模型基础上......

文章提出了一种客户驱动的大批量定制模型的参数映射方法,从客户角度考虑,分析了客户驱动参数类型,研究了驱动参数类型的描述方法,......