Sciweavers

62 search results - page 2 / 13
» Automatic generation of model traversals from metamodel defi...
Sort
View
DASFAA
2004
IEEE
156views Database» more  DASFAA 2004»
13 years 9 months ago
Automatic Generation of SQLX View Definitions from ORA-SS Views
Abstract. Although XML is the dominant standard for publishing and exchanging data for Internet-based business applications, data is typically stored in relational or object-relati...
Ya Bing Chen, Tok Wang Ling, Mong-Li Lee
ECMDAFA
2010
Springer
151views Hardware» more  ECMDAFA 2010»
13 years 9 months ago
Generative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
Xavier Crégut, Benoît Combemale, Marc...
ISSRE
2006
IEEE
13 years 11 months ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...
ASM
2003
ASM
13 years 11 months ago
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
Ileana Ober
DEXA
2010
Springer
186views Database» more  DEXA 2010»
13 years 5 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...