There is a newer version of the record available.

Published April 9, 2021 | Version EM 2020/21
Dataset Open

Alloy4Fun Dataset for 2020/21

  • 1. FEUP & INESC TEC
  • 2. UM & INESC TEC

Description

This dataset contains the models submitted to the shared models in the Alloy4Fun platform during the 2019/20 and 2020/21 editions of the "Specification and Modelling" graduate course at the University of Minho, totalling with 42 enrolled students, as reported in the  Science of Computer Programming paper "Experiences on Teaching Alloy with an Automated Assessment Platform" (extending the ABZ'20 conference version).

  1. Trash FOL, sDLK7uBCbgZon3znd
  2. Classroom FOL, YH3ANm7Y5Qe5dSYem
  3. Trash RL, PQAJE67kz8w5NWJuM
  4. Classroom RL, zRAn69AocpkmxXZnW
  5. Graphs, gAeD3MTGCCv8YNTaK
  6. LTS, zoEADeCW2b2suJB2k
  7. Production, jyS8Bmceejj9pLbTW
  8. CV, JC8Tij8o8GZb99gEJWGdhwKZnCu7aKhXq9 (v2)
  9. Trash LTL, 9jPK8KBWzjFmBx4Hb
  10. Train, FwCGymHmbqcziisH5

Each entry of the dataset registers either an execution (which may have returned a result or an error) or the creation of a permalink for sharing, and contains:

  • _id: the id of the interaction
  • time: the timestamp of its creation
  • derivationOf: the parent entry
  • original: the first ancestor with secrets (always the same within an exercise)
  • code: the complete code of the model (excluding the secrets defined in the original entry) (with student comments removed)
  • sat: whether the command was satisfiable (counter-example found for checks), or -1 when error thrown [only for executions]
  • cmd_i: the index of the executed command [only for executions]
  • cmd_n: the name of the executed command [only for successful executions, i.e. no error thrown]
  • cmd_c: whether the command was a check [only for successful executions, i.e. no error thrown]
  • msg: the error or warning message [only for successful executions with warnings or when error thrown]
  • theme: the visualisation theme [only for sharing entries]

Files

9jPK8KBWzjFmBx4Hb.json

Files (73.2 MB)

Name Size Download all
md5:6f9f67943d49231ed5c083c3005dc42a
15.2 MB Preview Download
md5:53b31b534e0aeb16ee77a48cec0e57f1
3.9 MB Preview Download
md5:7bf5f061afea6a059a3938eb5d61a5c3
4.2 MB Preview Download
md5:392ea0ca6bfaa9f97ca2001e378280a5
1.4 MB Preview Download
md5:31dcc551ed36ef8490519f440f65e727
1.0 MB Preview Download
md5:193acf09c2cf6eda9d318c0ed210c9ae
5.5 MB Preview Download
md5:96acbb06b79f49f649733dcec376e0db
6.7 MB Preview Download
md5:2da332b0c939ff8220dd13046d790a7d
605.6 kB Preview Download
md5:a00fa5a9e7bda3350ddeeab25e31bd27
15.5 MB Preview Download
md5:f6b3f6a5240025d01f0615532a594e68
3.3 MB Preview Download
md5:ff391e9a99fa5a55d9ba8668a41dd878
15.9 MB Preview Download

Additional details

Related works

Is supplement to
Journal article: 10.1016/j.scico.2021.102690 (DOI)
Conference paper: 10.1007/978-3-030-48077-6_5 (DOI)

Funding

Fundação para a Ciência e Tecnologia
TRUST - Trustworthy Software Design with Alloy POCI-01-0145-FEDER-016826

Dates

Collected
2019-09-01/2021-02-28
Data collection