Generating Consistent Universal Controllers for Web-Service-enabled Appliances

HOTs are model transformations that either take a model transformation as input, produce a model transforma- tion as output, or do both and may thus, be used for transformation

To address the lack of expressivity and formal semantics in ontology mapping languages, in this paper we use semantic web technologies to present a semantic-based

Since the major question of the goal modelling languages, like Secure Tropos, are to understand why certain system is build, in this paper we focus on capturing the security

In this paper we propose a model-to-text transformation approach for producing dynamic, web-based views of models – captured atop differ- ent modelling technologies and conforming

The adapted software process model (component 8 in Fig. 1) is the output of applying such transformation using the organizational software process and the concrete project context

The input of Meeduse is the meta-model of a DSL and hence in order to apply the tool for model-to-model transformation, we first need to merge both input and output meta-models into

Modelling Business Process Variants using Graph Transformation Rules In: MODELSWARD 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and

He is general chair of the 49th Summer Computer Simulation Conference (SCSC 2017), general co-chair of the Summer Simulation Multiconference (SummerSim 2017), and has