Sciweavers

486 search results - page 11 / 98
» OCL and Model Driven Engineering
Sort
View
RWEB
2010
Springer
13 years 6 months ago
Model Driven Engineering with Ontology Technologies
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
Steffen Staab, Tobias Walter, Gerd Gröner, Fe...
AOSE
2007
Springer
14 years 29 days ago
Generation of Repair Plans for Change Propagation
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
Khanh Hoa Dam, Michael Winikoff
ISSTA
2004
ACM
14 years 2 months ago
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
Greg Dennis, Robert Seater, Derek Rayside, Daniel ...
ECBS
2009
IEEE
106views Hardware» more  ECBS 2009»
14 years 3 months ago
Extensibility and Modularity for Model Driven Engineering Environments
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
Thomas Leveque, Jacky Estublier, Germán Veg...
MKWI
2008
134views Business» more  MKWI 2008»
13 years 10 months ago
Usage of Model Driven Engineering in the context of Business Process Management
: This paper shows how Model Driven Engineering (MDE) and Business Process Management (BPM) can be combined when generating executable BPEL processes out of BPMN models. By adding ...
Pascal Bauler, Fernand Feltz, Etienne Frogneux, Be...