Connection rules of EPC stencilset

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Create new EPC
2. Create new Function
3. Create subsequent AND using the shape menu
4. Repeat step 3

What is the expected output?
Step 4 should not be possible

What do you see instead?
A second AND is added as subsequent element of the function.

Please provide any additional information below.
The EPC syntax described in varios papers (e.g. [Ki06]) demands that 
 * each function has exactly one input and one output arc and
 * each event has at most one input and one output arc
Why is this syntactical restriction relaxed in Oryx?

In contrast to the EPC stencilset, the BPMN stencilset does not allow wrong
connections.

[Kin06] E. Kindler. On the Semantics of EPCs: A Framework for Resolving the
Vicious Circle. Data Knowl. Eng, 56(1):23-40, 2006.
doi:10.1016/j.datak.2005.02.005.

Original issue reported on code.google.com by oliver.k...@gmail.com on 25 Nov 2008 at 10:01

[GoogleCodeExporter]

Should be fixed now (on SVN head).. Cardinality rules existed but reffered to 
not 
existing edge type..

However, I think I found another bug I cannot fix at the moment:

1. Create new function
2. Create subsequent event using the shape menu
3. Try to repeat step 2) - not possible as expected!
4. Create a new not-connected control flow on canvas
5. Try to attach this control flow as outgoing flow to the function - not 
possible 
as expected! 
6. Create a new event and attach the control flow as incoming flow to it
7. Repeat step 5 - Now, it is possible to attach the flow although it should 
not 
be!!!

The shape menu is working as expected, but nevertheless I can create a Function 
with 
two subsequent Events this way..

Since this requires some debugging, I will have to have another look at this 
later..

Original comment by stefan.k...@hpi-alumni.de on 9 Dec 2008 at 3:25

[GoogleCodeExporter]

Original comment by NicoPete...@gmail.com on 8 Jan 2009 at 8:58

• Changed state: Started