Final deliverable for the Software Engineering 2 course at Politecnico di Milano.

This repository collects the full documentation work produced by team CotroneDeCiechiDeidier for the design of CKB (CodeKataBattle), including:

• RASD (Requirements Analysis and Specification Document)
• DD (Design Document)
• Alloy formal model and verification artifacts
• Sequence diagrams, component design material, UI mockups, and final slide deck

• Professor: Elisabetta Di Nitto
• Group: CotroneDeCiechiDeidier
• Members:
  • Mariarosaria Cotrone
  • Samuele De Ciechi
  • Simone Deidier

The project models a platform where:

• educators create and manage tournaments and battles,
• students register to tournaments/battles and form teams,
• collaboration invitations and notifications are handled,
• battle outcomes include automatic and manual evaluation,
• badges are defined and assigned according to tournament lifecycle rules.

These behaviors are documented through functional flows (sequence diagrams) and formally constrained through an Alloy model.

The RASD/ folder contains requirements-oriented artifacts:

• mockups/: UI mockups for common, educator, and student views.
• sequence-diagrams/: scenario-level interaction flows (source .txt and exported .png) for both educator and student roles.
• alloy/: formal model CotroneDeCiechiDeidier.als plus generated world screenshots.

Key RASD outputs are also available in:

• delivery-folder/RASD v1.pdf
• delivery-folder/RASD v1.1.pdf

The DD/ folder contains design-oriented artifacts:

• component-diagram/: global component architecture (.vpd source + image export).
• component-interfaces/: interface models for educator/student components (.mdj sources + images).
• integration-plan/: phased integration visuals.
• sequence-diagrams/: detailed interaction flows (source .txt + image exports).
• user-interface-design/: educator/student UI navigation/design maps (draw.io XML sources + images).

Key DD output is available in:

• delivery-folder/DD v1.pdf

• delivery-folder/: official PDF submissions.
• slideshow/: final presentation (.pdf) and editable source (.key).

• Final PDFs:
  • RASD v1.1
  • DD v1
• Formal model:
  • Alloy model
• Main interaction diagrams:
  • RASD educator sequence diagrams
  • RASD student sequence diagrams
  • DD educator sequence diagrams
  • DD student sequence diagrams

For a smooth review, this is a recommended reading order:

1. RASD v1.1 to understand goals, requirements, and main scenarios.
2. Alloy model plus Alloy images to inspect formal constraints and validation worlds.
3. DD v1 to move from requirements to architecture and design choices.
4. DD component diagram and DD component interfaces for structural details.
5. DD sequence diagrams for role-specific interaction flows.
6. Final slideshow for a concise end-to-end project overview.

.
|- DD/
|  |- component-diagram/
|  |- component-interfaces/
|  |- integration-plan/
|  |- sequence-diagrams/
|  `- user-interface-design/
|- RASD/
|  |- alloy/
|  |- mockups/
|  `- sequence-diagrams/
|- delivery-folder/
|- slideshow/
|- LICENSE
`- README.md

• This repository is documentation-centric and does not include an executable software implementation.
• Many assets are provided both as editable sources (.txt, .mdj, .vpd, .key) and exported images/PDFs.

Distributed under the GNU General Public License v3.0.