Activity for USE: UML-based Specification Environment
-
frances pugh posted a comment on discussion Help
Hi, Are there any tutorials on using this software? I am struggling to get my head around it. For example, when I try to view the class diagram everything comes in on top of everything else rather than spread out in a logical order. Thanks Fran
-
Lidor Gdolim posted a comment on discussion Help
Hello, i have a project at the university and i need to use USE. i have a lot of questions and i really need help from someone who knows. please please contact me. lidorgdolim23@gmail.com
-
Romana marvi posted a comment on discussion Open Discussion
hi guyz plz help me how to download and install USE TOOL i dnt know plz help me and guide me
-
Anonymous created ticket #208
Class definition with curly braces not supported
-
Anonymous created ticket #207
special characters in USE path prevents loading of plugins
-
USE: UML-based Specification Environment released /USE/6.0.x/use-6.0.0.zip
-
-
Phillipa Bennett modified a comment on discussion Open Discussion
I don't see an option to deleted a post so I have deleted the text from here and reposted it in help forum.
-
How do you call an ancestor method that has been overridden? For example, suppose the following is defined: class A operations getValue(): String = 'a' end class B < A operations getValue(): String = self.A::getValue().concat( 'b') end According to the OCL 2.4 documentation, the getValue(): String = self.A:getValue().concat( 'b') should work, but USE returns errors: ... no viable alternative at input '.' ...mismatched input '::' expecting (
-
How do you call an ancestor method that has been overriden? For example, suppose the following is defined: class A operations getValue(): String = 'a' end class B < A operations getValue(): String = self.A::getValue().concat( 'b') end According to the OCL 2.4 documentation, the getValue(): String = self.A:getValue().concat( 'b') should work, but USE returns errors: ... no viable alternative at input '.' ...mismatched input '::' expecting (
-
Andreas Kaestner posted a comment on discussion Help
i would like to get the attributes of all objects in a set The syntax is set.attributeName If I understand your example correctly, you have a class Booking with an attribute time. So if you have a Set of booking objects named bookings, you can write bookings.time. Note that you get a Bag of times and not a Set, because it is allowed for two time attributes of two different Booking objects to be the same, which would get lost if you would get a Set in return.
-
SOIL does not accept implicit iterators?
-
Tuple fields cannot be changed
-
Type checking and type casting issue
-
isUndefined() used as a collection operation?
-
OclInvalid not supported?
-
Instantiating a class diagram (i.e. creating an object diagram) should not close the class diagram
-
Bug in Sequence:insertAt(...)
-
aaron posted a comment on discussion Help
Hi, i would like to get the attributes of all objects in a set but i am not sure how. I am trying to make a booking system which has a gap of 120 minutes between each of them. I have a class booking and table which has an association sitHere, booking has a role booking and table has a role table. So i put 2 booking objects into this association. How do i get the precondition to check each booking's time has at least 120 minutes gap?
-
QUASAR research group posted a comment on ticket #96
Dear Lars Hamann, please do not forget this feature. It seems simple to add and would be very useful for USE users ;) Thanks in advance, Fernando
-
This is another "minor" issue that has a "big" impact on teaching OCL with SOIL, since it is difficult to explain somophors why selectors in pure OCL do not require explicit iterators, but equivalent SOIL versions do. Thank you in advance for your attention! Fernando Brito e Abreu
-
SOIL does not accept implicit iterators?
-
This is a particularly urgent issue for my students. If tuple fields cannot be changed, its usage is much limited. Thank you in advance for your attention! Fernando Brito e Abreu (ISCTE-IUL, Lisbon, Portugal)
-
Tuple fields cannot be changed
-
This is not exactly a bug, but more a representation issue that happens whe we perform a select to obtain objects of a subclass. The problem is that for somophors it is hard to understand why they cannot apply directly an operation of the subclass to the returned set, since the returned type that appears in USE is a Set of the subtype, when in fact is a Set of the base class.
-
Type checking and type casting issue
-
isUndefined() used as a collection operation?
-
OclInvalid not supported?
-
Thanks for your attention! Fernando
-
Instantiating a class diagram (i.e. creating an object diagram) should not close the class diagram
-
Thanks for your attention! Fernando Brito e Abreu
-
Bug in Sequence:insertAt(...)
-
Z. Chen created ticket #8
Is there a way to export the solutions/models as xmi files?
-
Native support for Ecore metamodels?
-
Hello, thanks for considering USE for your modeling work. Sadly, there is no native support for Ecore metamodels currently available in USE. Regards, Andreas
-
Anonymous created ticket #199
Native support for Ecore metamodels?
-
-
-
-
-
B A posted a comment on discussion Help
Hi there, I use USE to check whether an execution path of a transformation is reachable or not. I have not got a problem to transform conjunction of conditions in the path to USE format. My question is how the constraint looks like for conjunction of "if conditions" below in the USE formt. operation Persons!Male isFather() : Boolean { for (i in Persons!Male.all()) { if (self.lastName = i.lastName) { if (i.age > self.age) { return false; } } } return true; } CSP constraint: Male.allInstances.size()...
-
Does USE now support static attributes or operations?
-
-
space in USE path prevents loading of plugins
-
space in USE path prevents loading of plugins
-
C Maeder posted a comment on ticket #195
not fixed in version 5.1.0.
-
space in USE path prevents loading of plugins
-
-
-
NullPointerException for Association Extent without associations
-
-
-
-
New USE release 5.1.0
-
-
-
Object diagram: exception after hiding objects
-
Object diagram: exception after hiding objects
-
NullPointerException for Association Extent without associations
-
Anonymous created ticket #195
NullPointerException for Association Extent without associations
-
Object diagram: bug while moving objects in group
-
Object diagram: grey out behavior
-
Loading layout in object diagram: links do not work
-
Communication diagram: message selection
-
Communication diagram: message selection
-
Loading layout in object diagram: links do not work
-
should be mostly done, i will close this ticket after i test it a bit more
-
Object diagram: grey out behavior
-
Object diagram: grey out behavior
-
Object diagram: grey out behavior
-
Communication diagram: message selection
-
Communication diagram message selection
-
Object diagram: bug while moving objects in group
-
Anonymous created ticket #191
Object diagram: bug while moving objects in group
-
Bea posted a comment on discussion Help
hello: I am starting with USE. I want to use Model Validator but, after reading several papers, I am not able to find the configuration GUI. Does anybody know where to find It? Sorry if the question is straightweight to answer. I would also like to know if It is posible to know the time It takes to find the object model. Thank you very much in advance. BeaBeaiBeaBeaiiBeaBeaiBeaBeaiiii
-
-
-
joe posted a comment on discussion Help
Hi Andreas, Thanks, I'll try this, Joe
-
Hi, you can not "directly" create a sequence diagram. The sequence diagram view creates a diagram based on the changes to the system state (create, insert,..). Don't forget to specify which commands you want to show in the diagram via the context menu (opened by rightclicking in the view) or else nothing will be shown by default.
-
Hi, is there any example or step-by-step instruction of how to create a sequence diagram with USE? Thanks,
-
Vincent posted a comment on discussion Open Discussion
Sorry I was just unable to find the build.xml, hidden in plain sight.
-
It was kind of you.
-
Hello, I am am a heavy user of Use, and therefore wish to improve it to better fit my requirements. A few features I would like to see in Use are : Code generation "Arrow" terminations on associations to indicate (non) navigability * Improved general graphical appearance I have already started writing a plugin for code generation (hosted here : https://gitlab.com/USE-OCL/codegen_plugin) This is an early stage work in progress, but already generates acceptable header files for Cpp For the two other...
-
Frank posted a comment on discussion Help
The "trivially" variants of the outcomes are introduced by Kodkod, the underlying library used to solve for model instances. Kodkod is a very powerful tool that performs a lot of transformations and optimizations before handing the instance to a SAT solver. In some cases this preparation work makes it apparent that the model contains a contradiction or that there exists an instance. In these cases the SAT solver is not even started and Kodkod conveys this information with the trivially variants of...
-
What is the difference between Trivially satisfiable and satisfiable result (or Trivially unsatisfiable and unsatisfiable)? Are there any other results? Is there a reference to explain more the configuration?
-
What is the difference between Trivially satisfiable and satisfiable result (or Trivially unsatisfiable and unsatisfiable)? Are there any other results? satisfiable means there is at least one state which satifies the invarients and unsatisfiable means there is at least one staten which not satisfy the invarients. If we have a system in which some state can satisfy the invarients and some others not satisfy them, what is the result (satisfiable or unsatisfiable)? Is there a reference to explain more...
-
What is the difference between Trivially satisfiable and satisfiable result (or Trivially unsatisfiable and unsatisfiable)? Are there any other results? Is there a reference to explain more the configuration?
-
-
-
New USE version and New Object to Class Plugin
-
-
-
-
-
Use the console to go to the USE folder and the lib subfolder and type java -jar use.jar to start the tool.
-
Ramneek Paul Singh posted a comment on discussion Help
How to install, run USE on mac ? Do we require eclipse? to run this ?if yes, how to setup USE in eclipse?
-
Major USE release 5.0.0
-
-
