第1期 郭新峰，等：扩展断言知识检验一致的需求建模方法 83· ment)和属性(Attribute),Element分为主成员(Key) 和普通成员(Member);Attribute有一组操作权限。 Organization Opt Type Errand perator State RscTtoe ERD Type Attrlbote Eleacn Role Depar tam oecoslte Baste recondit npo rocedure utput Pretaik Stare Key Meabe eoder 图2ROB本体概念层次 Fig.2 Concept categories of ROB ontology B),语义解释为一个主资源可函数决定一组普通资 2.2R0B模型本体关系 源；lI)hasPremise,描述格式为hasPremise(A,B),语 ROB本体中概念不是孤立存在的，概念间存在 义解释为一个核心执行模块存在必须先执行的一组 关系，主要包括：1)isA,描述格式为isA(A,B),表示 前置模块；l2)hasCon,描述格式为hasCon(A,B),语 A是B的子类(subclass):2)hasRsc,描述格式为 义解释为业务功能含一前置条件描述：l3)hasInt,描 hasRsc(A,B),语义解释为一个A(需求任务/角色 述格式为hasInt(A,B),语义解释为业务功能含一个 状态)涉及到一个资源B;3)hasOrg,描述格式为ha 输入描述；l4)hasPro,描述格式为hasPro(A,B),语 sOg(A,B),语义解释为一个A(需求任务/状态)涉 义解释为业务功能有一个过程描述：l5)has0ut,描述 及一个组织B:4)hasBusi,描述格式为hasBusi(A, 格式为hasOut(A,B),语义解释为业务功能含一输 B),语义解释为一个基本需求任务A由一个业务功 出描述：16)hasPost,.描述格式为hasPost(A,B),语 能B实现：5)hasTask,描述格式为hasTask(A,B),语 义解释为业务功能必含一后置结果描述；l7)has- 义解释为一个复合需求任务A需要分解为一组核心 Type,描述格式为hasType(A,B),语义解释为需求 执行模块B:6)hasErd,描述格式为hasErd(A,B), 任务必有一个任务类型；l8)hasErand,描述格式为 语义解释为一个执行模块A必须作为一个需求任务 hasErand(A,B),语义解释为角色可参与需求任务； B进行分析；7)hasSubR,描述格式为hasSubR(A), 19)hasOpt,描述格式为hasOpt(A,B),语义解释为 语义解释为一个资源A是一组规模更小的子资源集： 角色可拥有一组操作使用权：20)hasAttr,描述格式为 8)hasSubO,描述格式为hasSubO(A),语义解释为一 hasAttr(A,B),语义解释为每一具体操作是在具体 个组织A是一组规模更小的子组织集：9)hasLead,描 Attribute上的操作：21)hasOptTp,描述格式为hasOpt-- 述格式为hasLead(A,B),语义解释为领导可管辖普 Tp(A,B),语义解释为每一具体操作有一操作类型。 通成员；l0)hasFuncdep,描述格式为hasFuncdep(A, ROB模型本体关系如图3所示。 Precondit State Member -hasFuncdep- Key Pretask SA- isA isA Subject Element hasSubR Resource Input isA hasPremise hasl ead Department Attribute hasRscType hasRsc Stage Procedure SA Leader isA RscType Role OptType 101 Output hasErand hasAttr hasPro Organi ation hasOrg / hasOpt Errand Postcondi s41 Basic hasType isA Operator hasPost hasErd hasBusi Business ERdType 、Composite hasTask Task 图3ROB本体关系 Fig.3 Associations in ROB ontology皂藻灶贼冤和属性渊粤贼贼则蚤遭怎贼藻冤袁耘造藻皂藻灶贼 分为主成员渊运藻赠冤 和普通成员渊酝藻皂遭藻则冤曰粤贼贼则蚤遭怎贼藻 有一组操作权限遥 图 圆摇 砸韵月 本体概念层次 云蚤早援圆摇 悦燥灶糟藻责贼 糟葬贼藻早燥则蚤藻泽 燥枣 砸韵月 燥灶贼燥造燥早赠 圆援圆摇 砸韵月 模型本体关系 砸韵月 本体中概念不是孤立存在的袁概念间存在 关系袁主要包括院员冤蚤泽粤袁描述格式为 蚤泽粤 渊 粤袁月 冤袁表示 粤 是 月 的子类渊 泽怎遭糟造葬泽泽 冤曰 圆冤 澡葬泽砸泽糟袁 描述格式为 澡葬泽砸泽糟渊 粤袁月 冤袁语义解释为一个 粤 渊需求任务辕 角色辕 状态冤涉及到一个资源 月 曰猿冤 澡葬泽韵则早袁描述格式为 澡葬鄄 泽韵则早渊 粤袁月 冤袁语义解释为一个 粤 渊需求任务辕 状态冤涉 及一个组织 月 曰源冤 澡葬泽月怎泽蚤袁描述格式为 澡葬泽月怎泽蚤 渊 粤袁 月 冤袁语义解释为一个基本需求任务 粤 由一个业务功 能 月 实现曰缘冤澡葬泽栽葬泽噪袁描述格式为 澡葬泽栽葬泽噪渊 粤袁月 冤袁语 义解释为一个复合需求任务 粤 需要分解为一组核心 执行模块 月 曰远冤 澡葬泽耘则凿袁描述格式为 澡葬泽耘则凿渊 粤袁月 冤袁 语义解释为一个执行模块 粤 必须作为一个需求任务 月 进行分析曰苑冤 澡葬泽杂怎遭砸袁描述格式为 澡葬泽杂怎遭砸渊 粤 冤袁 语义解释为一个资源 粤 是一组规模更小的子资源集曰 愿冤澡葬泽杂怎遭韵袁描述格式为 澡葬泽杂怎遭韵渊 粤 冤袁语义解释为一 个组织 粤 是一组规模更小的子组织集曰怨冤 澡葬泽蕴藻葬凿袁描 述格式为 澡葬泽蕴藻葬凿渊 粤袁月 冤袁语义解释为领导可管辖普 通成员曰员园冤 澡葬泽云怎灶糟凿藻责袁描述格式为 澡葬泽云怎灶糟凿藻责渊 粤袁 月 冤袁语义解释为一个主资源可函数决定一组普通资 源曰员员冤澡葬泽孕则藻皂蚤泽藻袁描述格式为 澡葬泽孕则藻皂蚤泽藻渊 粤袁月 冤袁语 义解释为一个核心执行模块存在必须先执行的一组 前置模块曰员圆冤澡葬泽悦燥灶袁描述格式为 澡葬泽悦燥灶渊 粤袁月 冤袁语 义解释为业务功能含一前置条件描述曰员猿冤 澡葬泽陨灶贼袁描 述格式为 澡葬泽陨灶贼渊 粤袁月 冤袁语义解释为业务功能含一个 输入描述曰员源冤 澡葬泽孕则燥袁描述格式为 澡葬泽孕则燥渊 粤袁月 冤袁语 义解释为业务功能有一个过程描述曰员缘冤 澡葬泽韵怎贼袁描述 格式为 澡葬泽韵怎贼渊 粤袁月 冤袁语义解释为业务功能含一输 出描述曰员远冤 澡葬泽孕燥泽贼袁描述格式为 澡葬泽孕燥泽贼 渊 粤袁月 冤袁语 义解释为业务功能必含一后置结果描述曰员苑冤 澡葬泽鄄 栽赠责藻袁描述格式为 澡葬泽栽赠责藻渊 粤袁月 冤袁语义解释为需求 任务必有一个任务类型曰员愿冤 澡葬泽耘则葬灶凿袁描述格式为 澡葬泽耘则葬灶凿渊 粤袁月 冤袁语义解释为角色可参与需求任务曰 员怨冤澡葬泽韵责贼袁描述格式为 澡葬泽韵责贼 渊 粤袁月 冤袁语义解释为 角色可拥有一组操作使用权曰圆园冤 澡葬泽粤贼贼则袁描述格式为 澡葬泽粤贼贼则渊 粤袁月 冤袁语义解释为每一具体操作是在具体 粤贼贼则蚤遭怎贼藻 上的操作曰圆员冤 澡葬泽韵责贼栽责袁描述格式为 澡葬泽韵责贼鄄 栽责渊 粤袁月 冤袁语义解释为每一具体操作有一操作类型遥 砸韵月 模型本体关系如图 猿 所示遥 图 猿摇 砸韵月 本体关系 云蚤早援猿摇 粤泽泽燥糟蚤葬贼蚤燥灶泽 蚤灶 砸韵月 燥灶贼燥造燥早赠 第 员 期摇摇摇摇摇摇摇摇摇摇摇摇摇摇 郭新峰袁等院扩展断言知识检验一致的需求建模方法 窑愿猿窑