-- 发布时间：10/11/2004 11:21:00 AM
--
那我们就来学习一下这篇论文吧。
|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Web Services & Semantic Web Services 』 (http://bbs.xml.org.cn/list.asp?boardid=10) ---- 关于Web服务的形式化描述和服务交互的形式化描述 (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=9924) |
|
-- 作者：xiaolee -- 发布时间：9/13/2004 2:39:00 PM -- 关于Web服务的形式化描述和服务交互的形式化描述 请问，用什么做webservices的形式化描述好呢？ 是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？ 还是用语义网里面的形式化描述好呢？ 服务的交互描述呢？ 这两种描述有什么侧重马？ 目的是验证服务和需求的一致性呢？ 对服务交互的描述是为了确保完整性呢？比如排除服务冲突？ 开始胡涂了 -- |
|
-- 作者：hurry -- 发布时间：9/22/2004 4:04:00 PM -- 呵呵，我也在看web服务形式化描述的东西，多交流啊 |
|
-- 作者：xiaolee -- 发布时间：9/23/2004 2:44:00 PM -- 好啊，现在的苦恼是，不知道应该用什么形式化描述工具（FDT）比较合适。 而且，描述好难阿。
|
|
-- 作者：monbit -- 发布时间：9/23/2004 7:27:00 PM -- to hurry，你能把你看到的“web服务形式化描述”的东西共享出来么，谢谢！ |
|
-- 作者：hurry -- 发布时间：10/10/2004 9:17:00 PM -- <A Petri Net-based Model for web Service Composition> <A Specification Logic for Dynamic Composition of Services> 抱歉有一阵没来才回帖， 我主要在看服务组合方面的文章， 这两篇在google上都能搜到的, 希望能得到高人指点，选了这个方向，没有同学交流，深入不下去，甚是苦闷
|
|
-- 作者：mbxian -- 发布时间：10/11/2004 11:13:00 AM -- 我也是，咱们交流吧，我觉得用petri网比较合适 |
|
-- 作者：monbit -- 发布时间：10/11/2004 11:21:00 AM -- 那我们就来学习一下这篇论文吧。
|
|
-- 作者：xiaolee -- 发布时间：10/11/2004 4:42:00 PM -- 看来大家对petri net 比较放心阿。 有没有想过用其他方法，比如时态逻辑或者CSP， 我现在举棋不定，胡思乱想，呵呵 |
|
-- 作者：monbit -- 发布时间：10/11/2004 11:15:00 PM -- to xiaolee，可否提供时态逻辑和CSP的相关资料？ 让大家讨论一下，看看会有什么结果，呵呵。 |
|
-- 作者：admin -- 发布时间：10/11/2004 11:48:00 PM --
苏老师的资料里有CSP的资料。
|
|
-- 作者：xiaolee -- 发布时间：10/12/2004 2:10:00 PM -- 请问petri net可以被机器识别码？ 我在想，时态逻辑和进程代数（csp是进程代数的一种把）是不是可以适合逻辑的描述呢？ petri是不是只是在对composition进行描述的时候比较有优势呢？ 另外的进程代数系统，比如pi演算会不会更加合适？ 大家讨论阿。 |
|
-- 作者：xiaolee -- 发布时间：10/12/2004 3:08:00 PM -- 忘了说了，上一个附件里面是cspbook，应该是比较全面的csp资料吧
|
|
-- 作者：hurry -- 发布时间：10/12/2004 3:16:00 PM -- 用petri网来描述web服务，怎样描述服务的接口参数类型及相关语义信息了？ 用有色petri网么？ |
|
-- 作者：xiaolee -- 发布时间：10/15/2004 10:28:00 AM -- 看了苏建文老师的ppt，感觉进程代数比petri要有优势，赫赫 |
|
-- 作者：sjmei -- 发布时间：10/16/2004 11:07:00 AM -- 我现在也在进行这方面的研究，首先不防让我们先来讨论讨论，为什么要对WEB服务进行形式化描述？形式化描述以后到底有什么好处？ |
|
-- 作者：monbit -- 发布时间：10/16/2004 1:08:00 PM -- 形式化之后容易通过数学的方法理论证明吧，毕竟我们不能纯搞应用，理论也要上去。 |
|
-- 作者：xiaolee -- 发布时间：10/17/2004 8:26:00 PM -- 形式化的东西也就是机器可读的东西，这个比较有意义。 |
|
-- 作者：baopaopao -- 发布时间：10/19/2004 4:01:00 PM -- 我个人感觉petrinet不适合描述业务组合,因为使用petri网来描述也就是偏重使用流程来描述业务组合,这对于静态的业务也许还可以行的通,但是对于动态的,大量的业务使用流程就不可行了.因为他不能支持对流程定义的动态改变,而这一点对于动态业务组合是必须的.不过好像为了解决这个问题出现了动态的流程建模.这就是另外一回事了.呵呵. |
|
-- 作者：xiaolee -- 发布时间：10/19/2004 4:30:00 PM -- 动态的流程建模？ 有什么资料吗？说来听听。 英文是什么？ |
|
-- 作者：hurry -- 发布时间：10/20/2004 10:01:00 AM -- 个人觉得：petri网描述单个服务为一个网，可以根据网中token的运转来动态的描述服务的执行流程，但对于web服务而言，单个的服务是个黑盒，重点要描述的是服务间的交互，petri网在这方面不是太擅长，petri网更适于分析已有流程的动态运行过程。请大家发表自己的看法:) |
|
-- 作者：xiaolee -- 发布时间：10/20/2004 10:50:00 AM -- 就是说，petri更加适合对静态过程的模拟，验证(?) |
|
-- 作者：hurry -- 发布时间：10/20/2004 11:04:00 AM -- 我觉得是，你的看法了？ 请大家都来讨论：》 |
|
-- 作者：xiaolee -- 发布时间：10/21/2004 8:29:00 AM -- 呵呵，我对petri不是很熟悉，正在学习中 |
|
-- 作者：icethinking -- 发布时间：10/29/2004 5:00:00 PM -- 对于将Petri用于企业工作流建模有什么看法？ 刚开始学习Petri。。。将大家多多指教 |
|
-- 作者：pi-liao -- 发布时间：10/30/2004 12:30:00 AM -- 我正在写一篇有关利用进程代数描述和验证Web服务的文章。实际上，在国际上好像对于PI积分描述Web服务持有反对看法者还不少，甚至有人专门写了一篇论文驳斥Pi积分比起Petri网来更不适合描述Web服务。 与大家共勉。 |
|
-- 作者：admin -- 发布时间：10/30/2004 2:23:00 AM --
您指的是 Pi Calculus （Pi演算）么？ W3C目前比较青睐Pi-Calculus,目前W3C Web Services WG有三位pi-calculus大师，WS Chereography Description Language也是基于pi演算的。不过反对声音确实是存在的。 Pi演算我不是很熟，但表面上看 passing channel over channel 的确是一个很好的特性。
|
|
-- 作者：sjmei -- 发布时间：11/2/2004 11:37:00 AM -- Claus Pahl写了一系列关于用Pi演算描述WEB服务 的文章，我这里上传其中的一篇，大家看了后可以发表看法，我们一起来讨论讨论 |
|
-- 作者：sjmei -- 发布时间：11/2/2004 11:44:00 AM -- 《A Pi-calculus based framework for the composition and replacement of component》 |
|
-- 作者：txy1980 -- 发布时间：11/18/2004 8:37:00 AM -- 请问网上哪儿有《进程代数》比较好的教材或参考资料吗？谢谢！ |
|
-- 作者：xiaolee -- 发布时间：11/18/2004 9:38:00 AM -- 我也在找，很难找到阿，有相关资源的share一下吧 |
|
-- 作者：tegry -- 发布时间：11/24/2004 3:04:00 PM -- 现在的服务组合主要分为两大阵营，基于流程的服务组合和基于人工智能的服务组合。前者多半是原来搞工作流的；后者则多来自搞semantic web的。两大阵营都希望能够对流程进行形式化描述，以此来实现流程再建模阶段的分析和验证。前者偏向于petri net和进程代数，这两种方法也是再工作流中应用最为广泛的；而后者多应用诸如逻辑之内的语言，如i描述逻辑、时序逻辑等，主要是为了推理的需要。服务组合目前发展收到学术界和工业界两股不同力量的推动，学术界重在借鉴人工智能的知识，如semantic web来解决服务之间的自动组合，后者则注重服务组合以流程为基础，包括BPE等标准都是紧紧围绕流程进行的…… |
|
-- 作者：rosa -- 发布时间：1/18/2005 4:24:00 PM --
好冷清啊这里! Don’t go with the flow:Web services composition standards exposed 这篇吧？W.M.P. van der Aalst的 |
|
-- 作者：rosa -- 发布时间：1/18/2005 4:25:00 PM -- 不好意思，是 Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the “Pi hype” |
|
-- 作者：admin -- 发布时间：1/18/2005 6:06:00 PM -- 谢谢！
|
|
-- 作者：rosa -- 发布时间：1/19/2005 6:10:00 PM -- 还有鼓吹用DAML-S的，我都晕了。 |
|
-- 作者：pengcuiping -- 发布时间：8/11/2005 12:41:00 PM -- 我毕设也是弄web服务的自动组合，已实现组合，可不知道怎自动，卡着呢，好痛苦！大家多交流啊，我qq：38263365 |
|
-- 作者：pengcuiping -- 发布时间：8/11/2005 12:42:00 PM -- 我毕设也是弄web服务的自动组合，已实现组合，可不知道怎自动，卡着呢，好痛苦！大家多交流啊，我qq：38263365 |
|
-- 作者：mbxian -- 发布时间：8/22/2005 12:17:00 PM -- 系统自动呀 |
|
-- 作者：yuntailyg -- 发布时间：9/2/2005 3:13:00 PM -- CSP资料下载不了啊？怎么回事？ |
|
-- 作者：bratiger -- 发布时间：9/6/2005 2:54:00 PM -- 我也在做这方面的东西，楼上提到的两篇文章我也看过，但还是有些困惑。 感觉首先要确定形式化工具引入的目的，是为了描述，还是为了刻画语义，还是用于服务的合成及验证，我想对于不同的目的，还是需要用不同的形式化工具，譬如Petri网强于验证，进程演算适于描述语义，而各类逻辑则非常适合用于推理、验证。 
|
|
-- 作者：yina -- 发布时间：10/26/2005 10:29:00 AM -- 我也是做形式化描述方面的，可是我老板老是问我什么是形式化的概念，大家帮个忙,到底什么叫做形式化呢?谢谢了 |
|
-- 作者：anjie8484 -- 发布时间：11/8/2005 2:13:00 PM -- 看了大家的讨论 还是收获不少 既然各种形式化描述各有偏重点 完全可以多种方法结合使用啊 |
|
-- 作者：lywzd -- 发布时间：11/9/2005 2:23:00 PM -- 这么多高手在啊,这下我享福了 |
|
-- 作者：w3cxxwz -- 发布时间：11/13/2005 5:00:00 PM -- "看了大家的讨论 还是收获不少 既然各种形式化描述各有偏重点 完全可以多种方法结合使用啊" 呵呵 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
167.969ms |
