Examples

See the following examples where we define B-UML models and implement some code generators.

• Structural model example
• Object model example
• Mobile Application example
  • Input models definition
  • Code Generation
  • Application running
• Digital Product Passport (DPP)
• Object Constraint Language (OCL)
  • Domain model
  • Parsing constraints
  • Preconditions and postconditions on the method
  • Normalization and pretty-printing
  • Validating with the B-OCL Interpreter
• Backend example
• Deployment example
  • Deployment Model
  • Step 1: Generate the Backend
  • Step 2: Generate Terraform Files
  • Step 3: Deploy Infrastructure with Terraform
• UI Mock-Up to B-UML Example
  • Required Input Files
  • Model Generation
• Agent Example
• Modeling and Deploying a Smart Web Application
  • Video Demo

Note

Additional examples are available in the BESSER-examples repository.