Eclipse Community Forums: Papyrus

Home » Modeling » Papyrus » Executable UML(This topic is intended to discuss how to use Papyrus for editing Executable UML (Shlaer-Mellor OOA/D) models)

Executable UML [message #1262479]

Mon, 03 March 2014 12:29

Eclipse User

I would like mark Attribute Properties and have those marks visible in the diagram as well as to QTV and MOF2T. I'm not entirely sure about the best way to do that but Sparx EA handles it with a special tag: "xuml". Attributes with that tag have the value of the tag displayed next to them in the class diagram.

Foo
---
+FooId {I}
+BarId {R3}
etc...

Any ideas?

Thanks,
Dan

Re: Executable UML [message #1262968 is a reply to message #1262479]

Mon, 03 March 2014 23:48

Eclipse User

Dan, UML supports marking properties as identifiers already, right?

Re: Executable UML [message #1263128 is a reply to message #1262968]

Tue, 04 March 2014 03:00

Eclipse User

Rafael, yes, a Property can have an isID property which is specified using property-modifier notation.

+idNumber : int {id}

This is close to EUML but it doesn't allow for multiple identifier sets.

The 2.5 beta spec mentions identifiers in the context of database keys or id attributes in XML. Leon Starr points out that in EUML models the {I}, {I2}, etc. marks are for the purpose of analysis and not implementation. He advises that modeling all identifying constraints helps to avoid creating buggy programs.

I could create an <<xuml>> stereotype and give it properties identifierSet and attributeOrigin. If identifierSet == "null" then non-identifier; otherwise, identifierSet value specifies the set membership. If attributeOrigin = ["native" | <relation-name>].

Does Papyrus provide a way for me to cause the stereotype values to be rendered as property-modifiers in the notation? E.g., +idNumber : int {I, R1}.

[Updated on: Tue, 04 March 2014 03:02] by Moderator

Re: Executable UML [message #1263238 is a reply to message #1263128]

Tue, 04 March 2014 04:58

Eclipse User

Hi,

The brace notation can have different semantics:

- Modifiers

P1: String[*] {readonly, unique}

- Constraints

E.g. In UML 2.5 / Fig 7.15:

size : Integer {size >= 0}

Additionnally, you can use stereotypes. The stereotype itself is not displayed within braces, but its properties can be:

«MyStereotype» {stProperty=value} P1: String

Papyrus currently doesn't support the braces notation for constraints. It doesn't provide support for custom "tags" either (Which, AFAIK, is not a standard UML concept anyway).

Regards,
Camille

Re: Executable UML [message #1263540 is a reply to message #1263238]

Tue, 04 March 2014 10:22

Eclipse User

Hi Camille,
thank you for pointing out the syntax for using the stereotype notation. It isn't quite as concise as the notation show in Section 9.5.4, of the October 2012 UML 2.5 beta, but it works for me.

You are right about tags. I think Sparx EA has the feature left over from very early days. Stereotypes are the official mechanism for extending UML with custom/profile-specific marks.

Cheers,
Dan

Re: Executable UML [message #1263684 is a reply to message #1263540]

Tue, 04 March 2014 12:44

Eclipse User

Hi Dan,

UML 2.5 Section 9.5.4 only shows brace notation for Modifiers. Modifiers are built-in UML concepts, which cannot be customized.

Quote:

<prop-modifier> indicates a modifier that applies to the Property.
<prop-modifier> ::= 'readOnly' | 'union' | 'subsets' <property-name> | 'redefines' <property-name> | 'ordered' | 'unordered' | 'unique' | 'nonunique' | 'seq' | 'sequence' | 'id' | <prop-constraint>

There is a set of predefined values; you can't add your own modifiers.

Regards,
Camille

Re: Executable UML [message #1270418 is a reply to message #1263684]

Wed, 12 March 2014 20:50

Eclipse User

Hi Camille,
I think <prop-constraint> leaves a way to extend the set. I can assume that constraints "I", "I#", etc indicate identifier set membership and "R#" indicates the property value must match the identifiers on the other end of R#. If the syntax for these constraints happens to collide with another constraint language I can qualify them with something like "xuml", right?

However, Papyrus doesn't support the notation so I guess it doesn't matter.

Thanks,
Dan

Re: Executable UML [message #1360533 is a reply to message #1263540]

Fri, 16 May 2014 17:30

Eclipse User

Tags, or "tagged values" were a UML1 extension mechanism that allows for arbitrary text to be added to an element. There was not syntax associated, asides from being displayed in curly brackets.
The concept of tags has been replaced by stereotypes in UML2, which now have more semantics associated with them. For backward compatibility, some early UML2 tools simply provided the ability to enter anything in a special, no-syntax, stereotype property (along with provided formal definitions).

Previous Topic:	Papyrus model to emf/uml2 - stereotypes get lost
Next Topic:	Sample Reflective Ecore Editor's Validator

Goto Forum:

-=] Back to Top [=-

Current Time: Wed Jul 23 10:59:42 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter