为了能够有效地管理产品服务配置过程中的本体概念，便于进行数据的交换、推理和应用，提高产品服务的配置速度和可靠性，故采用本体概念来形式化表达产品服务模块化体系的概念。
（1）服务功能模块
SF=（{FU}，{AT}，{FL}，{SR}，FR）
式中 {FU}—功能集合；
{AT}—属性集合；
{FL}—服务流集合；
{SR}—约束集合；
FR—表示服务流间的关系。
（2）服务功能组合（服务包）
SFG=（{SF}，{CO}，SFR）
式中 {SF}—功能模块集合；
{CO}—客户定制选项集合；
SFR—功能模块间的关系。
（3）服务流程模块
SP=（{SE}，{IT}，{AT}，{IP}，{OP}，{SR}，{SC}，{EC}，{PR}）
式中 {SE}—服务元素集合；
{IT}—接口集合；
{AT}—属性集合；
{IP}—输入参数；
{OP}—输出参数；
{SR}—约束集合；
{SC}—启动条件；
{EC}—结束条件；
{PR}—流程关系集合。
（4）服务流
FL=（{SP}，{IT}，{AT}，SPR）
式中 {SP}—流程模块集合；
{IT}—接口集合；
{AT}—属性集合；
SPR—流程模块间的关系。(www.xing528.com)
（5）服务元素
SE=（{KI}，{AT}，{CO}）
式中 {KI}—类型集合；
{AT}—属性集合；
{CO}—客户定制选项。
（6）服务资源
Resource=（{RT}，{RL}，{RA}）
式中 {RT}—资源类型；
{RL}—资源列表；
{RA}—可用性。
服务资源是指完成配置活动所需要的支持。按照不同的分类方法，资源可以分为静态资源、动态资源；可重用资源、不可重用资源；共享资源和不可共享资源。
（7）接口
Port：依据具体服务而定。
接口是模块能与其他模块相连接的地方，两个模块个体通过它们的接口个体相互连接。接口类型可分为抽象型和具体型。
（8）属性
Attribute：依据具体服务而定。
功能模块：对应功能属性。
流程模块：对应流程属性。
服务元素：依据具体服务业务，主要包括时间属性、资源属性、调度属性、条件属性等。
（9）约束
Constraint：依据具体服务及客户需求。
属性约束：产品服务模块的功能属性和流程属性的取值范围。
基数约束：如某模块出现的次数受到其他模块出现次数的限制。
接口约束：两个模块的匹配要满足接口类型的匹配。
互斥约束：两个模块不能共存。
兼容与依赖约束：兼容约束是指两个模块可以共存，但不一定同时存在；依赖约束是指两个模块必须同时存在。
全局约束：同类型配置都要遵守的约束。
产品约束：客户所购买的产品对服务模块的限制。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
