ACME Mobility
Urban Sharing Platform for Electric Vehicles
A cloud-native microservices architecture for short-term urban electric mobility in Bologna. Powered by Camunda 8 BPMN process orchestration, Jolie SOAP/REST services, gRPC real-time telemetry, and Docker Compose orchestration.
Architectural Pillars
High-throughput microservice architecture using Java 21, Spring Boot, Jolie, and Node.js discoupled via REST, SOAP, and gRPC protocols.
Process execution engine with Zeebe workers driving rental lifecycle, automatic daily maintenance, and asynchronous status updates.
Exhaustive interactive documentation for all public and internal REST, SOAP, and gRPC endpoints across all microservices.
Global formal specification and multi-line indented projections for all 8 participants (RS, User, Bank, Station, FM, TS, BMS, LS).