formal-specification

PROACTIVELY use when designing API specifications. Creates contract-first APIs using OpenAPI, AsyncAPI, and Protocol Buffers.

PROACTIVELY use when creating formal specifications. Designs specifications for complex systems using TLA+, SysML, and state machines.

Generate OpenAPI, AsyncAPI, or Protobuf contract from requirements. Use for contract-first API development.

Event-driven API specification with AsyncAPI 3.0 for message-based architectures

Contract-first REST API design with OpenAPI 3.1 specification

Protocol Buffers and Interface Definition Languages for service contracts

Create formal specification for a component or behavior using TLA+, SysML, or state machines. Use for safety-critical systems.

Create state machine diagram from behavior description. Use for lifecycle and workflow modeling.

Statechart and state machine modeling for lifecycle and behavior specification

Systems Modeling Language (SysML) for systems engineering and complex system design

TLA+ formal specification language for distributed systems and concurrent algorithms

UML diagram generation including class, sequence, activity, use case, and state diagrams

Use Case 2.0 methodology for capturing functional requirements and actor interactions