Project tutorial

This tutorial has appeared at the 1st International School on Foundations and Advances of Model-Based Engineering (FAME) on September 20, 2024.

Metamodeling

1. Metamodel from the MDE Hands-on

class Project {
    contains Task[] tasks
    contains Person[] people
}

class Task {
    contains Effort[1..*] effort
}

class Person.

class Effort {
    Person[1] person
}

Try in Refinery

2. Metamodel extended with dependencies and teams

class Project {
    contains Task[] tasks
    contains Team[] teams
}

class Task {
    contains Effort[1..*] effort
    Task[] dependsOn
}

class Team {
    contains Person[1..*] people
}

class Person {
    Effort[0..*] effort opposite person
}

class Effort {
    Person[1] person opposite effort
}

Try in Refinery

3. Partial modeling

Project(proj).
!exists(Project::new).
tasks(proj, task1).
tasks(proj, task2).
scope Task += 0.
default !dependsOn(*, *).
dependsOn(task2, task1).
teams(proj, team1).
teams(proj, team2).
people(team1, alice).
people(team1, bob).
!people(team1, Person::new).
Person(carol).
?exists(team2).
!exists(Team::new).

Try in Refinery

Model generation

4. Object scopes

Add scope constraints to the metamodel.

scope node = 30..50, Person += 10, Task += 5, Project = 1, Team = 3.

Try in Refinery

5. From existing partial model

Add scope constraints to the initial partial model.

scope node = 15, Project = 1, Team = 2.

Try in Refinery

Graph queries

6. Error predicates

error repeatedEffort(Effort effort1, Effort effort2) <->
    effort1 != effort2,
    person(effort1, person),
    person(effort2, person),
    Task::effort(task, effort1),
    Task::effort(task, effort2).

error cyclicDependency(Task task) <->
    dependsOn+(task, task).

Try in Refinery

7. Highlight errors in model

tasks(proj, task1).
tasks(proj, task2).
dependsOn(task1, task2).
dependsOn(task2, task1).

teams(proj, team1).
people(team1, alice).
Task::effort(task1, effort1).
person(effort1, alice).
Task::effort(task1, effort2).
person(effort2, alice).

Try in Refinery

8. Error predicate with helper predicate

pred worksOn(Person person, Task task) <->
    Person::effort(person, work),
    Task::effort(task, work).

error taskSharing(Team g1, Team g2) <->
    g1 != g2,
    people(g1, p1),
    people(g2, p2),
    worksOn(p1, t),
    worksOn(p2, t).

Try in Refinery

9. Model query for analysis

pred communicates(Team g1, Team g2) <->
    people(g1, p1),
    people(g2, p2),
    worksOn(p1, t1),
    worksOn(p2, t2),
    dependsOn(t2, t1).

Try in Refinery