开发者 sjava.sf.net

会话 Java 是 Java 的扩展，它提供了允许在编译时对会话进行类型检查的功能。会话使用 Web 服务描述语言 （WSDL） 定义，并基于 Pi 微积分中的会话进行建模。