Quick fix for DSMLs

######Tags: publication VIATRA2

Authors: Ábel Hegedüs, Ákos Horváth, István Ráth, Moisés Castelo Branco and Dániel Varró This page contains additional information for our paper Quick fix for DSMLs. We include here a simplified BPMN metamodel, the list of inconsistency rules and operations for the BPMN case study used in the paper. BPMN metamodel (simplified)

BPMN metamodel (simplified)

List of inconsistency rules for BPMN
The gateway should have a default gate to ensure that at least one gate will be valid at runtime.
There is no need for a default flow since there are no controlled flows out of the activity.
This flow is marked as default while there are no other edges going out of the activity.
The default path will never be executed since there are uncontrolled flows going out of the activity.
This sequence edge is marked as conditional while there are no other edges going out of the activity.
Conditional flows should not be preceded by gateways.
End event should not be the start point of a sequence edge.
Start event should not be the end point of a sequence edge.
A message cannot be sent between elements of the same pool.
An intermediate event must not send a message.
A start event must not send a message.
An end event must not receive a message

List of operations
Create/remove sequence edge
Change source/target of sequence edge
Change default attribute of sequence edge
Change conditional attribute of sequence edge
Create/remove message edge
Change source/target of message edge
Change default attribute of message edge
hange type of Event (Start, Intermediate, End)
Change type of Gateway
Change subtype of Event (Link, Message, etc.)
Create/remove Activity (Task, Gateway)

Acknowledgment

This work was partially supported by the SecureChange (ICT-FET-231101) and CertiMoT (ERC_HU_09) projects and the Janos Bolyai Scholarship. We would like to thank the Bank of the Northeast of Brazil (Banco do Nordeste – BNB) for providing the case study.udy.