Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
Start Free
MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
PARIDE (Process-based frAmewoRk for composItion and orchestration of Dynamic E-services) is a set of tools, mainly written in Java, for automatically composing and orchestrating workflows based on Web Service technologies.
Generator for semantic service descriptions with atomic or complex behavior. The generator synthesizes any number of random descriptions that can be used to evaluate semantic service * techniques (e.g., service retrieval, composition, etc).