Abstract | ||
---|---|---|
Model-driven engineering involves the automatic generation of software artifacts from models of structure and functionality. The use of models as 'source code' has implications for the notions of composition and refinement employed in the modelling language. This paper explores those implications in the context of object-oriented design: establishing a necessary and sufficient condition for a collection of classes to be treated as a component, identifying an appropriate notion of refinement for the generation process, and investigating the applicability of data and process refinement to object models. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-33296-8_9 | SBMF |
Keywords | Field | DocType |
sufficient condition,software artifact,object-oriented design,generation process,model-driven engineering,source code,modelling language,automatic generation,appropriate notion,process refinement,compositionality,refinement,object orientation,formal methods | Principle of compositionality,Object-orientation,Programming language,Software artifacts,Model-driven architecture,Computer science,Source code,Theoretical computer science,Refinement,Formal methods | Conference |
Citations | PageRank | References |
3 | 0.38 | 10 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jim Davies | 1 | 673 | 80.95 |
Jeremy Gibbons | 2 | 469 | 42.73 |
David Milward | 3 | 196 | 27.51 |
James Welch | 4 | 46 | 5.54 |