Writing Constraints for SysML Model Checks

Trainer: Alexander Stante

Date: 24.04

Topic

Using the Eclipse Validation Framework to write Constraints for SysML Checks. The existing plugin https://github.com/openETCS/toolchain/tree/master/tool/bundles/org.openetcs.sysml.constraints will be extended during the training with a new custom check.

Prerequisites

• Basic Java Programming skills
• Experience with Eclipse as Java IDE

Preparations

• Install Eclipse Modeling Tools from http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/keplersr2
• Install Papyrus within Eclipse (Help -> Install Modeling Components)
• Clone the existing constrain checker plugin from https://github.com/openETCS/toolchain.git It is sufficient to only import org.openetcs.sysml.constraints
• Clone demo model from: https://github.com/astante/openetcs-constraints-training.git

Participants

• Cecile Braunstein
• Stefan Rieger
• Bernd Hekele
• David Mentré
• Peyman Farhangi
• Jan Welte
• Marc Behrens
• Faucogney Anthony