项目名称: 基于场景的构件行为建模和组合研究
项目编号: No.61272007
项目类型: 面上项目
立项/批准年度: 2013
项目学科: 自动化技术、计算机技术
项目作者: 陈中育
作者单位: 浙江师范大学
项目金额: 61万元
中文摘要: 遵循用户主导、直接面向领域专家进行需求建模的原则,针对用户场景存在需求覆盖性问题,解决多场景组合可能出现的过概括、欠概括及不一致,采用范畴论数学,研究基于场景的构件行为建模和组合。主要研究包括:(1)把场景抽象为有点集形式的数学结构,结合场景生命周期时间模型,给出场景及其组合的范畴论语义模型;(2)根据函子构造性,提出一种由场景产生构件行为模型的构造函子;(3)研究构造函子的泛性质,给出系统构件可组合的条件。其研究意义在于:通过模型转换函子的抽象算法设计与实现,开发一个场景建模系统构件的工具原型,对寻求一种不仅尊重用户需求变更而且自动适应需求变化的可供领域专家定义的新型需求方法的深入研究,具有重要的理论意义和应用价值。
中文关键词: 场景;构件行为建模;范畴论;函子;构件组合
英文摘要: Following the user guided and domain-experts oriented principle, the project investigates the model construction and combination of scenario based component behavior using category theory, which is hopefully the key point in solving over-summarization, under-summarization and inconsistency in multi-scenario combination according to the problem of requirement overlapping in user scenario. The main research work of this project includes: (1)proposing a category theory based semantic representation framework of scenarios and its combinations by extracting the scenarios as point set, combined with scenario life time model;(2)putting forward a new construction functor based on the component model produced by scenarios;(3)focusing on the generalization of construction functors and formulating the combination condition of system components.The fundamentality of the project lies in developing a prototype tool of scenarios construction modeling system by algorithms design and implementation on one aspect, and having invaluable theoretical and applicable significance in seeking new requirement methodology which is not only adaptive to requirement variations but also easily defined by domain experts, on the other aspect.
英文关键词: scenario;component behavior modeling;category theory;functor;component composition