|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Web Services & Semantic Web Services 』 (http://bbs.xml.org.cn/list.asp?boardid=10) ---- 求教:代数方法的优势何在？ (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=34962) |
|
-- 作者：enginewang -- 发布时间：6/28/2006 11:26:00 AM -- 求教:代数方法的优势何在？ 采用代数方法建模服务组合过程与传统形式化方法相比有何优势？目前的方法有哪些？ |
|
-- 作者：yangxx2003 -- 发布时间：6/28/2006 3:26:00 PM -- 我不知道你所说的是不是用于工作流建模的基于进程代数的方法。 进程代数是在二十世纪七十年代末和八十年代初由 Robin Milner 提出的CCS（Calculus of Communicating Systems）和 Charles Antony Richard Hoare提出的 CSP（Communicating Sequential Process）的基础上发展起来的，后来又出现了ACP和π-演算[10]等多种进程代数语言。进程代数是用来解决并发系统通信问题的代数方法，可以描述和分析并发、异步、非确定和分布式等系统行为。二十多年来，进程代数被成功应用于并发实时系统设计与分析、工作流管理系统等领域。 进程代数是用来对动态实体进行建模的正式语言，具有严密定义的形式化语义，能够将服务的行为与清晰的操作语义联系起来，并且能对他们的属性进行自动验证。进程代数的缺点在于缺乏图形化的方式。 其实对于工作流在服务组合中的应用，我也非常困惑。期待高手来指点迷津。 |
|
-- 作者：poseidonli -- 发布时间：5/20/2007 2:18:00 PM -- 个人认为代数的优势在于它的抽象 现在标准那么多，其实一个代数模型就应该能够解决的。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |