CAJ | 학술논문

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap).该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述.Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合.在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性.最后,通过一个实例直观描述了服务组合系统的工作方式.
근거Web복무중소식화행위적관계,Web복무피묘술위면향소식적기우행위Petri망모형(Moap).해모형포괄소식역화복무과정,전자시복무협동이급화용호통신적통도,후자시기우Petri망적Web복무행위과정묘술.Moap지지조합복무적중용,가이흔호지묘술가용복무적병행조용,령외원소식궤제야유리우복무적자동조합.재Moap기출상,정의료복무조합계통화복무적협동;급출료복무자동조합규칙,병증명료기유효성화완비성.최후,통과일개실례직관묘술료복무조합계통적공작방식.