文件名称:ServiceCompositionVerification_Pi-calculus
- 所属分类：
- C#编程
- 资源属性：
- [Windows] [Visual.Net] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 58kb
- 下载次数：
- 0次
- 提 供 者：
- p**
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
基于pi演算的服务组合验证方法，验证组合服务是否符合需求，提供两个测试例，正例为验证成功例；反例为验证失败例子-Portfolio of services based on pi calculus authentication method to verify whether the combination of services to meet the demand, provide two test cases are cases of successful cases for the validation counter-examples Examples for the validation failure
(系统自动生成,下载前可以参看下载内容)
下载文件列表
ServiceCompositionVerification_Pi-calculus\ServiceCompositionVerification_Pi-calculus\bin\Debug\ServiceCompositionVerification_Pi-calculus.exe
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.pdb
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.vshost.exe
..........................................\..........................................\channel.cs
..........................................\..........................................\Form1.cs
..........................................\..........................................\Form1.Designer.cs
..........................................\..........................................\Form1.resx
..........................................\..........................................\obj\Debug\ServiceCompositionVerification_Pi-calculus.csproj.GenerateResource.Cache
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.exe
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.pdb
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi_calculus.Form1.resources
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi_calculus.Properties.Resources.resources
..........................................\..........................................\...\ServiceCompositionVerification_Pi-calculus.csproj.FileList.txt
..........................................\..........................................\Process.cs
..........................................\..........................................\Program.cs
..........................................\..........................................\...perties\AssemblyInfo.cs
..........................................\..........................................\..........\Resources.Designer.cs
..........................................\..........................................\..........\Resources.resx
..........................................\..........................................\..........\Settings.Designer.cs
..........................................\..........................................\..........\Settings.settings
..........................................\..........................................\ServiceCompositionVerification_Pi-calculus.csproj
..........................................\ServiceCompositionVerification_Pi-calculus.sln
..........................................\ServiceCompositionVerification_Pi-calculus.suo
..........................................\..........................................\obj\Debug\TempPE
..........................................\..........................................\bin\Debug
..........................................\..........................................\obj\Debug
..........................................\..........................................\bin
..........................................\..........................................\obj
..........................................\..........................................\Properties
..........................................\ServiceCompositionVerification_Pi-calculus
ServiceCompositionVerification_Pi-calculus
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.pdb
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.vshost.exe
..........................................\..........................................\channel.cs
..........................................\..........................................\Form1.cs
..........................................\..........................................\Form1.Designer.cs
..........................................\..........................................\Form1.resx
..........................................\..........................................\obj\Debug\ServiceCompositionVerification_Pi-calculus.csproj.GenerateResource.Cache
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.exe
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.pdb
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi_calculus.Form1.resources
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi_calculus.Properties.Resources.resources
..........................................\..........................................\...\ServiceCompositionVerification_Pi-calculus.csproj.FileList.txt
..........................................\..........................................\Process.cs
..........................................\..........................................\Program.cs
..........................................\..........................................\...perties\AssemblyInfo.cs
..........................................\..........................................\..........\Resources.Designer.cs
..........................................\..........................................\..........\Resources.resx
..........................................\..........................................\..........\Settings.Designer.cs
..........................................\..........................................\..........\Settings.settings
..........................................\..........................................\ServiceCompositionVerification_Pi-calculus.csproj
..........................................\ServiceCompositionVerification_Pi-calculus.sln
..........................................\ServiceCompositionVerification_Pi-calculus.suo
..........................................\..........................................\obj\Debug\TempPE
..........................................\..........................................\bin\Debug
..........................................\..........................................\obj\Debug
..........................................\..........................................\bin
..........................................\..........................................\obj
..........................................\..........................................\Properties
..........................................\ServiceCompositionVerification_Pi-calculus
ServiceCompositionVerification_Pi-calculus