10.3969/j.issn.1673-4785.2006.02.009
基于有限状态自动机的服务组合模型
分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with condition),并给出了基于cFSA的服务理论模型.在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型,并给出了该模型的代数性质和实现方法.
有限状态自动机、带条件的有限状态自动机、服务计算、服务组合
1
TP18(自动化基础理论)
国家自然科学基金60373081;广东省自然科学基金04105503
2006-11-13(万方平台首次上网日期,不代表论文的发表时间)
共10页
48-57