Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNs
نویسندگان
چکیده
Model transformations play a key role in the vision of ModelDriven Engineering (MDE) whereby the overcoming of structural heterogeneities, being a result of applying different meta-modeling constructs for the same semantic concept, is a challenging, recurring problem, urgently demanding for reuse of transformations. In this respect, an approach is required which (i) abstracts from the concrete execution language allowing to focus on the resolution of structural heterogeneities, (ii) keeps the impedance mismatch between specification and execution low enabling seamless debuggability, and (iii) provides formal underpinnings enabling model checking. Therefore, we propose to specify model transformations by applying a set of abstract mapping operators (MOPs), each resolving a certain kind of structural heterogeneity. For specifying the operational semantics of the MOPs, we propose to use Transformation Nets (TNs), a DSL on top of Colored Petri Nets (CPNs), since it allows (i) to keep the impedance mismatch between specification and execution low and (ii) to analyze model transformations by evaluating behavioral properties of CPNs.
منابع مشابه
First as Farce, Then as Filmfarsi: Film Adaptation of Shakespeare’s The Taming of the Shrew in Iran
This article is concerned with William Shakespeare’s famous farce play The Taming of the Shrew and its Persian adaptation as an Iranian film called Gorbe ra dame Hejleh Mikoshand in 1969. The point that informs the inquiry is the way the film departs and differs from the play in relation to the issue of women within the patriarchal society. The play and the film will be examined separately in d...
متن کاملShakespeare's Taming of the Shrew and the Tradition of Screwball Comedy
In her paper, "Shakespeare's Taming of the Shrew and the Tradition of Screwball Comedy," Mei Zhu argues that Shakespeare's Taming of the Shrew is controversial owing to the subtlety and complexity of the text as well as its subject matter. Franco Zeffirelli's 1967 film version seems to follow the narrative structure of the original play closely while its effect is different. Through a detailed ...
متن کاملPlug & Play Model Transformations - A DSL for Resolving Structural Metamodel Heterogeneities
Model transformations play a key role in the vision of ModelDriven Engineering. Thereby, the resolution of structural heterogeneities between metamodels (MMs) represents the key challenge. For this task, current approaches require the definition of partly tricky, low-level recurring transformation logic but neglect to offer reusable components. Moreover, little attention has been paid to hetero...
متن کاملSurviving the Heterogeneity Jungle with Composite Mapping Operators
Model transformations play a key role in the vision of ModelDriven Engineering. Nevertheless, mechanisms like abstraction, variation and composition for specifying and applying reusable model transformations – like urgently needed for resolving recurring structural heterogeneities – are insufficiently supported so far. Therefore, we propose to specify model transformations by a set of pre-defin...
متن کاملThe Taming of the Shrew
The Shrew attack is a denial of service attack wherein a rogue end-system periodically generates a high-bandwidth “spike” in order to cause TCP senders to experience loss simultaneously, synchronize their retransmissions, and ultimately experience congestive collapse. Because these spikes are periodic, overall the Shrew is a low bandwidth flow and difficult to detect and police. Currently, the ...
متن کامل