论文部分内容阅读
本论文首先分析了传统电信业务的不足，研究了ParlayAPI和万维网服务技术在电信业务开发中产生的影响。然后结合万维网服务组合的思想，提出了采用万维网服务的业务过程执行语言(BPEL4WS)开发新型电信业务的方法。该方法能够充分利用已有业务创建新的业务因而加快了业务开发进程。针对BPEL4WS在开发电信业务中的不足提出了采用面向方面的编程方法解决这些问题，并采用基于扩展有限状态机和线性时态逻辑的方法对BPEL4WS进程进行形式化的分析和相关属性的验证。最后采用一个实例验证了所提出的方法并证明了这些方法的可行性。基于BPEL4WS的新型电信业务开发方法为开发下一代电信网环境中的电信业务提供了一种思路和模式，为进一步研究万维网服务组合技术在电信业务开发中的应用提供了基础。