Aluminum: Principled Scenario Exploration through Minimality
1. Aluminum: Principled Scenario
Exploration through Minimality
酒井 政裕
2013-07-09
ICSE2013 勉強会
The background image is from http://images-of-elements.com/.
The image is licensed under a Creative Commons Attribution 3.0 Unported License.
F1
by Tim Nelson, Salman Saghafi, Daniel J. Dougherty,
Kathi Fisler, Shriram Krishnamurthi @ ICSE 2013
3. Alloyの例 F1
abstract sig Subject {}
sig Student extends Subject {}
sig Professor extends Subject {}
sig Class {
TAs: set Student,
instructor: one Professor
}
sig Assignment {
forClass: one Class,
submittedBy: some Student
}
pred PolicyAllowsGrading(s: Subject,
a: Assignment) {
s in a.forClass.TAs or
s in a.forClass.instructor
}
pred WhoCanGradeAssignments() {
some s : Subject | some a: Assignment |
PolicyAllowsGrading[s, a]
}
run WhoCanGradeAssignments for 3 コードと図は Aluminum: Principled Scenario Exploration through
Minimality (by Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi
Fisler, Shriram Krishnamurthi) より抜粋
4. F1複数シナリオの列挙
図は Aluminum: Principled Scenario Exploration through Minimality (by
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram
Krishnamurthi) より抜粋
…
Next
Next
Next
6. F1
図は Aluminum: Principled Scenario Exploration through Minimality (by Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram
Krishnamurthi) より抜粋
Alloy
Aluminum
Next Next
Next Next
列挙の比較