Name
Abstract | ||
|---|---|---|
Applying transformations to object-oriented systems usually affects source code and its associated models, involving complex maintenance efforts to keep those artifacts up to date. Most projects abandon design information in the form of models early in the life cycle, as their maintenance becomes extremely expensive. In this paper, we propose a complete catalog of object model laws (bidirectional semantics-preserving transformations) for Alloy, a formal object-oriented modeling language. We address relative completeness through a reduction process that transforms an arbitrary Alloy model into an equivalent model in a core language (normal form). We evaluate our completeness result using two distinct normal forms. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-10452-7_14 | SBMF |
Keywords | Field | DocType |
object model law,object modeling laws,formal object-oriented modeling language,complete set,core language,complex maintenance effort,normal form,distinct normal form,arbitrary alloy model,equivalent model,completeness result,associated model,life cycle,object model,source code | Object code,Design information,Reduction strategy,Computer science,Source code,Modeling language,Object model,Theoretical computer science,Completeness (statistics),Law,Class diagram | Conference |
Volume | ISSN | Citations |
5902 | 0302-9743 | 1 |
PageRank | References | Authors |
0.35 | 11 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rohit Gheyi | 1 | 618 | 40.66 |
| Tiago Massoni | 2 | 245 | 17.18 |
| Paulo Borba | 3 | 1088 | 68.71 |
| Augusto Sampaio | 4 | 501 | 43.38 |