[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [henshin-user] Nested application conditions in Henshin diagrams?
- From: "Zschaler, Steffen" <steffen.zschaler@xxxxxxxxx>
- Date: Mon, 5 Nov 2018 08:45:45 +0000
- Accept-language: en-GB, en-US
- Delivered-to: email@example.com
- Thread-index: AQHUcvvvND6h0pF/MEy+7qwcyw1KX6U9GgyQgACxcYCAAxYwYA==
- Thread-topic: [henshin-user] Nested application conditions in Henshin diagrams?
Thanks. Does anybody have any thoughts on how difficult it would be to implement these kinds of operators ("+" operator, "distinct" operator) for multi-rules?
Dr. rer. nat. Steffen Zschaler AHEA
King's College London
Department of Informatics
Phone +44 (020) 7848 1513
From: henshin-user-bounces@xxxxxxxxxxx [mailto:henshin-user-bounces@xxxxxxxxxxx] On Behalf Of Matthias Tichy
Sent: 03 November 2018 09:37
Subject: Re: [henshin-user] Nested application conditions in Henshin diagrams?
Am 03.11.18 um 00:10 schrieb Zschaler, Steffen:
> Thanks, Stefan. Sounds sensible, but also somehow not ideal. I know I've had a similar discussion with Daniel in the past about the need / possibility of having a + operator similar to the current * operator, which basically means you're not considering something a match unless you can find at least one match for the multi-rule.
groove has such an operator. So, from a practical point of view, i fully agree that this is needed and relevant.
Prof. Dr. Matthias Tichy
Institute of Software Engineering and Programming Languages Faculty of Engineering, Computer Science and Psychology Ulm University
89069 Ulm, Germany
Tel.: +49 731 50-24160
Fax: +49 731 50-24162