欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开放百科 - 灰狐:关于
来自开放百科 - 灰狐
web服务是一种新的技术,它从根本上解决了企业之间及企业内部异构系统之间的互操作和互通信的问题。它的一个目的是保证下一代的软件能在数据服务之间动态组合。但是在松偶合的环境下,对WEB服务的事务集成还没有一种可靠的解决方案。庆幸的是,现在出现了几种不同的事务标准协议,如ibm和微软的ws-transaction和协调框架:ws-coordination,还有OASIS的商业事务协议:BTP,但是他们在相互竞争。BPEL-商业可执行语言,即WEB服务中的工作流,它的目的是组合一系列分布在不同地方的WEB服务作为一个大的服务,放到BPEL引擎中来执行。但是要在流程中加入事务,到现在还没有一种可靠的方案。 原子提交协议是支持分布式事务的原子性的一个关键元素。两阶段提交协议是标准的原子提交协议。广泛的认为,在复杂的分布式事务中,2PC是保证事务正确性的关键。因此,用2PC来保证WEB服务的组合应用是可行的,但是在异构的,分布式的WEB服务中,又有新的特点,比如它是一个松散的,不好确定事务的边界
分享您的观点