小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
12期
2739-2743
,共5页
Petri网%面向服务%结构化操作语义
Petri網%麵嚮服務%結構化操作語義
Petri망%면향복무%결구화조작어의
petri nets%service oriented%structural operational semantics
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态.
在工作流網、開放網等Petri網模型的基礎上,提齣適閤描述麵嚮服務繫統的Petri網模型—EON(擴展開放網).針對服務的各種組閤方式定義瞭五種EON的組閤算子,利用這些組閤算子可以從基本EON組閤成複雜EON.基于這些組閤算子,EON本身可以採用代數化的構造性方式錶達,本文進一步給齣EON的結構化操作語義,這種語義是遺忘式的,不依賴于EON的標識,而是用髮生變化的代數錶達式描述EON的運行狀態.
재공작류망、개방망등Petri망모형적기출상,제출괄합묘술면향복무계통적Petri망모형—EON(확전개방망).침대복무적각충조합방식정의료오충EON적조합산자,이용저사조합산자가이종기본EON조합성복잡EON.기우저사조합산자,EON본신가이채용대수화적구조성방식표체,본문진일보급출EON적결구화조작어의,저충어의시유망식적,불의뢰우EON적표식,이시용발생변화적대수표체식묘술EON적운행상태.
