面向服务计算形式化表示方法.pptVIP

面向服务计算形式化表示方法 马殿富 北航计算机学院 2006-05 /tutor_MaDianFu.asp 主要内容 启示 Services集定义 Services路径 Services集元操作 Services文档文法元语言 SOA体系结构的形式化定义 XML示例 ?xml version=1.0 encoding=gb2312 ? - 简况 ? 姓名马殿富/姓名 ? 单位北京航空航天大学 计算机学院/单位 ? 职称 职称系列=教学教授/职称 授课 ? 课程离散数学/课程 ? 课程web 服务原理/课程 ? /授课 ? 手手机 ? E-maildfma@/E-mail ? 住址北京市海淀区大有北里/住址 ? /简况 XML示例 ?xml version=1.0 encoding=UTF-8? schema targetNamespace=/stockquote.xsd xmlns=/2000/10/XMLSchema element name=x1 type=int/ element name=x2/ element name=x3/ complexType name=PaymentConfirmation sequence element name=confirmationNum type=int/ element name=patee type=string/ element name=amt type=double/ /sequence /complexType /schema 启示 图灵机模型 qmSiSjqn qmSiRqn qmSiLqn 递归函数 复合、原始递归、取极小(μ运算) 数理逻辑公理系统 命题公理系统 谓词公理系统 数学模型 Services集定义 定义1： 由XML元素名空间所确定的元素名构成的集合称为元素名集合，记为Se。 由XML属性名空间所确定的属性名构成的集合称为属性名集合，记为Sa集合。 由XML属性值构成的集合称为属性值集合，记为Sv。 XML的元素递归定义 定义2： 如果e是元素，且e没有子元素，则称e是0型元素。 如果e是元素，且e仅有0型子元素，则称e是1型元素。 如果e是元素，并且e至少有一个n-1型子元素，则称e是n型元素。 递归构造Services 集合 定义3：Services集 设e是元素名,并且e/或e/e是元素，则e有0型Services集表示为S0(e)，其中， e,?,??S0(e) 设e是元素名，(ai, vi)是元素e的属性值偶对，如果元素e没有子元素，则元素e有0型Services集表示为S0(e)，其中 S0(e)={e,ai,vi| i= 1, 2, ……} 例如： e name=a, type=int {e,name,a,e,type,int} 递归构造Services 集合 设e是元素名，(ai, vi)是元素e的属性值偶对，如果元素e仅有0型子元素，其0型子元素ej的Services集表示为S0(ej)，则元素e有1型Services集表示为S1(e)，其中 S1(en)= {e,ai,vi| i= 1, 2, ……}?{ S0(ej)| j=1,2,……} 设e是元素名，(ai, vi)是元素e的属性值偶对，如果元素e仅有k个m型子元素，mn，并且至少有一个n-1型子元素，其m型子元素ej的Services集表示为Sm(e)，则元素e有n型Services集表示为Sn(e)，其中 Sn(e)= {e, ai, vi| i= 1, 2, ……}?{Sm(ej)| m=1,2,……,k-1 j=1,2,……} 对于所有n型Services集，n=0,1,2,…,统称为Services集，表示为Ss(e)。 Services 集合示例 portType name=BookQuote operation name=getBookPrice input name=isbn message=GetBookPriceRequest/ output name=price message=GetBookPriceResponse/ /operation /portType Services 集合示例 S1={input,name,isbn, input,message, GetBookPriceRequest} S2={output,name,isbn, output,message, GetBookPriceResp