Abstract | ||
---|---|---|
This paper reports on the use of OCL constraints in a German e-government project and focuses on the identification of diverse manifestations of invariants. Beyond invariants' formal content three other manifestations are identified: (a) feedback by a tool based on the processed invariants, (b) the invariant's textual explanation as a basis for a modeler who uses the invariants and (c) implicit assumptions for a model transformation resulting from the invariants. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2428516.2428528 | OCL and Textual Modelling |
Keywords | Field | DocType |
implicit assumption,secret life,model transformation,processed invariants,formal content,german e-government project,textual explanation,paper report,ocl constraint,diverse manifestation,e government,usability | Model transformation,E-Government,Usability,Theoretical computer science,Invariant (mathematics),Mathematics,German | Conference |
Citations | PageRank | References |
1 | 2.25 | 1 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Oliver Hofrichter | 1 | 26 | 5.12 |
Lars Hamann | 2 | 234 | 20.17 |
Martin Gogolla | 3 | 2398 | 578.76 |
Frank Steimke | 4 | 6 | 3.73 |