search

eclipse-qvtd / org.eclipse.qvtd

Eclipse Public License 2.0
0 stars 0 forks source link

[qvtr2qvtc] Introduce the PetriNet2StateChart example #257

Open eclipse-qvtd-bot opened 2 weeks ago

eclipse-qvtd-bot commented 2 weeks ago

| --- | --- | | Bugzilla Link | 509858 | | Status | NEW | | Importance | P3 normal | | Reported | Jan 03, 2017 09:16 EDT | | Modified | Dec 26, 2017 04:55 EDT | | Depends on | 511646, 512028 | | Blocks | 515236, 486722 | | Reporter | Ed Willink |

Description

The PetriNet2StateChart was a standard at the original Ttransformation Tool Contest. It is thought to be a hard example for QVTr. Use it as a driver for the residual collection transformation bugs.

eclipse-qvtd-bot commented 2 weeks ago

By Ed Willink on Feb 11, 2017 06:11

PN2SC iterates, so we need fixed-point support: Bug 511646.

The iteration can perhaps be done with multiple intermediates, but really it needs to be in-place. Bug 512028.