Share

More
USE: UML-based Specification Environment Icon

USE: UML-based Specification Environment

by fbuettner, h-man2, mircokuhlmann


USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using Mantis (reachable via "Hosted Apps")


http://www.db.informatik.uni-bremen.de/projects/use/





Separate each tag with a space.

Release Date:

2009-06-15

Topics:

License:

Ratings and Reviews

  • Thumbs up:

    1
  • Thumbs down:

    0
100% of 1 user recommends this project

Be the first to post a text review of USE: UML-based Specification Environment. Rate and review a project by clicking thumbs up or thumbs down in the right column.

View all reviews

Project Feed

  • Forum comment added

    h-man2 commented on the RE: Welcome to Help forum thread

    posted by h-man2 65 days ago

  • Forum comment added

    moelalao commented on the RE: Welcome to Help forum thread

    posted by moelalao 108 days ago

  • USE 2.5.0 file released: use-2.5.0.zip

    - 0000028: [Graphical user interface (GUI)] Objects in object diagram are all placed at same position (H-man2) - resolved. - 0000018: [ASSL (Generator)] Error - Inheritance (ASSL) (H-man2) - resolved. - 0000020: [Graphical user interface (GUI)] No white and black diamonds in object diagram view (H-man2) - resolved. - 0000026: [ASSL (Generator)] Try does not work with Compositions (H-man2) - resolved. - 0000021: [ASSL (Generator)] Generator adds extra @ for set commands (H-man2) - resolved. - 0000025: [Model definition] Exception if no return type is defined for operations (H-man2) - resolved. - 0000006: [Command Language (CMD)] Destruction of object valued operation argument results in exception (H-man2) - resolved. - 0000027: [Command Language (CMD)] Insert of association class instance into other association fails (H-man2) - resolved. - 0000015: [OCL standard conformance] Correct behavior collect and collectNested (Fbuettner) - resolved. - 0000010: [OCL standard conformance] Support for OrderedSet (H-man2) - resolved. - 0000016: [OCL expressions] Incorrect evaluation of OCL expressions including isUnique and Tuple (H-man2) - resolved. - 0000012: [OCL non standard extensions] Allow more then one variable for invariants (H-man2) - resolved. - 0000011: [OCL non standard extensions] Existential Invariants (H-man2) - resolved. - 0000023: [OCL expressions] Tuple equality does not work correctly (H-man2) - resolved. - 0000017: [Model definition] Binding of overridden methods fails (Fbuettner) - resolved. - 0000007: [Graphical user interface (GUI)] Evaluation Browser is slow when many objects involved (H-man2) - resolved. - 0000004: [Graphical user interface (GUI)] Composition: Diamonds are not shown in the object diagram when subclasses are involved (see example) - closed. - 0000024: [OCL expressions] No exception handling after erroneous input (Sequence{Integer}) - closed.

    posted 145 days ago

  • USE 2.5.0 file released: use-2.5.0.tar.gz

    - 0000028: [Graphical user interface (GUI)] Objects in object diagram are all placed at same position (H-man2) - resolved. - 0000018: [ASSL (Generator)] Error - Inheritance (ASSL) (H-man2) - resolved. - 0000020: [Graphical user interface (GUI)] No white and black diamonds in object diagram view (H-man2) - resolved. - 0000026: [ASSL (Generator)] Try does not work with Compositions (H-man2) - resolved. - 0000021: [ASSL (Generator)] Generator adds extra @ for set commands (H-man2) - resolved. - 0000025: [Model definition] Exception if no return type is defined for operations (H-man2) - resolved. - 0000006: [Command Language (CMD)] Destruction of object valued operation argument results in exception (H-man2) - resolved. - 0000027: [Command Language (CMD)] Insert of association class instance into other association fails (H-man2) - resolved. - 0000015: [OCL standard conformance] Correct behavior collect and collectNested (Fbuettner) - resolved. - 0000010: [OCL standard conformance] Support for OrderedSet (H-man2) - resolved. - 0000016: [OCL expressions] Incorrect evaluation of OCL expressions including isUnique and Tuple (H-man2) - resolved. - 0000012: [OCL non standard extensions] Allow more then one variable for invariants (H-man2) - resolved. - 0000011: [OCL non standard extensions] Existential Invariants (H-man2) - resolved. - 0000023: [OCL expressions] Tuple equality does not work correctly (H-man2) - resolved. - 0000017: [Model definition] Binding of overridden methods fails (Fbuettner) - resolved. - 0000007: [Graphical user interface (GUI)] Evaluation Browser is slow when many objects involved (H-man2) - resolved. - 0000004: [Graphical user interface (GUI)] Composition: Diamonds are not shown in the object diagram when subclasses are involved (see example) - closed. - 0000024: [OCL expressions] No exception handling after erroneous input (Sequence{Integer}) - closed.

    posted 145 days ago

  • File released: /USE/2.5.0/use-2.5.0.tar.gz

    posted 145 days ago

  • File released: /USE/2.5.0/use-2.5.0.zip

    posted 145 days ago

  • USE 2.5.0 released!

    The new Version can now be downloaded. It contains a lot of improvements and fixes. See MantisBT under Hosted Apps for details. IMPORTANT: Java 1.6 is now required.

    posted by h-man2 145 days ago

  • File released: /USE/2.4.0/use-2.4.0.zip

    posted 240 days ago

  • USE 2.4.0 file released: use-2.4.0.zip

    posted 240 days ago

Rate and Review

Would you recommend this project?






<

Related Projects

USE: UML-based Specification Environment Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review