N. Shimizu (chikoski@gmail.com / @chikoski)4.5                                                                   
N. Shimi...
N. Shimizu (chikoski@gmail.com / @chikoski)•              #•                                            #•                ...
N. Shimizu (chikoski@gmail.com / @chikoski)4.5.1
N. Shimizu (chikoski@gmail.com / @chikoski)•              #•                                            #•                ...
N. Shimizu (chikoski@gmail.com / @chikoski)•                                              #•                            # ...
N. Shimizu (chikoski@gmail.com / @chikoski)sig RadioStation { band set: Freq}#sig Freq {}#fact NoOverlapping{#    no disj ...
N. Shimizu (chikoski@gmail.com / @chikoski)sig Object {}#sig Directory extends Object { #    contents: set Object}#sig Fil...
N. Shimizu (chikoski@gmail.com / @chikoski)•                                     #•                               #• sig A...
N. Shimizu (chikoski@gmail.com / @chikoski)sig Host {}#sig Link { from, to : Host}#fact { all x : Link | x.from ! = x.to }...
N. Shimizu (chikoski@gmail.com / @chikoski)sig Host {}#sig Link { from, to : Host}#fact{ all this: Link | #     some x: Li...
N. Shimizu (chikoski@gmail.com / @chikoski)sig Book {#     homeAddress, workAddress : Name -> Addr#     address: homeAddre...
N. Shimizu (chikoski@gmail.com / @chikoski)                                              #
N. Shimizu (chikoski@gmail.com / @chikoski)•         #•                                                           #     • ...
N. Shimizu (chikoski@gmail.com / @chikoski)4.5.2
N. Shimizu (chikoski@gmail.com / @chikoski)•              #•          #•      #• 
N. Shimizu (chikoski@gmail.com / @chikoski)•        #•                                                        #•          ...
N. Shimizu (chikoski@gmail.com / @chikoski)abstract sig Color {}#one sig Red, Yellow, Green extends Color {}#fun colorSequ...
N. Shimizu (chikoski@gmail.com / @chikoski)•            #•                                          #                     ...
N. Shimizu (chikoski@gmail.com / @chikoski)sig Light {}#sig LightState {color : Light -> one Color}#sig Junction { lights:...
N. Shimizu (chikoski@gmail.com / @chikoski)•                                                                        #• pre...
N. Shimizu (chikoski@gmail.com / @chikoski)•                        #•      #• 
N. Shimizu (chikoski@gmail.com / @chikoski)• h [ g [ f x, arg1], arg2], arg3]                                        #• x....
N. Shimizu (chikoski@gmail.com / @chikoski)     .              .• 
N. Shimizu (chikoski@gmail.com / @chikoski)•    
                                                       #•                ...
N. Shimizu (chikoski@gmail.com / @chikoski)•    #•          #•                                        …
N. Shimizu (chikoski@gmail.com / @chikoski)4.5.3
N. Shimizu (chikoski@gmail.com / @chikoski)•                         #• conjecture#                                       ...
N. Shimizu (chikoski@gmail.com / @chikoski)•                    #• 
N. Shimizu (chikoski@gmail.com / @chikoski)•        #•                            #                     …#      
N. Shimizu (chikoski@gmail.com / @chikoski)•    #• 
N. Shimizu (chikoski@gmail.com / @chikoski)
N. Shimizu (chikoski@gmail.com / @chikoski)•              #•                                            #•                ...
Upcoming SlideShare
Loading in...5
×

Alloy20110922 00

574

Published on

Published in: Technology, Design
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
574
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
0
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

Alloy20110922 00

  1. 1. N. Shimizu (chikoski@gmail.com / @chikoski)4.5 
N. Shimizu (chikoski@gmail.com / @chikoski)
  2. 2. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #•  #• 
  3. 3. N. Shimizu (chikoski@gmail.com / @chikoski)4.5.1
  4. 4. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #•  #• 
  5. 5. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #  fact #   #  
  6. 6. N. Shimizu (chikoski@gmail.com / @chikoski)sig RadioStation { band set: Freq}#sig Freq {}#fact NoOverlapping{# no disj s, s’ : RadioStation | # some s.band & s’band#}
  7. 7. N. Shimizu (chikoski@gmail.com / @chikoski)sig Object {}#sig Directory extends Object { # contents: set Object}#sig File extends Object {}#fact {# no d: Directory | d in d^contents# Object in Root.*contents# all o: Object | lone o.~contents#}
  8. 8. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #• sig A {…} { F } #
  9. 9. N. Shimizu (chikoski@gmail.com / @chikoski)sig Host {}#sig Link { from, to : Host}#fact { all x : Link | x.from ! = x.to }sig Host {}#sig Link { from, to : Host}{ from != to}#
  10. 10. N. Shimizu (chikoski@gmail.com / @chikoski)sig Host {}#sig Link { from, to : Host}#fact{ all this: Link | # some x: Link | x.from = this.to and x.to = this.from#}#sig Host {}#sig Link { from, to : Host}{# some x:Link | x.@from = to and x.@to = from#}#
  11. 11. N. Shimizu (chikoski@gmail.com / @chikoski)sig Book {# homeAddress, workAddress : Name -> Addr# address: homeAddress + workAddress#}#sig Name, Addr {}#sig Book{# homeAddress, worksAddress, address : Name -> Addr#}{ address in homeAddress + workAddress}#sig Name, Addr {}#
  12. 12. N. Shimizu (chikoski@gmail.com / @chikoski) #
  13. 13. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  # •  # •  #
  14. 14. N. Shimizu (chikoski@gmail.com / @chikoski)4.5.2
  15. 15. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #•  #• 
  16. 16. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #•  #   #   #
  17. 17. N. Shimizu (chikoski@gmail.com / @chikoski)abstract sig Color {}#one sig Red, Yellow, Green extends Color {}#fun colorSequence: Color -> Color{# Color <: iden + Red -> Green + # Green -> Yellow + Yellow -> Red#}
  18. 18. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #   #  
  19. 19. N. Shimizu (chikoski@gmail.com / @chikoski)sig Light {}#sig LightState {color : Light -> one Color}#sig Junction { lights: Light}##fun redLites (s: LightState) : set Light{# s.color.Red#}#pred mostlyRed (s: LightState, j: Junction){# lone j.lights - redLights [s]#}
  20. 20. N. Shimizu (chikoski@gmail.com / @chikoski)•  #• pred X.f (y: Y, z: Z, …)#  pred f(x:X, y:Y, z:Z, …) #  X this #•  x.f [y, z, …]#
  21. 21. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #• 
  22. 22. N. Shimizu (chikoski@gmail.com / @chikoski)• h [ g [ f x, arg1], arg2], arg3] #• x.f[arg1].g[arg2].h[arg3] #
  23. 23. N. Shimizu (chikoski@gmail.com / @chikoski) . .• 
  24. 24. N. Shimizu (chikoski@gmail.com / @chikoski)•  
 #•  
 #
  25. 25. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #•  …
  26. 26. N. Shimizu (chikoski@gmail.com / @chikoski)4.5.3
  27. 27. N. Shimizu (chikoski@gmail.com / @chikoski)•  #• conjecture#   #   #  
  28. 28. N. Shimizu (chikoski@gmail.com / @chikoski)•  #• 
  29. 29. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #   …#  
  30. 30. N. Shimizu (chikoski@gmail.com / @chikoski)•  #• 
  31. 31. N. Shimizu (chikoski@gmail.com / @chikoski)
  32. 32. N. Shimizu (chikoski@gmail.com / @chikoski)•  #•  #•  #• 

×