Farida Mostefaoui

Learn More
sig Status {} 146 JOURNAL OF OBJECT TECHNOLOGY VOL 6, NO. 7 5 TRANSLATION OF ASPECT-UML MODELS INTO ALLOY one sig connected, disconnected extends Status{} Aspect-UML’s primitive types such as Booleans, Real, Date, etc. must be translated as if they were enumeration types. Function operating over these types must be explicitly translated into Alloy(More)
  • 1