Case Studies


  1. UmlCC to Darwin/FSP case study (presented at the 4th MDD4DRES international school).
    This case study shows how to semi-automatically obtain both Darwin and LTS specifications from UML-based architectural models.
    Source files
    Accompanying paper
    Short presentation

  2. ACME and Darwin case study.
    This case study shows how to semi-automatically obtain ACME specifications from UML-based Darwin models.
    The use case source files and its user guide are hosted here in our SourceForge account. The case studies are available as AMW use case at: here.