欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Petals ESB是一个开源的ESB平台,适用于大型SOA架构。设计运行在多台分布式服务器之上并完全兼容主要工业标准包括:JBI、SCA、BPEL和WSDL 等。支持多种连接器:WSDL、SOAP、REST、POP、SMTP、IMAP、EJB、JDBC等。易于使用集成Eclipse开发环境 (Petals Studio),基于Web的监视控制台。
PEtALS项目主页