Sciweavers

7213 search results - page 317 / 1443
» Automated model grouping
Sort
View
163
Voted
ECMDAFA
2006
Springer
91views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Using a Model Merging Language for Reconciling Model Versions
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kol...
SPLC
2007
15 years 8 months ago
Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
Pablo Trinidad, Antonio Ruiz Cortés, Joaqu&...
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 10 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
MDAFA
2004
Springer
178views Hardware» more  MDAFA 2004»
16 years 3 days ago
Model Bus: Towards the Interoperability of Modelling Tools
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
Xavier Blanc, Marie-Pierre Gervais, Prawee Sriplak...
BPM
2009
Springer
124views Business» more  BPM 2009»
15 years 7 months ago
Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...
Cédric Favre, Thomas Gschwind, Jana Koehler...